Математика — Авдошин С.

Книга содержит основные сведения из теории алгоритмов: частично-рекурсивные функции, машины Тьюринга, а также элементы комбинаторики, графы и алгоритмы на графах, потоки в транспортных сетях, рекуррентные последовательности, частично упорядоченные множества, решетки, булевы алгебры. Приведены примеры алгоритмически неразрешимых проблем.

Книга содержит основные сведения из теории алгоритмов: частично-рекурсивные функции, машины Тьюринга, а также элементы комбинаторики, графы и алгоритмы на графах, потоки в транспортных сетях, рекуррентные последовательности, частично упорядоченные множества, решетки, булевы алгебры. Приведены примеры алгоритмически неразрешимых проблем.

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