Výroková a predikátová logika
From ωικι.matfyz.cz
| Výroková a predikátová logika | ||||
|
Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
[edit]
Studijní materiál Mlček (2009-?)
- Mlček materiály k přednášce (http://kti.mff.cuni.cz/~mlcek/) požadavky ke zkoušce, celkem brutus (http://kti.mff.cuni.cz/~mlcek/EXAM.pdf)
- zápisky Pilát cvika (2009) (http://zaantar.eu/index.php?page=Studijn%C3%AD+materi%C3%A1ly)
- zápisky Mlček cvika (2008) (http://www.martinvseticka.eu/index.php?sekce=browse&page=178)
- zápisky,řešené příklady (2009) (http://www.marketa.najevisti.info/studium.php)
- Gödelova věta lidsky (http://cs.wikipedia.org/wiki/G%C3%B6delovy_v%C4%9Bty_o_ne%C3%BAplnosti)
[edit]
Studijní materiál Štěpánek (?-2009)
- On-line výukové materiály (http://ktiml.ms.mff.cuni.cz/index.php?select=teaching§ion=sources&lang=czech) - slajdy z přednášky, skripta
- Stránky cvika Petr Olmer (http://kti.mff.cuni.cz/~olmer/vyuka/log03.html) - příklady na procvičení
- Studijní materiál na MUNI (http://is.muni.cz/el/1433/podzim2006/MA007/um/)
- Matematická logika na ČVUT (Demlová) (http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html)
- Základní kurz logiky (MUNI) (http://www.phil.muni.cz/fil/logika/uvod.php)
- Výcuc ze skript prof. Štěpánka (http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html) (tahák, PDF)
- Příklady (http://vpl.xf.cz/doku.php?id=start)
- Evýuka (http://snug.ic.cz/index.htm)
