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

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

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	1	0	0