0

Knihy

Kategórie

Filter: Kateřina Trlifajová

Matematická logika
český

Matematická logika

Kateřina Trlifajová - CVUT Praha 2013, EAN: 9788001053423

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.

9,80 € Detail