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..
-
Milk and Honey
Kaur Rupi
-
Muž, který chtěl být šťastný
Laurent Gounelle
-
Člověk a jeho symboly
Carl Gustav Jung
-
Život naživo
Vladimír Kafka
-
Psychologie Atkinsonové a Hilgarda
S. Noel-Hoeksema; L. B. Frederickson; W. A. Wagenaar
-
Emoční inteligence
Daniel Goleman
-
Umělcova cesta
Julia Cameron
-
Digitální demence
Manfred Spitzer
-
Debordelizace hlavy
Ivo Toman
-
Psychologie sériových vrahů - 200 sku...
Andrej Drbohlav
-
Jak prokouknout druhé lidi
Joe Navarro
-
Vývojová psychologie
Dana Krejčířová; Josef Langmeier
-
Mobilizační techniky v oblasti páteře
Salabová, Ludmila; Hájková, Simona; Novotná, Irena
-
Záhady klíče zajímavosti očima fyziká...
Anatol Malijevský
-
Cvičení k programování v Javě
Virius, Miroslav
-
Kniha FOTOGRAFIE - Od fotogramu k výp...
Sejkot, Roman; Hlaváč, Václav