Výroková a predikátová logika
Topic outline
-
-
Materiály:
Příklady na první cca. 2 cvičení + SAT solver:
https://ktiml.mff.cuni.cz/%7Ehric/vyuka/prikl_vpl.htm
Požadavky:
Uspět ve dvou zápočtových testech: na výrokovou logiku a predikátovou logiku, a
2/3 bodů z Domácích Úkolů (DU).
DU: Na cvičení a v Moodlu zadám příklad, standardně za 5 bodů. Standardní odevzdání do Moodlu do příštího cvičení, do dalšího cvičení pak opravím a ohodnotím a v Moodlu máte zpětnou vazbu. Můžete odevzdávat dokumenty (.pdf, .txt), s .doc jsou trochu problémy, nebo přefocené obrázky (.jpg).
O úkolech se můžete diskutovat a poradit se se spolužáky, ale odevzdané řešení má být Vaše práce.
Přednáška: ZS 2022/23: u Jakuba Bulína, učební text
http://ktiml.mff.cuni.cz/~bulin ...
Přednáška: ZS 2021/22:
Stránka přednášky VPL u Petra Gregora: http://ktiml.mff.cuni.cz/~gregor/logika/index.html
Stránka cvičení (které budeme používat): http://ktiml.mff.cuni.cz/~gregor/logika2019/cviceni.html
ZOOM (až pro distanční výuku, bude v případě potřeby)
https://cuni-cz.zoom.us/... CT 9:00 VPL, heslo: ... PA 12:20 VPL, heslo: ...
-