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. 9. 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. 5. 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 5. 10. 2005
ŠLAPAL Josef
sml - Matematická logika
matematicka logika-cviceni.pdf