Matematická logika
9
%
214 Kč 234 Kč
Sleva až 70% u třetiny knih
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.
| Nakladatel: | CVUT Praha |
| ISBN: | 978-80-01-05342-3 |
| Rok vydání: | 2013 |
| Jazyk : | Čeština |
| Vazba: | brožovaná |
| Počet stran: | 176 |
| Zařazení: | učebnice vysokých škol • matematická logika |
Mohlo by se vám také líbit..
-
Cesta do pekel
Hans Bernd Gisevius
-
Spolková republika Německo - stručná ...
Lukáš Novotný
-
Konflikt versus konsensus
Vít Hloušek
-
Politické systémy anglosaských zemí
Petr Jurek
-
Pod ochranou hákového kříže - Nacisti...
Pavel Maršálek
-
Libanonské rozhovory
Monika Langrock
-
Analýza politiky a političtí aktéři
Říchová, Blanka
-
O dobyvačnosti a uzurpaci a jejich vz...
Benjamin Constant
-
Za fasádou jednoty
Martin Štefek
-
Ztraceny v tranzici?
Ladislav Cabada; Vít Hloušek; Petr Jurek
-
Lidově, národně, křesťansky
Michal Pehr
-
Prognostika
Bohumír Štědroň
-
Mobilizační techniky v oblasti páteře
Salabová, Ludmila; Hájková, Simona; Novotná, Irena
-
Základy elektrotechniky - cvičení
Malý, Karel
-
Programovací jazyk C++ 1. díl
Virius, Miroslav
-
Cvičení k programování v Javě
Virius, Miroslav
