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
Instituce
- Bibliografie dějin Českých zemí
- Česká národní banka - odborná knihovna (aktuální záznam)
- Jihočeská vědecká knihovna v Českých Budějovicích
- Knihovna Akademie věd ČR
- Knihovna Ústeckého kraje
- Krajská knihovna Karlovy Vary
- Krajská knihovna v Pardubicích
- Krajská knihovna Vysočiny
- Krajská vědecká knihovna v Liberci
- Městská knihovna v Praze
- Moravská zemská knihovna v Brně
- Moravskoslezská vědecká knihovna v Ostravě
- Národní knihovna ČR
- Souborný katalog ČR
- Středočeská knihovna v Kladně
- Studijní a vědecká knihovna Plzeňského kraje
- Studijní a vědecká knihovna v Hradci Králové
- Univerzita Palackého v Olomouci
- Vědecká knihovna v Olomouci