KnihyOdborné a naučnéPřírodní vědy a technikaMatematikaMatematická logika

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é

Zadejte e-mail a my vám dáme vědět, jakmile bude kniha dostupná.

Potřebujete poradit knihu?

Zeptejte se online knihkupce!

Proč nakupovat na Martinus.cz?

Doprava zdarma od 999 Kč
Více než 5 000 výdejních míst
Záložky ke každému nákupu

Naši skřítci doporučují

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.

Číst víc