Logika i teoria typów

Wykład monograficzny
semestr letni 2018-19


Egzamin: Zadania i rozwiazania
Wyniki sa widoczne w Usosie.


Obrazki z wykładów: 26 lutego (pokaz, wydruk). 6 marca (pokaz, wydruk, demo 1, demo 2), 12 marca (pokaz, wydruk, demo 3), 19 marca (pokaz, wydruk). 26 marca (pokaz, wydruk, dodatek o zupelnosci w PSPACE), 2 kwietnia (pokaz, wydruk). 9 kwietnia (pokaz, wydruk). 16 kwietnia (pokaz, wydruk, rachunek sekwentów i logika liniowa, obrazki Lafonta, nierozstrzygalność rachunku zdań), 30 kwietnia (pokaz, wydruk), 7 maja (pokaz, wydruk, nierozstrzygalność logiki pierwszego rzędu), 14 maja (pokaz, wydruk), 21 maja (pokaz, wydruk), 28 maja (pokaz, wydruk), 4 czerwca (pokaz, wydruk, demo). 11 czerwca (pokaz, wydruk).


Stare obrazki z roku 2015-16


Some example problems


The way to paranoja and other pleasures.


Egzamin pisemny z roku 2014