.

0 (hodnocen0 x )

(1.7) Půjčeno:5x 

BK

1. vyd.

Praha : Orbis, 1958

240 s. : il. ; 8°

Malá moderní encyklopedie ; sv. 7

Životopisné pozn. o autorech

Obsahuje bibliografii a jmenný a věcný rejstřík

Odborná publikace je sestavena z přednášek členů katedry logiky na Karlově universitě, pořádaných v letech 1956-1957 v kursech Lidové university. Kapitoly knihy pojednávají o základních pojmech teorie vyjádření, o teorii výroků, výrokové funkci a kvantifikaci, o teorii tříd, logice vztahů a funkcí, o axiomatické metodě a teorii definice. K porozumění poměrně obtížného textu je zapotřebí všeobecných vědomostí alespoň v rozsahu učebních osnov naší jedenáctiletky..

Vyd. Čs. společnost pro šíření polit. a věd. znalostí

000062862

Předmluva (O. Zich) // I. ZÁKLADNÍ POJMY TEORIE VYJÁDŘENÍ (O. Weinberger) 1J // II. TEORIE VÝROKŮ (Al. Mleziva) 29 // 1. Výroky. Formule teorie výroků 29 // 2. Tabulková metoda výstavby systému výrokové logiky // 3. Přehled funktorů (dvouhodnotové) výrokové logiky // Vzájemné nahrazování funktorů // 4. Deduktivní výstavba systému výrokové logiky // 5. Normální forma 61 // 6. O aplikaci výrokové logiky. Logiky vícehodnotové // III. VÝROKOVÁ FUNKCE A KVANTIFIKACE (O. Weinberger) // 1. Výroková funkce // 2. Kvantifikace 82 // IV. TEORIE TŘÍD (K. Berka) 93 // V. LOGIKA VZTAHŮ (O. Weinberger) // VI. LOGIKA FUNKCÍ (O. Weinberger) 142 // VII. AXIOMATICKÁ METODA (M. Jauris) // 1. Axiomatisace logiky 152 // 2. Axiomatisace v mimologických oborech // 3. Bezespornost soustavy axiomů a pravidel 193 // VIII. TEORIE DEFINICE (P. Materna) // Seznam nejpoužívanějších odvoditelných formulí 21 // ENCYKLOPEDICKÉ HESLO: Moderní logika // O autorech 232 // Literatura // Rejstřík 235

(OCoLC)85322068

cnb000513418