Рекурсивно перечислимые множества и сводимости табличного типа
Main Author: | Дегтев, Александр Николаевич |
---|---|
Format: | Book |
Language: | Russian |
Published: |
М.
Наука. Физматлит
1998
|
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович 1909-1967
Published: (1986) -
Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович 1909-1967
Published: (1965) -
Вычислимо перечислимые множества и степени Изучение вычислимых функций и вычислимо перечислимых множеств
by: Соар, Роберт И.
Published: (2000) -
Аксиома сводимости, теория типов Ф. П. Рамсея и реализм в математике
by: Суровцев, Валерий Александрович -
Теория алгоритмов учебное пособие : [для вузов по специальности 050201.65 - математика]
by: Игошин, Владимир Иванович
Published: (2014)