0

Knihy

Kategórie

Matematická logika
český

Matematická logika

Kateřina Trlifajová - CVUT Praha 2013, 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.

9,80 € Nedostupné
Detail

Používame cookies na zlepšenie vášho zážitku z nakupovania.

Nevyhnutné
Identifikácia vašej relácie - základná funkčnosť košíku, zážitku z prehliadania a zabezpečenie.


Môžeme ukladať údaje na vašom zariadení, aby sme mohli poskytovať doplnkové funkcie, ktoré zlepšujú váš zážitok z prehliadania. Napr. vyhľadávanie alebo chat.


Používanie analytických nástrojov nám umožňuje lepšie porozumieť potrebám našich návštevníkov a tomu, ako používajú našu stránku a zaznamenávanie udalostí konverzií a podobne.


Môžeme používať súbory cookie a nástroje tretích strán na zlepšenie ponuky produktov.