Matematická logika

Kateřina Trlifajová

Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu. Důraz je kladen především na... Číst víc

Nakladatel: CVUT Praha, 2015

Počet stran: 176

Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu. Důraz je kladen především na... Číst víc

Brožovaná vazba
Čeština

Vyprodané

Potřebujete poradit knihu?

Zeptejte se online knihkupce!

Proč nakupovat knihy na Martinus.cz?

Magazín Knihy roku ke každému nákupu
Knihomolská záložka ke každému nákupu
Více než 9 000 výdejních míst

Naši skřítci doporučují

Od autorky Kopírák Číslo 20 - Nový hrůzný krimithriller

Více o knize

Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu. Důraz je kladen především na sémantický přístup s využitím sémantických stromů, rezoluční metody a Karnaughových map, což je vhodné zejména pro studenty informatiky. Obsažen je též úvod do teorie Booleových algeber.