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.

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:


Zvieratá na farme - kniha s kúzelnou baterkou
-9%
PIERRE DE HUGO
Dodacia doba
online cena - Skladom - 1 pracovný deň
9,90 €
9,01 €
Vlaky
-9%
kolektív autorov
Dodacia doba
online cena - Skladom - 1 pracovný deň
11,95 €
10,88 €
Perlová sestra
-9%
Lucinda Rileyová
Dodacia doba
online cena - Skladom - 1 pracovný deň
19,90 €
18,11 €
Plant Tribe
-9%
Josifovic Igor, de Graaff Judith
Dodacia doba
online cena - Skladom - 1 pracovný deň
20,79 €
18,92 €
Zdravie začína v maminej kuchyni
Antónia Mačingová
Dodacia doba
online cena - Skladom - 1 pracovný deň
19,00 €
Priestory
-9%
Etela Farkašová
Dodacia doba
online cena - Skladom - 1 pracovný deň
14,90 €
13,56 €
Kruh
-9%
Bernard Minier
Dodacia doba
online cena - Skladom - 1 pracovný deň
21,90 €
19,93 €
Búrková sestra
-9%
Lucinda Rileyová
Dodacia doba
online cena - Skladom - 1 pracovný deň
19,90 €
18,11 €