Алгоритмы и рекурсивные функции

Алгоритмы и рекурсивные функции

Dettagli Bibliografici
Autore principale:	Мальцев А. И. Анатолий Иванович
Lingua:	russo
Pubblicazione:	Москва, Наука, 1986
Edizione:	2-е изд.
Soggetti:	математика математическая логика алгоритмы рекурсивные функции совокупности нумерованные машины Тьюринга
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36705

Documenti analoghi

Алгоритмы и рекурсивные функции
di: Мальцев А. И. Анатолий Иванович
Pubblicazione: (Москва, Наука, 1965)

Перечислимые множества: учебное пособие
di: Дегтев А. Н. Александр Николаевич
Pubblicazione: (Новосибирск, Изд-во НГУ, 1980)

Теория алгоритмов: учебное пособие для вузов
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Инфра-М, 2015)

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

Введение в метаматематику: пер. с англ.
di: Клини С. К. Стефен К.
Pubblicazione: (Москва, Изд-во иностранной литературы, 1957)

Теория алгоритмов: учебное пособие для вузов
di: Фалевич Б. Я. Борис Яковлевич
Pubblicazione: (Москва, Машиностроение, 2004)

Алгоритмы и формальные системы: учебное пособие
di: Лисовик Л. П. Леонид Петрович
Pubblicazione: (Киев, Изд-во КГУ, 1981)

Элементарные рекурсивные функции
di: Марченков С. С. Сергей Серафимович
Pubblicazione: (Москва, МЦНМО, 2003)

Теория алгоритмов: учебное пособие
di: Кожевникова Г. П. Галина Павловна
Pubblicazione: (Львов, Вища школа, 1978)

Теория алгоритмов учебное пособие
di: Кабанцова Л. Ю.
Pubblicazione: (Воронеж, ВГУ, 2021)

Теория алгоритмов: учебник
di: Матрос Д. Ш. Дмитрий Шаевич
Pubblicazione: (Москва, БИНОМ. Лаборатория знаний, 2008)

Дискретная математика. Алгоритмы: теория и практика
di: Авдошин С. М. Сергей Михайлович
Pubblicazione: (Москва, ДМК Пресс, 2019)

Теория алгоритмов учебно-методическое пособие
di: Куликов В. Г.
Pubblicazione: (Москва, МИСИ – МГСУ, 2022)

Математическая логика и теория алгоритмов: учебное пособие
di: Набебин А. А. Алексей Александрович
Pubblicazione: (СПб., Научный мир, 2008)

Математическая логика и теория алгоритмов: учебное пособие
di: Крупский В. Н. Владимир Николаевич
Pubblicazione: (Москва, Академия, 2013)

Введение в теорию схем программ
di: Котов В. Е. Вадим Евгеньевич
Pubblicazione: (Новосибирск, Наука, 1978)

Математическая логика и теория алгоритмов учебное пособие
di: Неклюдова В. Л.
Pubblicazione: (Новосибирск, СГУГиТ, 2022)

Рекурсивно перечислимые множества и сводимости табличного типа
di: Дегтев А. Н. Александр Николаевич
Pubblicazione: (Москва, Наука, 1998)

Основы теории алгоритмов и рекурсивных функций
di: Людковский С. В.
Pubblicazione: (Москва, РТУ МИРЭА, 2022)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
di: Верещагин Н. К
Pubblicazione: (Москва, МЦНМО, 1999)

Дискретная математика: учебное пособие
di: Мальцев И. А. Иван Анатольевич
Pubblicazione: (СПб., Лань, 2011)

Математическая логика и теория алгоритмов: учебное пособие
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Академия, 2008)

Математическая логика: учебное пособие
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (СПб., Лань, 2004)

Математическая логика: учебное пособие для вузов
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (СПб., Лань, 2005)

Математическая логика и теория алгоритмов: учебное пособие
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Academia, 2004)

Теория алгоритмов: учебное пособие для вузов
di: Крупский В. Н. Владимир Николаевич
Pubblicazione: (Москва, Академия, 2009)

Введение в дискретную математику и логику учебное пособие
di: Червенчук В. Д.
Pubblicazione: (Омск, Омский ГАУ, 2011)

Математическая логика: учебное пособие
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (СПб., Лань, 2005)

Конструктивные модели
di: Гончаров С. С. Сергей Савостьянович
Pubblicazione: (Новосибирск, Научная книга, 1999)

Логика. Автоматы. Алгоритмы
Pubblicazione: (Москва, Физматгиз, 1963)

Теория автоматов: учебник
di: Карпов Ю. Г. Юрий Глебович
Pubblicazione: (СПб., Питер, 2003)

Основания математики. Логические исчисления и формализация арифметики.
di: Гильберт Д. Давид
Pubblicazione: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
di: Гильберт Д. Давид
Pubblicazione: (Москва, Наука, 1982)

Математическая логика. Курс лекций. Задачник-практикум и решения
di: Лихтарников Л. М.
Pubblicazione: (Санкт-Петербург, Лань, 2022)

Теория автоматов: учебник для вузов
di: Карпов Ю. Г. Юрий Глебович
Pubblicazione: (СПб., Питер, 2002)

Математическая логика и теория алгоритмов учебное пособие
di: Гамова А. Н.
Pubblicazione: (Саратов, СГУ, 2020)

Теория нумераций.
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (Москва, Наука, 1977)

Лекции по дискретной математике
Pubblicazione: (СПб., БХВ-Петербург, 2004)

Математическая логика. Курс лекций и практических занятий: учебное пособие
di: Шапорев С. Д.
Pubblicazione: (СПб., БХВ-Петербург, 2005)

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
di: Клини С. К. Стефен Коул
Pubblicazione: (Москва, Наука, 1978)