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

19,99

В наличии лишь 1

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

19,99

В корзину

В наличии лишь 1

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

Штрихкод: 9785970606223 Артикул: 70182076 Категория:
Язык издания: русский

Смотрите также: