Metody programowania lato 2025/26
| 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
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Marek Materzok
|
śr 11:00-14:00 (s. 25) | 154 | 98 | 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 |
|---|---|---|---|---|
|
Dariusz Biernacki
|
wt 10:00-12:00 (s. 141) | 14 | 15 | 1 |
|
Witold Charatonik
|
wt 10:00-12:00 (s. 104) | 14 | 2 | 0 |
|
Filip Sieczkowski
|
wt 10:00-12:00 (s. 103) | 14 | 16 | 6 |
|
Patrycja Balik
|
wt 12:00-14:00 (s. 141) | 14 | 15 | 2 |
|
Maciej Piróg
|
wt 12:00-14:00 (s. 5) | 14 | 14 | 2 |
|
Marek Materzok
|
wt 14:00-16:00 (s. 4) | 14 | 8 | 0 |
|
Piotr Polesiuk
|
wt 14:00-16:00 (s. 5) | 14 | 14 | 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 08:00-09:00 (s. ) | 15 | 14 | 0 |
|
Piotr Ostropolski-Nalewaja
|
pt 09:00-10:00 (s. ) | 15 | 15 | 0 |
|
Piotr Ostropolski-Nalewaja
|
pt 10:00-11:00 (s. ) | 15 | 15 | 0 |
|
Piotr Ostropolski-Nalewaja
|
pt 11:00-12:00 (s. ) | 15 | 14 | 0 |
|
Piotr Ostropolski-Nalewaja
|
pt 12:00-13:00 (s. ) | 15 | 15 | 0 |
|
Piotr Ostropolski-Nalewaja
|
pt 13:00-14:00 (s. ) | 15 | 12 | 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 |
|---|---|---|
| Filip Sieczkowski | 336 | wiosna '26: poniedziałki 1500–1700 lub inny umówiony (mailowo) termin |
| 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 Polesiuk | 338 | wtorek 14-16 |
| Witold Charatonik | 347 | semestr letni 2026: wtorek 16-18 lub po mailowym uzgodnieniu terminu |
| Patrycja Balik | 340 | wtorek 10-12 |
| Marek Materzok | 336 | Po uzgodnieniu przez e-mail |