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átovoulogikou, odvozováním, axiomatizací, základy teorie množin, přirozenou deduk...

Full description

Saved in:
Bibliographic Details
Main Authors Čechák, Vladimír, 1939- (Author), Berka, Karel, 1923-2004 (Author), Zapletal, Ivo, 1944- (Author)
Format Book
LanguageCzech
Published Praha : Horizont, 1981
Edition1. vyd.
SeriesMalá moderní encyklopedie
Subjects
formální logika
Physical Description326 s. : il. ; 20 cm

Cover

LEADER 00000cam a22000007a 4500
001 21727
003 CZ-ZlUTB
005 20190825234207.0
008 050127s1981 xr |||||r|||||||||||cze|d
040 |a ABA001  |b cze  |c ABA001  |d ZLD002 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 16  |2 v 
100 1 |a Čechák, Vladimír,  |d 1939-  |7 jn19981002550  |4 aut 
245 1 0 |a Co víte o moderní logice /  |c Vladimír Čechák, Karel Berka, Ivo Zapletal 
250 |a 1. vyd. 
260 |a Praha :  |b Horizont,  |c 1981 
300 |a 326 s. :  |b il. ;  |c 20 cm 
490 1 |a Malá moderní encyklopedie ;  |v v. 93 
500 |a Odkazy na lit 
500 |a Pozn 
500 |a Přehl. lit 
520 |a 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átovoulogikou, odvozováním, axiomatizací, základy teorie množin, přirozenou dedukcí a aplikací logiky v teorii rozhodování, v metodologii empirických věd a v teorii automatů 
650 0 7 |a formální logika  |7 ph120290  |2 czenas 
700 1 |a Berka, Karel,  |d 1923-2004  |7 jk01011842  |4 aut 
700 1 |a Zapletal, Ivo,  |d 1944-  |7 jk01152107  |4 aut 
830 0 |a Malá moderní encyklopedie 
910 |a ZLD002 
952 |0 0  |1 0  |4 0  |6 16ČECHÁKV  |7 0  |8 BOOK  |9 38373  |a UTBZL  |b UTBZL  |c 006  |d 2006-07-29  |l 4  |o 16/ČECHÁK,V.  |p 420010089742  |r 2019-08-25 00:00:00  |v 20.00  |w 2019-08-25  |x N:převod - Dům kultury | 20100831  |y 04 
992 |a BK  |b SK  |d 4 
999 |c 21727  |d 21727 

Similar Items