Logika pro všechny ochotné myslet
Základy logiky v její moderní podobě. Logika jako vědní obor. Výroková a predikátová logika, vlastnosti axiomatických teorií, rozbor Gödelových vět o neúplnosti.
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 363 s. brož.
- Vydáno
-
Praha :
Karolinum,
2011
- Vydání
- 1. vyd.
- Témata
- ISBN
- 978-80-246-1959-0
Vybrat instituci:
MARC
| LEADER | 00000nam-a2200000-i-4500 | ||
|---|---|---|---|
| 001 | kpw0139302 | ||
| 003 | CZ-PrCNB | ||
| 005 | 20240325083356.1 | ||
| 007 | ta | ||
| 008 | 110818s2011----xr-----------u0|0 --cze-- | ||
| 020 | |a 978-80-246-1959-0: |c 380 Kč | ||
| 041 | 0 | |a cze | |
| 044 | |a xr | ||
| 100 | 1 | |a Sochor, Antonín |4 aut | |
| 245 | 1 | 0 | |a Logika pro všechny ochotné myslet / |c Antonín Sochor |
| 250 | |a 1. vyd. | ||
| 264 | 1 | |a Praha : |b Karolinum, |c 2011 | |
| 300 | |a 363 s. |f brož. | ||
| 520 | 2 | |a Základy logiky v její moderní podobě. Logika jako vědní obor. Výroková a predikátová logika, vlastnosti axiomatických teorií, rozbor Gödelových vět o neúplnosti. | |
| 653 | |a logické | ||
| 653 | |a myšlení | ||
| 653 | |a matematika | ||
| 653 | |a výroková | ||
| 653 | |a predikátová | ||
| 653 | |a výrokový | ||
| 653 | |a predikátový | ||
| 653 | |a počet | ||
| 653 | |a axiomatické | ||
| 653 | |a teorie | ||
| 653 | |a Gödelovy věty | ||
| 653 | |a věty | ||
| 653 | |a neúplnost | ||
| 653 | |a sylogismy | ||
| 653 | |a dokazatelnost | ||
| 653 | |a aritmetika | ||
| 653 | |a modely | ||
| 653 | |a kořeny | ||
| 653 | |a logiky | ||
| 655 | 7 | |a monografie |7 fd132842 | |
| 910 | |a ABE031 |b D-3715 | ||
| 996 | |c D-3715 |f 1 |g D1 (na počkání) |h 380.00 Kč |l ČNB |r N |s A | ||
| 996 | |b 45731 |c D-3715 |l Knihovna ČNB |r D1 (na počkání) |s A |a 0 |e ABE031 |t ABE031.45731 | ||