Košík
zboží
(prázdné)
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....
číst celé
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.
schovat popis
- Nakladatel: CVUT Praha
- Kód:
- Rok vydání: 2013
- Jazyk: Čeština
- Vazba: Taschenbuch
- Počet stran: 176
- Šířka balení: 20.5 cm
- Výška balení: 29 cm
- Hloubka balení: 10 cm
- Váha balení: 459 g
Recenze