Не надейтесь избавиться от книг (Умберто Эко)
+371 27000041, +371 27000045
(в раб. дни 9:00-17:00 по латвийскому времени)
+371 27000041
+371 27000045

(в раб. дни 10:00-17:00)

Дискретная математика. Формально-логические системы и языки

19.99 €
В наличии лишь 1
Дискретная математика. Формально-логические системы и языки
19.99 €
В корзину
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.
Смотрите также:

Возможно, вам будет интересно:

Переход в облако. Практическое руководство по организации облачных вычислений для ученых и IT-специалистов
Информационные технологии
Переход в облако. Практическое руководство по организации облачных вычислений для ученых и IT-специалистов
Аньель Хуан, Монтес Диего, Иглесиас Хавьер Родейро
14.99 €
В корзину
Разработка требований  к программному обеспечению
Информационные технологии
Разработка требований к программному обеспечению
Вигерс Карл, Битти Джой
29.99 €
В корзину
Начинаем программировать на Python
Информационные технологии
Начинаем программировать на Python
Гэддис Тони
49.99 €
В корзину