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

Další autoři:

Karel Berka, 1923-2004
Ivo Zapletal

Typ dokumentu:

Knihy

Fyzický popis:

326 s. : tab.

Vydáno:

Praha : Horizont, 1981

Edice:

Malá moderní encyklopedie ; sv.93

Témata:

logika

všeobecná příručková díla a encyklopedie

populární práce