Co víte o moderní logice

To chci

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 rozhodování, v metodologii empirických věd a v teorii automatů. … celý popis

Podrobná bibliografie

Hlavní autor

Vladimír Čechák, 1939-

Další autoři

Ivo Zapletal, 1944-
Karel Berka, 1923-2004

Typ dokumentu

Knihy

Fyzický popis

326 s.

Vydáno

Praha : Horizont, 1981

Vydání

1. vyd.

Edice

Malá moderní encyklopedie (Horizont) ; sv. 93

Témata

logika

Popis jednotky

Lit.