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 wirtualnaWykłady
ListaProwadzą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
ListaProwadzący | Termin zajęć | Limit | Zapisani | Kolejka |
---|---|---|---|---|
Piotr Lisowski
|
wt 08:00-10:00 (s. 139) | 22 | 21 | 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 |
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 |
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
|
pn 08:00-09:00 (s. wirtualna3) | 15 | 14 | 0 |
Piotr Ostropolski-Nalewaja
|
pn 09:00-10:00 (s. wirtualna3) | 15 | 14 | 0 |
Piotr Ostropolski-Nalewaja
|
pn 10:00-11:00 (s. wirtualna3) | 15 | 15 | 0 |
Piotr Ostropolski-Nalewaja
|
pn 11:00-12:00 (s. wirtualna3) | 15 | 15 | 1 |
Piotr Ostropolski-Nalewaja
|
pn 12:00-13:00 (s. ) | 15 | 15 | 0 |
Piotr Ostropolski-Nalewaja
|
pt 08:00-09:00 (s. ) | 15 | 14 | 0 |
Piotr Ostropolski-Nalewaja
|
pt 09:00-10:00 (s. ) | 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 |
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 |