unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="BY-NLB-ar71844"
   Записи: 1 - 9 из 9 (стр. 1 из 1)

Сортировать по: 
Дата Автор Заглавие
2008 Матрос, Дмитрий Шаевич (доктор педагогических наук ; 1946—2011) Теория алгоритмов : учебник для студентов высших учебных заведений, обучающихся по специальности 050202.65(030100) - информатика / Д. Ш. Матрос, Г. Б. Поднебесова
2009 Гаврюшкин, Александр Николаевич Вычислимые модели Эренфойхтовых теорий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Гаврюшкин Александр Николаевич ; [Новосибирский государственный университет]
1999 Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) Вычислимые функции
2000 Соар, Роберт Вычислимо перечислимые множества и степени : Изучение вычислимых функций и вычислимо перечислимых множеств / Пер.с англ.под ред.Арсланова М.М
2009 Волков, Сергей Александрович Конечные базисы по суперпозиции в классах элементарных рекурсивных функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Волков Сергей Александрович ; [Московский государственный университет им. М. В. Ломоносова]
2006 Алаев, Павел Евгеньевич (доктор физико-математических наук) Вычислимость и разрешимость в классе булевых алгебр : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Алаев Павел Евгеньевич ; [Институт математики им. С. Л. Соболева СО РАН]
2018 Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) Лекции по математике : [краткое и ясное изложение предмета : учебное пособие] / В. Босс. — Т. 16: Теория множеств: от Кантора до Коэна
1999 Верещагин, Николай Константинович (доктор физико-математических наук ; род. 1958) Лекции по математической логике и теории алгоритмов : [В 3 ч.]. [Ч.3], Вычислимые функции
2009 Chiswell, Ian A course in formal languages, automata and groups [Electronic resource] / Ian Chiswell
Записей на стр.