Logika i teoria typów

Wykład monograficzny
semestr letni 2015-16


Wykład: środy, godzina 14.15, sala 5060
Ćwiczenia (H. Michalewski): środy, godzina 16:15
sala 5060 [domyślnie] lub 3041 [po wcześniejszym ogłoszeniu]


Obrazki z wykładów: 2 marca (pokaz, wydruk), 9 marca (pokaz, wydruk), 16 marca (pokaz, wydruk), 23 marca (pokaz, wydruk), 30 marca (pokaz, wydruk), 6 kwietnia (pokaz, wydruk), 13 kwietnia (pokaz, wydruk, liniowy rachunek zdan, obrazki Lafonta), 20 kwietnia (pokaz, wydruk), 27 kwietnia (pokaz, wydruk), 4 maja (pokaz, wydruk), 18 maja (pokaz, wydruk), 25 maja (pokaz, wydruk), 1 czerwca (pokaz, wydruk), 14 czerwca (pokaz, wydruk).


Droga do paranoi


Egzamin w roku 2014