Co víte o moderní logice
Populárně vědecká práce, která představuje úvod do moderní formální logiky, se omezuje pouze na základní oblasti logiky, její pojmy, pravidla a zákony. Uvádí krátký historický nástin logiky, zabývá se výrokovou a predikátovou logikou, odvozováním, axiomatizací, základy teorie množin, přirozenou dedukcí a aplikací logiky v teorii … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Další autoři
- Typ dokumentu
- Knihy
- Fyzický popis
- 326 s. : tab.
- Vydáno
-
Praha :
Horizont,
1981
- Edice
- Malá moderní encyklopedie ;
sv.93
- Témata
MARC
| LEADER | 00000nam 2200000 a 4500 | ||
|---|---|---|---|
| 001 | MED00133926 | ||
| 003 | CZ-PrNML | ||
| 005 | 20141219160010.0 | ||
| 008 | 050907s1981 xr cze|| | ||
| 009 | BK | ||
| 015 | |a cnb000167462 | ||
| 020 | |q (Váz.) | ||
| 040 | |a ABE015 |b cze |e AACR2 | ||
| 041 | 1 | |a cze | |
| 044 | |a xr |c CZ | ||
| 072 | 7 | |x Věda. Všeobecnosti. Základy vědy a kultury. Vědecká práce |a 00 |2 konspekt |7 sk136283 | |
| 080 | |a 03 |2 h | ||
| 100 | 1 | |a Čechák, Vladimír |4 aut |7 _gn020007622 | |
| 245 | 1 | 0 | |a Co víte o moderní logice / |c V. Čechák, K. Berka, I. Zapletal |
| 260 | |a Praha : |b Horizont, |c 1981 | ||
| 300 | |a 326 s. : |b tab. | ||
| 490 | 1 | |a Malá moderní encyklopedie ; |v sv. 93 | |
| 650 | 0 | 7 | |a logika |2 czmesh |7 D008128 |
| 650 | 0 | 7 | |a všeobecná příručková díla a encyklopedie |2 mednas |7 nlk20040151568 |
| 655 | 4 | |a populární práce |7 D020496 | |
| 700 | 1 | |a Berka, Karel, |d 1923-2004 |4 aut |7 jk01011842 | |
| 700 | 1 | |a Zapletal, Ivo |4 aut | |
| 830 | 0 | |a Malá moderní encyklopedie ; |v sv.93 | |
| 910 | |a ABE015 |b K 1995 |y 1 | ||
| 974 | |f Knihy / monografie | ||
| 996 | |a K19820260 |b 11000125378M0001 |c K 1995 |9 ABE015 |l 138 |x F |s A |f 18991230 |o 0 |t ABA008.K19820260 | ||
| BAS | |a OVI |a 01 |a 11 | ||
| HGS | |a 1 |b 1 |c 0 |d 0 | ||
| HLO | |l ABE015 |a 1 |b 1 |c 0 |d 0 | ||
| IDV | |1 3 |a ABE015 |b ovi20050011730 |c 0011730 |d OVI |x K19820260 | ||
| SRC | |b 0006300 |c 20050907 | ||