Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.

Bibliografiske detaljer
Hovedforfatter:	Катленд Н. Найджел
Andre forfattere:	Маслов С. Ю. (редактор)
Sprog:	russisk
Udgivet:	Москва, Мир, 1983
Fag:	Рекурсивные функции вычислимость множества функции отношения предикаты тезис Черча нумерация универсальные программы разрешимость неразрешимость
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=290736

Lignende værker

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

Математическая логика: пер. с англ.
af: Клини С. К. Стивен Коул
Udgivet: (Москва, Едиториал УРСС, 2005)

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

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

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

Математическая логика: пер. с англ.
af: Клини С. К. Стефан Коул
Udgivet: (Москва, Мир, 1973)

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

Вычислимое и невычислимое
af: Манин Ю. И. Юрий Иванович
Udgivet: (Москва, Сов. радио, 1980)

Локальная теория степеней неразрешимости
af: Арсланов М. М. Марат Мирзаевич
Udgivet: (Казань, Изд-во Казанского ун-та, 1987)

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

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

Основы теории алгоритмов учебное пособие
af: Ланских В. Г.
Udgivet: (Киров, ВятГУ, 2017)

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

Рекурсивно перечислимые множества и степени неразрешимости
af: Арсланов М. М. Марат Мирзаевич
Udgivet: (Казань, Изд-во Казанского ун-та, 1986)

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

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

Определимость и вычислимость
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (Москва, Экономика, 2000)

Жемчужины теории формальных языков: пер. с англ.
af: Саломаа А. Арто
Udgivet: (Москва, Мир, 1986)

Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
af: Шенфилд Дж. Джозеф
Udgivet: (Москва, Наука, 1977)

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

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

Неокибернетика. Алгоритмы, математика эволюции и технологии будущего
af: Крылов С. М. Сергей Михайлович
Udgivet: (Москва, Изд-во ЛКИ, 2008)

Теория формальных систем: пер. с англ.
af: Смальян Р. Раймонд
Udgivet: (Москва, Наука, 1981)

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

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

Проблемы разрешимости и конструктивные модели
af: Ершов Е. Л. Юрий Леонидович
Udgivet: (Москва, Наука, 1980)

Топологическая теория Галуа. Разрешимость и неразрешимость уравнений в конечном виде
af: Хованский А. Г. Аскольд Георгиевич
Udgivet: (Москва, МЦНМО, 2008)

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

Математическая логика: учебное пособие для вузов
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (Москва, Физматлит, 2011)

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

Вып. 161 : Обобщенная вычислимость и определимость; Вычислительные системы
Udgivet: (1998)

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

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

Введение в математическую логику
af: Зюзьков В. М.
Udgivet: (Санкт-Петербург, Лань, 2022)

Элементы теории алгоритмов и формальных языков учебное пособие
af: Богатиков В. Н.
Udgivet: (Тверь, ТвГТУ, 2023)

Программирование в среде Visual Prolog учебное пособие
af: Авдеенко Т. В.
Udgivet: (Новосибирск, НГТУ, 2022)

Дискретная математика для инженера
af: Кузнецов О. П.
Udgivet: (Санкт-Петербург, Лань, 2022)

Вычислимо перечислимые множества и степени: пер. с англ.
af: Соар Р. И. Роберт И.
Udgivet: (Казань, Казанское математическое общество, 2000)

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

Математика. Основы дискретной математики учебное пособие
af: Зорькина Н. В.
Udgivet: (Ульяновск, УИ ГА, 2019)