Отраслевые рубрики: математика, математическая логика, теория алгоритмов

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

Условия доступа:

ЭБС ZNANIUM
Доступ по № абонента, логину и паролю. Доступ до 31.12.2024.