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

Cover

ikona Nápověda Glossary of Terms
Status More Information Location Call Number
Holdings details from Knihovna UTB
Status 30 days More Information Location Open access collection Call Number 16/ČECHÁK,V.

Similar Items