Programowanie
Dyskusja

Programowanie
Prowadzący	Tomasz Wierzbicki
Strona przedmiotu	www
Liczba punktów ECTS	9 (L) / 12 (M)
Typ przedmiotu	obowiązkowy.O2 (obowiązkowy)
Zamienniki	Metody translacji, Teoretyczne podstawy języków programowania

Programowanie

Listy (2010)

Lista 2:
- Licencjacka. Rozwiązania.
- Magisterska. Rozwiązania.
Lista 3:
- Licencjacka . Rozwiązania.
- Magisterska. Rozwiązania.
Lista 4:
- Licencjacka . Rozwiązania.
- Magisterska. Rozwiązania.
Lista 5:
- Licencjacka . Rozwiązania.
- Magisterska. Rozwiązania.
Lista 6:
- Licencjacka.
- Magisterska.
Lista 7:
- Licencjacka.
- Magisterska.

Materiały (2010)

Logic, Programming and Prolog, Ulf Nilsson and Jan Małuszynski. Rozdziały 1-3 to treść obowiązkowa dla grup M (patrz slajdy z wykładu 1M).

Listy (2009)

Materiały (2009)

Składnia i parsowanie

Składnia języków programowania

Semantyka operacyjna

Podstawy programowania w języku Haskell I

Uwagi o stylu programowania

Podstawy programowania w języku Haskell III

Slajdy z wykładu o monadach

Semantyka algebraiczna I

Materiały (inne)

Skrypt TWI (2001)
Notatki do wykładu Mateusza Styrczuli (2008)
Notatki 2010 Telcontara http://marek1210.fm.interia.pl/notes-prog.txt

Egzaminy

przedmioty obowiazkowe, lato 2009, lato 2010