Metody programowania lato 2020/21
| Język wykładowy | Polski |
|---|---|
| Opiekun | Filip Sieczkowski |
| Liczba godzin | 45 (wyk.) 45 (ćw-prac.) 30 (rep.) |
| Rodzaj | Obowiązkowy 1 |
| ECTS | 9 |
| Polecany dla I roku | Tak |
| Egzamin | Tak |
Opis przedmiotu:
Naszym celem jest przygotowanie studentów do używania języków programowania jako formalnych narzędzi komunikacji między ludźmi, w szczególności jako technik które mogą i powinny być stosowane do zapanowania nad złożonością intelektualną dużych systemów. W tym celu zajmiemy się zarówno konkretnymi narzędziami których projektanci języków programowania dostarczają programistom, jak i ogólnymi zasadami konstrukcji języków programowania. Wykład prowadzą Marek Materzok, Maciej Piróg i Filip Sieczkowski. #### Program: 1. Elementy programowania 2. Rekursja i abstrakcja proceduralna 3. Wprowadzenie do abstrakcji danych 4. Dane hierarchiczne i własność domknięcia 5. Dane symboliczne i wielorakie reprezentacje danych 6. Składnia abstrakcyjna i podstawy ewaluacji 7. Środowiskowy model obliczeń 8. Ewaluator metacykliczny 9. Reprezentacja wartości w metajęzyku 10. Składnia konkretna jako język dedykowany 11. Zarządzanie złożonością: kontrakty 12. Zarządzanie złożonością: systemy typów 13. Obliczenia z danymi modyfikowalnymi 14. Elementy programowania współbieżnego 15. Programowanie w logiceWykłady
Lista| Prowadzący | Termin zajęć | Limit | Zapisani | Kolejka |
|---|---|---|---|---|
|
Marek Materzok
|
śr 11:00-14:00 (s. wirtualna3) | 200 | 125 | 1 |
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
|
wt 09:00-12:00 (s. 110) | 16 | 18 | 0 |
|
Maksim Koltsov
|
wt 09:00-12:00 (s. 107) | 17 | 7 | 0 |
|
Marek Materzok
|
wt 12:00-15:00 (s. 107) | 17 | 15 | 0 |
|
Tomasz Drab
|
wt 12:00-15:00 (s. 110) | 17 | 17 | 11 |
|
Piotr Lisowski
|
wt 12:00-15:00 (s. 7) | 16 | 16 | 2 |
|
Filip Sieczkowski
zaaw |
wt 12:00-15:00 (s. 108) | 18 | 18 | 3 |
|
Maciej Piróg
|
wt 09:00-12:00 (s. 137) | 16 | 16 | 1 |
|
Witold Charatonik
|
wt 09:00-12:00 (s. 109) | 16 | 18 | 8 |
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 Polesiuk
|
pt 10:00-12:00 (s. ) | 200 | 125 | 1 |
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 | 308 | jesień '20: wtorki 14–16 lub inny umówiony (mailowo) termin |
| Maciej Piróg | 336 | środa 9-11 |
| Dariusz Biernacki | 242 | wtorek 14-16 (po uzgodnieniu przez e-mail) |
| Witold Charatonik | 347 | wtorek 14-16 lub po indywidualnym uzgodnieniu terminu (semestr letni 2024) |
| Piotr Lisowski | 325 | czwartek 14:15 - 16:00. Wyłącznie po wcześniejszym kontakcie mailowym |
| Tomasz Drab | mejlowo | |
| Maksim Koltsov | - | |
| Piotr Polesiuk | 338 | wtorek 14-16 |
| Marek Materzok | 336 | Po uzgodnieniu przez e-mail |