Kateřina Trlifajová
Matematická logika
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.
10,89 €
Zadajte prosím Váš e-mail a budeme Vás informovať keď bude kniha dostupná
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.
| Jazyk | český |
| Vydavateľ | CVUT Praha |
| Rok vydania | 2013 |
| Počet strán | 176 |
| Typ viazania | brožovaná |
| Rozmery (š-v-h) | 290x205 |
| EAN | 9788001053423 |
| Dodacia doba | nedostupné |
Dalšie obľúbené tituly z kategórie:
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
9,90 €
9,01 €
