Portál:Klasická logika: Porovnání verzí
| Řádek 5: | Řádek 5: | ||
* [[Kalkul přirozené dedukce]] | * [[Kalkul přirozené dedukce]] | ||
* [[Věta o úplnosti]] | * [[Věta o úplnosti]] | ||
| − | * [[ | + | * [[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 /> | <br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br /> | ||
Aktuální verze z 9. 12. 2014, 21:58
Klasická logika
- Tautologie
- Hilbertovský kalkul
- Gentzenovský sekventový kalkul
- Kalkul přirozené dedukce
- Věta o úplnosti
- Věta o korktnosti
- Věta o dedukci
- Normální formy formule
- Eliminace kvantifikátorů
- Lindenbaumovo lemma
- Lemma o konstantách
- Axiomatická teorie
- Henkinovská teorie
- Substituce
- Schéma specifikace
- Robinsonova aritmetika
- Peanova aritmetika
- Rosserova věta
- První Gödelova věta a Druhá Gödelova věta
- Š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.
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897
