Elementárna formálna logika: Programovaný kurz

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Elementary Formal Logic: A Programmed Course

Obsah knihy:

Pôvodne vyšla v roku 1966.

Ide o samostatný inštruktážny kurz určený študentom prvého ročníka univerzity, ktorí sa s logikou ešte nestretli. Kniha sa zaoberá výrokovou logikou metódou pravdivostných tabuliek, stručne uvádza axiomatické postupy a pokračuje teóriou sylogizmu, logikou jednomiestnych predikátov a elementárnymi časťami logiky mnohomiestnych predikátov.

Materiál na opakovanie sa vzťahuje na hlavné časti kurzu. Kurz predstavuje osem až dvadsať hodín práce v závislosti od rýchlosti práce študenta a od toho, či si študent vyberie voliteľné kapitoly.