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
prof. RNDr. Josef ŠLAPAL, CSc.
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
Mgr. Jan PAVLÍK, Ph.D.
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
prof. RNDr. Josef ŠLAPAL, CSc.
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
prof. RNDr. Josef ŠLAPAL, CSc.
sml - Matematická logika
matematicka logika-cviceni.pdf