Электронный каталог

Экз. чит. зала

Книга
Мальцев, Анатолий Иванович
Алгоритмы и рекурсивные функции
Наука, 1965 г.
ISBN отсутствует

Книга (аналит. описание)
Гросс, М.
Вычислимость и разрешимость [Глава 5]
б.г.
ISBN отсутствует

Экз. чит. зала

Книга
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует

Серия: Лекции по математической логике и теории алгоритмов, Современные лекционные курсы

Экз. чит. зала

Книга
Верещагин, Николай Константинович
Вычислимые функции

МЦНМО, МЦНМО, 2008 г.
ISBN 978-5-94057-323-4

Электронный ресурс (аналит. описание)
Гончаров, Сергей Севостьянович
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ...
б.г.
ISBN отсутствует

Доступно
3 из 31

Книга
Королев, Лев Николаевич
Информатика: Введ. в компьютер. науки: Учеб. для вузов
Высшая школа, 2003 г.
ISBN 5-06-004272-3

Экз. чит. зала

Электронный ресурс
Матросов, Виктор Леонидович
Классы рекурсивных функций по сложности вычислений аналитические характеристики сигнализирующих: Автореферат диссертации канд. физ.-мат. наук, Специальность 01.01.06 - математическая логика
1975 г.
ISBN отсутствует

Доступно
1 из 1

Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции

Серия: Современные лекционные курсы

МЦНМО, 2012 г.
ISBN 978-5-4439-0014-8

Доступно
2 из 8

Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует

Экз. чит. зала

Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует

Экз. чит. зала

Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2

Экз. чит. зала

Книга
Колмогоров, Андрей Николаевич
Математическая логика: Доп. главы
МГУ, 1984 г.
ISBN отсутствует

Серия: Высшее профессиональное образование. Педагогические специальности

Доступно
1 из 2

Книга
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"

Academia, 2010 г.
ISBN 978-5-7695-7045-2

Экз. чит. зала

Книга
Пентус, Анна Евгеньевна
Математическая теория формальных языков : [Учеб. пособие]

Серия: Основы информатики и математики

Интернет-Университет информационных технологий, Бином. Лаборатория знаний, 2006 г.
ISBN 5-94774-512-7

Книга (аналит. описание)
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует

Электронный ресурс (аналит. описание)
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует

Доступно
1 из 1

Диссертация
Соколов, Валерий Анатольевич
Об алгебре многоместных частично рекурсивных функций с операцией суперпозиции: Диссертация ... канд. физ.-мат. наук, Специальность 01.01.06 - математическая логика
б. и., 1972 г.
ISBN отсутствует

Электронный ресурс (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует

Книга (аналит. описание)
Мирзоев, Махмашариф Сайфович
Обучающие и контролирующие программы по теме уточнения понятия алгоритма с помощью машины Тьюринга
б.г.
ISBN отсутствует

Экз. чит. зала

Электронный ресурс
Мамаев, Владислав Владимирович
Построение корректных моделей алгоритмов ограниченной емкости: Автореферат диссертации канд. физ.-мат. наук: Специальность 05.13.17 - теоретические основы информатики
1998 г.
ISBN отсутствует

Доступно
1 из 1

Диссертация
Мамаев, Владислав Владимирович
Построение корректных моделей алгоритмов ограниченной емкости: Диссертация канд. физ.-мат. наук: Специальность 05.13.17 - теоретические основы информатики
1998 г.
ISBN отсутствует

Электронный ресурс (аналит. описание)
Калимуллин, Искандер Шагитович
Примитивно рекурсивные поля и категоричность
б.г.
ISBN отсутствует

Экз. чит. зала

Книга

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сб. пер.

Серия: Библиотека "Кибернетического сборника"

Мир, 1970 г.
ISBN отсутствует

Доступно
8 из 9

Книга
Петер, Роза
Рекурсивные функции
Изд-во иностранной лит., 1954 г.
ISBN отсутствует

Доступно
2 из 2

Книга
Гудстейн, Рейбен Луис
Рекурсивный математический анализ

Серия: Математическая логика и основания математики

Наука, 1970 г.
ISBN отсутствует

Доступно
3 из 3

Книга

Справочная книга по математической логике. Ч. 3: Теория рекурсии: В 4 ч.
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует

Электронный ресурс (аналит. описание)
Алаев, П. Е.
Структуры, вычислимые за полиномиальное время. II
б.г.
ISBN отсутствует

Электронный ресурс (аналит. описание)
Цензер, Д.
Теоретико-вычислительные свойства структур с вложением
б.г.
ISBN отсутствует

Экз. чит. зала

Книга
Матросов, Виктор Леонидович
Теория алгоритмов: сборники задач, учебное пособие для вузов по направлению 050200.62 - физико-математическое образование ; специальностям: 050201.65 - Математика, 050202.65 - Информатика
МПГУ, 2010 г.
ISBN 978-5-94845-202-9