✅ Poštovné ZADARMO nad 39€ ✅ Knižná akcia každý mesiac ✅ Bezpečný nákup
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.
Recenzie a kritiky
Rok vydania:
2015ISBN:
9788001053423Rozmer:
206×298 mmPočet strán:
176Väzba:
brožovanáJazyk: čeština
