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..
-
Lada
-
Pražská domovní znamení vyprávějí
Alena Wagnerová
-
Výtvarné umění Zeměplochy
Terry Pratchett; Paul Kidby
-
Slovník biblické ikonografie
Jan Royt
-
To je M. Sasek
Martin Salisbury
-
Brána nebes
Jiří Janák
-
Made in Japan - Eseje o japonské vizu...
Zuzana Beňová; Petr Hladík; Barbara Bresslau
-
Základy malování akvarelem - Akvarel ...
Jana Petrásková
-
The Lord of The Rings Sketchbook
Lee, Alan
-
Wall and Piece by Banksy
Istasse, Manon
-
My tři králové jdeme k Vám
-
Bohdan Lacina
Jiří Hlušička
-
Mobilizační techniky v oblasti páteře
Salabová, Ludmila; Hájková, Simona; Novotná, Irena
-
Cvičení k programování v Javě
Virius, Miroslav
-
Experimentální neutronová a reaktorov...
Rataj, Jan
-
Elektrická měření - Přístroje a metody
Haasz, Vladimír