Математическая логика и теория алгоритмов: учебное пособие / Северо-Кавказский федеральный университет; составители А. Н. Макоха, А. В. Шапошников, В. В. Бережной. - Ставрополь: СКФУ, 2017. - 418 с.Отраслевые рубрики: математика, математическая логика, теория алгоритмов Ключевые слова: автоматическое доказательство теорем, аксиоматические теории, алгебра высказываний, алгоритмические логики, алгоритмы, Геделя теорема о неполноте, искусственный интеллект, исчисление высказываний, исчисление предикатов, логика предикатов, логики, логическое программирование, марковские алгоритмы, машина Тьюринга, неклассические логики, неразрешимость, предикатные логики, рекурсивные функции, сложность алгоритмов, теория множеств Условия доступа:
Университетская библиотека онлайн Доступ по логину и паролю. Доступ до 08.06.2024.
|