Co víte o moderní logice

• Main Authors: Čechák, Vladimír, 1939- (Author), Berka, Karel, 1923-2004 (Author), Zapletal, Ivo, 1944- (Author)
• Format: Book
• Language: Czech
• Published: Praha : Horizont, 1981
• Edition: 1. vyd.
• Series: Malá moderní encyklopedie
• Subjects: formální logika
• Physical Description: 326 s. : il. ; 20 cm
• Item Description: Odkazy na lit; Pozn; Přehl. lit

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ů