Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Теория алгоритмов : [учебное пособие для студентов математических направлений и специальностей университетов]

Зюзьков, Валентин Михайлович

Дата публикации: 2009

Дата публикации в реестре: 2020-03-03T19:44:58Z

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

Тип: учебные издания

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core