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..
-
Hormonální jógová terapie
Dinah Rodrigues
-
Posilování - anatomický průvodce
Delavier Fréderic
-
Kniha pěti kruhů
Mijamoto Musaši
-
Nahý bojovnik - Odhalte tajemství sup...
Tsatsouline Pavel
-
Tělo jako posilovna
Mark Lauren; Joshua Clark
-
Hormonální jóga - Základní principy a...
Schostak Monika
-
Vojenská příručka přežití
Chris McNab
-
Jóga krok za krokem
Svámí Gítánanda Giri
-
Martin Fourcade Můj sen o zlatě a sněhu
Martin Fourcade
-
Tělo jako posilovna - 90denní výzva p...
Lauren Mark
-
Tělo jako posilovna - 90denní výzva p...
Lauren Mark
-
Šamanské karty
Wa-Na-Nee-Che; Eliana Harvey
-
Praha nepostavená
Brůhová, Klára
-
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
