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...
Saved in:
| Main Authors | , , |
|---|---|
| Format | Book |
| Language | Czech |
| Published |
Praha :
Horizont,
1981
|
| Edition | 1. vyd. |
| Series | Malá moderní encyklopedie
|
| Subjects |
Cover
Loading…
| Summary: | 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ů |
|---|---|
| Item Description: | Odkazy na lit Pozn Přehl. lit |
| Physical Description: | 326 s. : il. ; 20 cm |