Metody programowania lato 2023/24

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 wirtualna

Wykłady

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Marek Materzok
śr 11:00-14:00 (s. 25) 120 109 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Ćwiczenia

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Piotr Lisowski
wt 08:00-10:00 (s. 139) 22 21 0
Piotr Polesiuk
wt 10:00-12:00 (s. 5) 21 20 0
Maciej Piróg
wt 12:00-14:00 (s. 103) 22 22 0
Dariusz Biernacki
wt 10:00-12:00 (s. 105) 21 22 0
Marek Materzok
wt 10:00-12:00 (s. 139) 21 18 0

UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.

Pracownie

Lista
Prowadzący Termin zajęć Limit Zapisani Kolejka
Piotr Ostropolski-Nalewaja
pt 09:00-10:00 (s. ) 15 15 0
Piotr Ostropolski-Nalewaja
pt 08:00-09:00 (s. ) 15 14 0
Piotr Ostropolski-Nalewaja
pn 12:00-13:00 (s. ) 15 15 0
Piotr Ostropolski-Nalewaja
pn 11:00-12:00 (s. wirtualna3) 15 15 1
Piotr Ostropolski-Nalewaja
pn 08:00-09:00 (s. wirtualna3) 15 14 0
Piotr Ostropolski-Nalewaja
pn 10:00-11:00 (s. wirtualna3) 15 15 0
Piotr Ostropolski-Nalewaja
pn 09:00-10:00 (s. wirtualna3) 15 14 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 9-11
Dariusz Biernacki 242 wtorek 14-16 (po uzgodnieniu przez e-mail)
Piotr Ostropolski-Nalewaja 327 Proszę o wcześniejsze umówienie się e-mailem.
Piotr Lisowski 325 czwartek 14:15 - 16:00. Wyłącznie po wcześniejszym kontakcie mailowym
Piotr Polesiuk 338 wtorek 14-16
Marek Materzok 336 Po uzgodnieniu przez e-mail