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..
-
Vaříme pro kojence a batolata
Annabel Karmel
-
Vaříme podle Herbáře - 200 receptů a ...
Kateřina Winterová
-
World of WarCraft - Oficiální kuchařka
Chelsea Monroe-Cassel
-
Kuchařka ze Svatojánu BOX
Eva Francová
-
Moje domácí kuchyně
Pohlreich Zdeněk
-
Umění francouzské kuchyně
Julia Child
-
Kuchařka ze Svatojánu
Eva Francová
-
Vaříme pro kojence a batolata
Olga Mengerová
-
Bible dětských pokrmů
Karmel, Annabel
-
Receptury studených pokrmů
Jaroslav Runštuk
-
Helenčino pečení Sváteční cukroví
Helena Vybíralová
-
Kuchařka pro nejmenší
Ivana Tremlová
-
Funkce komplexní proměnné
Hamhalter, Jan
-
Základy elektroniky
Julius Foit
-
Mobilizační techniky v oblasti páteře
Salabová, Ludmila; Hájková, Simona; Novotná, Irena
-
Stavební fyzika II
Daniela Bošová