Formy jazyka : úvod do logiky a její filosofie
Logika a logické systémy. Klasická výroková logika. Výrok, syntax, formalizace a interpretace, sémantika, logická pravdivost a platnost, logická ekvivalence. Axiomatizace. Teorie množin, sylogistika, relace. Klasická logika predikátů. Kvantifikace, syntax a sémantika, axiomatizace, sémantické stromy, kalkuly přirozené dedukce. Logika s rovností, … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Další autoři
- Typ dokumentu
- Knihy
- Fyzický popis
- 654 stran : ilustrace vázáno
- Vydáno
-
Praha :
Filosofia,
2015
- Vydání
- Vydání první
- Témata
- ISBN
- 978-80-7007-438-1
| Cíl | Přístupnost | Odkaz | Zdroj odkazu |
|---|---|---|---|
| Web | Odkaz | Bibliografie dějin Českých zemí | |
| Web | Obsah knihy | Souborný katalog ČR | |
| Digitální knihovna | Autorsky chráněné | Digitální knihovna AV ČR | Knihovna akademie věd - Kramerius |