Metody programowania lato 2021/22
| Język wykładowy | Polski |
|---|---|
| Opiekun | Dariusz Biernacki |
| Liczba godzin | 45 (wyk.) 45 (ćw-prac.) 30 (rep.) |
| 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 przygotowanie studentów do używania języków programowania jako formalnych narzędzi komunikacji między ludźmi, ze szczególnym uwzględnieniem technik które mogą i powinny być stosowane do zapanowania nad złożonością dużych systemów. Wykład prowadzą Dariusz Biernacki, Marek Materzok i Piotr Polesiuk. Program: 1. Abstrakcja funkcyjna 2. Rekursja i iteracja 3. Drzewiaste struktury danych 4. Abstrakcja danych i modularność 5. Testowanie automatyczne 6. Rola systemów typów w programowaniu 7. Struktura programów i indukcja 8. Asercje i kontrakty 9. Programowanie imperatywne 10. Niedeterminizm i programowanie z nawrotami 11. Składnia konkretna i abstrakcyjna 12. Gramatyki bezkontekstowe i parsowanie 13. Środowiskowy model obliczeń 14. Interpeter metacykliczny 15. Sprawdzanie i inferencja typów 16. Kontynuacje i maszyny ze stosem 17. Kompilator i maszyna wirtualnaWykłady
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Dariusz Biernacki
zdalna |
śr 10:00-13:00 (s. wirtualna6) | 154 | 119 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Ćwiczenio-pracownie
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Dariusz Biernacki
stacjonarna |
wt 09:00-12:00 (s. 110) | 18 | 18 | 0 |
|
Witold Charatonik
stacjonarna |
wt 09:00-12:00 (s. 107) | 18 | 18 | 4 |
|
Piotr Lisowski
stacjonarna |
wt 09:00-12:00 (s. 108) | 18 | 8 | 0 |
|
Tomasz Drab
stacjonarna |
wt 12:00-15:00 (s. 7) | 18 | 19 | 10 |
|
Marek Materzok
stacjonarna |
wt 12:00-15:00 (s. 110) | 18 | 18 | 3 |
|
Piotr Polesiuk
stacjonarna |
wt 12:00-15:00 (s. 109) | 18 | 18 | 5 |
|
Mateusz Pyzik
stacjonarna |
wt 12:00-15:00 (s. 108) | 18 | 19 | 2 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Repetytoria
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Piotr Lisowski
zdalna |
cz 08:00-10:00 (s. ) | 154 | 108 | 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 |
|---|---|---|
| Mateusz Pyzik | 336 | Proszę o wcześniejsze umówienie się e-mailem. |
| Dariusz Biernacki | 242 | wtorek 14-16 (po uzgodnieniu przez e-mail) |
| Witold Charatonik | 347 | semestr letni 2026: wtorek 16-18 lub po mailowym uzgodnieniu terminu |
| Piotr Lisowski | 325 | czwartek 14:15 - 16:00. Wyłącznie po wcześniejszym kontakcie mailowym |
| Tomasz Drab | mejlowo | |
| Piotr Polesiuk | 338 | wtorek 14-16 |
| Marek Materzok | 336 | Po uzgodnieniu przez e-mail |