Don't hope to get rid of books (Umberto Eco)
+371 27000041, +371 27000045
(on working days 9:00-17:00 latvian)
+371 27000041
+371 27000045

(on working days 10:00-17:00)

Discrete Mathematics. Formal Logical Systems and Languages

19.99 €
Out of stock
Discrete Mathematics. Formal Logical Systems and Languages
19.99 €
The book contains basic information from formal logic systems. These are functions of algebra logic (Boolean functions), Post's theorem of functional completeness, k-valued logics, derivatives of Boolean functions, axiomatic calculi of statements, predicates, sequences, resolutions, and the programming language Prolog. Monadic logic, finite automata and the languages represented by them, temporal logic, and the axiomatic programming language OBJ3 are considered.
See also:

You might be interested:

Excel 2019 Библия пользователя
Information technology
Excel 2019 User's Bible
Alexander Michael, Kusleika Richard, Wokenbach John
99.99 €
In basket
Компьютерные науки. Базовый курс
Information technology
Computer Science: Basic Course
Brookshire J. Glenn, Dennis Breeloff
99.99 €
In basket
Java для чайников
Information technology
Java for Dummies
Byrd Barry
39.99 €
In basket