Metody programowania lato 2017/18
Język wykładowy | Polski |
---|---|
Opiekun | Filip Sieczkowski |
Liczba godzin | 45 (wyk.) 30 (ćw.) 15 (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 logice #### Literatura: * H. Abelson, G.J. Sussman, J. Sussman, _Struktura i interpretacja programów komputerowych_ , WNT, Warszawa 2002, <https://mitpress.mit.edu/sicp/> (obowiązkowa) * D.P. Friedman, M. Felleisen, _The Little Schemer_ , MIT Press, 1995, <https://mitpress.mit.edu/books/little-schemer> (uzupełniająca) * M. Felleisen, R. Findler, M. Flatt, S. Krishnamurthi, _How to Design Programs_ , MIT Press, 2018, <http://www.htdp.org/> (uzupełniająca) * F. Bice, R. DeMaio, S. Florence, M. Lin, S. Lindeman, N. Nussbaum, E. Peterson, R. Plessner, D. Van Horn, M. Felleisen, C. Barski, _Realm of Racket_ , no starch press, 2013, <http://realmofracket.com/> (uzupełniająca) #### Wymagania: Logika dla informatyków, Wstęp do informatykiWykłady
ListaProwadzący | Termin zajęć | Limit | Zapisani | Kolejka |
---|---|---|---|---|
Filip Sieczkowski
|
pn 12:00-15:00 (s. 25) | 300 | 199 | 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 |
---|---|---|---|---|
Marek Materzok
|
śr 12:00-14:00 (s. 7) | 20 | 22 | 0 |
Witold Charatonik
|
śr 09:00-11:00 (s. 107) | 20 | 22 | 0 |
Piotr Polesiuk
|
śr 12:00-14:00 (s. 110) | 20 | 20 | 0 |
Paweł Garncarek
|
śr 09:00-11:00 (s. 137) | 20 | 21 | 0 |
Filip Chudy
|
śr 09:00-11:00 (s. 7) | 20 | 21 | 0 |
Dariusz Biernacki
|
śr 09:00-11:00 (s. 108) | 20 | 21 | 0 |
Maciej Piróg
|
śr 12:00-14:00 (s. 108) | 20 | 15 | 0 |
Piotr Ostropolski-Nalewaja
|
śr 12:00-14:00 (s. 107) | 20 | 19 | 0 |
Filip Sieczkowski
|
śr 09:00-11:00 (s. 110) | 20 | 21 | 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 Polesiuk
|
śr 14:00-15:00 (s. 110) | 20 | 23 | 0 |
Paweł Garncarek
|
śr 11:00-12:00 (s. 137) | 20 | 21 | 0 |
Marek Materzok
|
śr 14:00-15:00 (s. 7) | 20 | 23 | 0 |
Witold Charatonik
|
śr 11:00-12:00 (s. 107) | 20 | 22 | 0 |
Filip Chudy
|
śr 11:00-12:00 (s. 7) | 20 | 21 | 0 |
Dariusz Biernacki
|
śr 11:00-12:00 (s. 108) | 20 | 22 | 0 |
Maciej Piróg
|
śr 14:00-15:00 (s. 108) | 20 | 21 | 0 |
Piotr Ostropolski-Nalewaja
|
śr 14:00-15:00 (s. 107) | 20 | 22 | 0 |
Filip Sieczkowski
|
śr 11:00-12:00 (s. 110) | 20 | 22 | 0 |
UWAGA! Wyższa liczba oznacza wyższy priorytet, po zapisaniu do grupy zostajemy usunięci z kolejek o niższym priorytecie.
Repetytoria
ListaProwadzący | Termin zajęć | Limit | Zapisani | Kolejka |
---|---|---|---|---|
Dariusz Biernacki
|
cz 08:00-10:00 (s. 25) | 300 | 143 | 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 | 308 | jesień '20: wtorki 14–16 lub inny umówiony (mailowo) termin |
Maciej Piróg | 336 | środa 9-11 |
Paweł Garncarek | 326 | Środy 16-18. Polecam wcześniej napisać maila. Można też mailowo umawiać się na inne terminy konsultacji (stacjonarnych lub zdalnych). |
Dariusz Biernacki | 242 | wtorek 14-16 (po uzgodnieniu przez e-mail) |
Piotr Ostropolski-Nalewaja | 327 | Proszę o wcześniejsze umówienie się e-mailem. |
Witold Charatonik | 347 | wtorek 14-16 lub po indywidualnym uzgodnieniu terminu (semestr letni 2024) |
Piotr Polesiuk | 338 | wtorek 14-16 |
Marek Materzok | 336 | Po uzgodnieniu przez e-mail |
Filip Chudy | 326 | Sem. letni 2023/24 | wtorek 14-15; środa 12-13; inne terminy do uzgodnienia mailem | Tue 14-15; Wed 12-13; other appointments by email |