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
MARC
| LEADER | 00000nam-a2200000-i-4500 | ||
|---|---|---|---|
| 001 | kpw0126031 | ||
| 003 | CZ-PrCNB | ||
| 005 | 20240325104246.3 | ||
| 007 | ta | ||
| 008 | 160202s2015----xr-----------u0|0 --cze-- | ||
| 020 | |a 978-80-7007-438-1: |c 390 Kč | ||
| 041 | 0 | |a cze | |
| 044 | |a xr | ||
| 100 | 1 | |a Kolman, Vojtěch, |d 1975- |7 xx0007139 |4 aut | |
| 245 | 1 | 0 | |a Formy jazyka : |b úvod do logiky a její filosofie / |c Vojtěch Kolman, Vít Punčochář |
| 250 | |a Vydání první | ||
| 264 | 1 | |a Praha : |b Filosofia, |c 2015 | |
| 300 | |a 654 stran : |b ilustrace |f vázáno | ||
| 520 | 2 | |a 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í, logika vyšších řádů, modální a intuicionistická logika. | |
| 653 | |a logika | ||
| 653 | |a filozofie | ||
| 653 | |a logické | ||
| 653 | |a systémy | ||
| 653 | |a jazyk | ||
| 653 | |a výroky | ||
| 653 | |a výroková | ||
| 653 | |a syntax | ||
| 653 | |a formalizace | ||
| 653 | |a interpretace | ||
| 653 | |a sémantika | ||
| 653 | |a logická | ||
| 653 | |a pravdivost | ||
| 653 | |a ekvivalence | ||
| 653 | |a axiomatizace | ||
| 653 | |a množiny | ||
| 653 | |a teorie | ||
| 653 | |a teorie množin | ||
| 653 | |a sylogistika | ||
| 653 | |a relace | ||
| 653 | |a predikáty | ||
| 653 | |a predikátů | ||
| 653 | |a sémantické | ||
| 653 | |a stromy | ||
| 653 | |a dedukce | ||
| 653 | |a modální | ||
| 653 | |a intuicionistická | ||
| 655 | 7 | |a kolektivní monografie | |
| 700 | 1 | |a Punčochář, Vít, |d 1983- |4 aut | |
| 910 | |a ABE031 |b D-4151 | ||
| 996 | |c D-4151 |f 1 |g Volný výběr |h 390.00 Kč |l STUD |r N |s A | ||
| 996 | |b 31048 |c D-4151 |l Knihovna ČNB |r Volný výběr |s A |a 0 |e ABE031 |t ABE031.31048 | ||