Portál:Klasická logika: Porovnání verzí

 
(Nejsou zobrazeny 3 mezilehlé verze od stejného uživatele.)
Řádek 1: Řádek 1:
 
+
{{Portál}}
 
* [[Tautologie]]
 
* [[Tautologie]]
 
* [[Hilbertovský kalkul]]
 
* [[Hilbertovský kalkul]]
Řádek 5: Řádek 5:
 
* [[Kalkul přirozené dedukce]]
 
* [[Kalkul přirozené dedukce]]
 
* [[Věta o úplnosti]]
 
* [[Věta o úplnosti]]
* [[Korektnost]]
+
* [[Věta o korktnosti]]
 
* [[Věta o dedukci]]
 
* [[Věta o dedukci]]
 
* [[Normální formy formule]]
 
* [[Normální formy formule]]
 +
* [[Eliminace kvantifikátorů]]
 
* [[Lindenbaumovo lemma]]
 
* [[Lindenbaumovo lemma]]
 
* [[Lemma o konstantách]]
 
* [[Lemma o konstantách]]
 +
* [[Axiomatická teorie]]
 
* [[Henkinovská teorie]]
 
* [[Henkinovská teorie]]
 
* [[Substituce]]
 
* [[Substituce]]
 
* [[Schéma specifikace]]
 
* [[Schéma specifikace]]
 +
* [[Robinsonova aritmetika]]
 +
* [[Peanova aritmetika]]
 +
* [[Rosserova věta]]
 +
* [[První Gödelova věta]] a [[Druhá Gödelova věta]]
 +
 +
<br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br />
 +
* ŠVEJDAR Vítězslav. ''Logika: neúplnost, složitost a nutnost.'' Academia, Praha, 2002. ISBN: 80-200-1005-X.
 +
* DALEN Dirk van. ''Logic and Structure.'' Springer, 2004. ISBN: 978-3-540-20879-2.
 +
* SOCHOR Antonín. ''Klasická matematická logika''. Karolinum, 2001.
  
[[Kategorie: Logiky]]
+
[[Kategorie: Logika]]

Aktuální verze z 9. 12. 2014, 22:58

Klasická logika



Doporučená literatura


  • ŠVEJDAR Vítězslav. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. ISBN: 80-200-1005-X.
  • DALEN Dirk van. Logic and Structure. Springer, 2004. ISBN: 978-3-540-20879-2.
  • SOCHOR Antonín. Klasická matematická logika. Karolinum, 2001.