Отраслевые рубрики: дискретная математика, математика

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

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