Metody programowania lato 2024/25
Język wykładowy | Polski |
---|---|
Opiekun | Marek Materzok |
Liczba godzin | 45 (wyk.) 30 (ćw.) 15 (prac.) |
Rodzaj | Obowiązkowy 1 |
ECTS | 9 |
Polecany dla I roku | Tak |
Egzamin | Tak |
Opis przedmiotu:
Metody programowania to jeden z przedmiotów obowiązkowych. Jego zasadniczym celem jest rzucenie światła na zasady rządzące językami programowania oraz ich implementacjami: interpreterami i kompilatorami. Przedmiot ma charakter praktyczny: zagadnienia są prezentowane przy użyciu funkcyjnego języka programowania. Kładziony jest nacisk na używanie języków programowania jako formalnych narzędzi komunikacji między ludźmi. Wykład prowadzą Marek Materzok, Piotr Polesiuk i Maciej Piróg. Program: 1. Abstrakcja funkcyjna 2. Rekursja i iteracja 3. Drzewiaste struktury danych 4. Abstrakcja danych i modularność 5. Rola systemów typów w programowaniu 6. Struktura programów i indukcja 7. Składnia konkretna i abstrakcyjna 8. Gramatyki bezkontekstowe i parsowanie 9. Interpretacja i kompilacja 10. Środowiskowy model obliczeń 11. Interpeter metacykliczny 12. Niedeterminizm i programowanie z nawrotami 13. Programowanie imperatywne 14. Interpretacja funkcji rekurencyjnych 15. Sprawdzanie i inferencja typów 16. Kompilator i maszyna wirtualnaWykłady
ListaProwadzący | Termin zajęć | Limit | Zapisani | Kolejka |
---|---|---|---|---|
Marek Materzok
|
śr 11:00-14:00 (s. 25) | 254 | 104 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Ćwiczenia
ListaProwadzący | Termin zajęć | Limit | Zapisani | Kolejka |
---|---|---|---|---|
Piotr Lisowski
|
wt 08:00-10:00 (s. 140) | 22 | 19 | 0 |
Patrycja Balik
|
wt 10:00-12:00 (s. 104) | 22 | 19 | 0 |
Maciej Piróg
|
wt 10:00-12:00 (s. 139) | 22 | 20 | 0 |
Marek Materzok
|
wt 12:00-14:00 (s. 103) | 22 | 21 | 0 |
Piotr Polesiuk
|
wt 12:00-14:00 (s. 104) | 22 | 22 | 4 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Pracownie
ListaProwadzący | Termin zajęć | Limit | Zapisani | Kolejka |
---|---|---|---|---|
Piotr Ostropolski-Nalewaja
wirtualna — termin nieistotny |
pn 08:00-09:00 (s. wirtualna6) | 15 | 15 | 0 |
Piotr Ostropolski-Nalewaja
wirtualna — termin nieistotny |
pn 09:00-10:00 (s. wirtualna6) | 15 | 15 | 0 |
Piotr Ostropolski-Nalewaja
wirtualna — termin nieistotny |
pn 10:00-11:00 (s. wirtualna6) | 15 | 15 | 0 |
Piotr Ostropolski-Nalewaja
wirtualna — termin nieistotny |
pn 11:00-12:00 (s. wirtualna6) | 15 | 15 | 4 |
Piotr Ostropolski-Nalewaja
wirtualna — termin nieistotny |
śr 18:00-19:00 (s. wirtualna1) | 15 | 15 | 0 |
Piotr Ostropolski-Nalewaja
wirtualna — termin nieistotny |
śr 19:00-20:00 (s. wirtualna6) | 15 | 15 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Konsultacje prowadzących:
Imię i nazwisko | Pokój | Konsultacje |
---|---|---|
Maciej Piróg | 336 | środa 10-11 |
Piotr Ostropolski-Nalewaja | 327 | Proszę o wcześniejsze umówienie się e-mailem. |
Piotr Polesiuk | 338 | wtorek 14-16 |
Piotr Lisowski | 325 | czwartek 14:15 - 16:00. Wyłącznie po wcześniejszym kontakcie mailowym |
Patrycja Balik | 340 | wtorek 12-14 |
Marek Materzok | 336 | Po uzgodnieniu przez e-mail |