Zaradené v kategóriách: TECHNICKÁ LITERATURA

Matematická logika

Trlifajová Kateřina, Vašata Daniel

Dostupnosť
rozebráno
Vydavateľ
Počet stran
174
Místo vydání
Praha
Rok vydání
2018
Formát
A4
ISBN
978-80-0105-342-3
EAN
9788001053423
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.
Matematická logika

Ostatní s tímto titulem kupují:

  1. Položka byla přidána do košíku.

Menu