Výroková a predikátová logika: Porovnání verzí

Z ωικι.matfyz.cz
Přejít na: navigace, hledání
(Studijní materiál)
Řádka 5: Řádka 5:
 
== Studijní materiál ==
 
== Studijní materiál ==
  
* [http://ktiml.ms.mff.cuni.cz/vyuka/materialy.html On-line výukové materiály] - slajdy z přednášky, skripta '''Nefunkční'''
+
* [http://ktiml.ms.mff.cuni.cz/index.php?select=teaching&section=sources&lang=czech On-line výukové materiály] - slajdy z přednášky, skripta
 
* [http://kti.mff.cuni.cz/~olmer/vyuka/log03.html Stránky cvika Petr Olmer] - příklady na procvičení
 
* [http://kti.mff.cuni.cz/~olmer/vyuka/log03.html Stránky cvika Petr Olmer] - příklady na procvičení
 
* [http://home.pf.jcu.cz/~novakp08/Matematika/Logika.htm Matematické texty - logika a teorie množin] '''Nefunkční'''
 
* [http://home.pf.jcu.cz/~novakp08/Matematika/Logika.htm Matematické texty - logika a teorie množin] '''Nefunkční'''

Verze z 1. 8. 2009, 13:35

Výroková a predikátová logika
Kód předmětu: NAIL062
Přednáší: Petr Štěpánek

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.

Studijní materiál