Matematická logika
Dátum vydania: 2013
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 ...
Detaily o knihe
Počet strán: 176
Väzba: Brožovaná
Rozmer: 205x290 mm
Jazyk: CZ Český Jazyk
EAN: 9788001053423
Rok vydania: 2013
Žáner: Odborná literatúra
Zákazníci, ktorí si kúpili túto knihu, si kúpili aj...
O knihe
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.