Název Popis Vloženo/Vložil Určeno pro kurz Soubor
Základy matematické logiky Úvod do predikátového počtu 1. řádu 21.09.2015
ŠLAPAL Josef 		sml - Matematická logika
logikaaktual3.pdf
Cvičení z matematické logiky (SML) Příklady typově odpovídající náplni cvičení k předmětu. 10.05.2015
PAVLÍK Jan 		sml - Matematická logika
cviceni7.pdf
Cvičení z predikátové logiky Příklady k procvičení znalosti základních pojmů predikátové logiky včetně jejich řešení 31.10.2007
ŠLAPAL Josef 		sml - Matematická logika
cviceni logika.pdf
Matematická logika - cvičení Příklady z výrokového a predikátového počtu 05.10.2005
ŠLAPAL Josef 		sml - Matematická logika
matematicka logika-cviceni.pdf