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:

Переход в облако. Практическое руководство по организации облачных вычислений для ученых и IT-специалистов
Information technology
Moving to the Cloud: A Practical Guide to Cloud Computing for Scientists and IT Professionals
Anielle Juan, Montes Diego, Iglesias Javier Rodeiro
14.99 €
In basket
Разработка требований  к программному обеспечению
Information technology
Development of software requirements
Wiggers Carl, Beatty Joy
29.99 €
In basket
Начинаем программировать на Python
Information technology
Getting Started with Python Programming
Gaddis Tony
49.99 €
In basket
Совершенный код. Практическое руководство по разработке программного обеспечения
Information technology
Code Complete: A Practical Guide to Software Development
McConnell Steve
49.99 €
In basket