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