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 €
The only thing available 1
Discrete Mathematics. Formal Logical Systems and Languages
19.99 €
In basket
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:

Разработка требований  к программному обеспечению
Information technology
Development of software requirements
Vigers Carl, Beatty Joy
29.99 €
In basket
Совершенный код. Практическое руководство по разработке программного обеспечения
Information technology
Code Complete: A Practical Guide to Software Development
McConnell Steve
49.99 €
In basket
Алгоритмы. Руководство по разработке
Information technology
Algorithms: Development Guide
Skiena Stephen
39.99 €
In basket