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

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

書誌詳細
第一著者:	Верещагин Н. К
その他の著者:	Шень А
言語:	ロシア語
出版事項:	Москва, МЦНМО, 1999
主題:	Математическая логика Алгоритмы, теория математика вычислительные функции разрешимость неразрешимость рекурсивные функции арифметичность вычислимость учебные пособия
フォーマット:	図書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=30843

類似資料

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
出版事項: (1976)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
著者:: Игошин В. И. Владимир Иванович
出版事項: (Москва, Академия, 2005)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
著者:: Катленд Н. Найджел
出版事項: (Москва, Мир, 1983)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
著者:: Игошин В. И. Владимир Иванович
出版事項: (Москва, Академия, 2006)

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

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

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

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
出版事項: (Калинин, Изд-во Калининского гос. ун-та, 1983)

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

Математическая логика и теория алгоритмов: учебное пособие
著者:: Крупский В. Н. Владимир Николаевич
出版事項: (Москва, Академия, 2013)

Т. 1: [сборник]; Исследования по теории алгорифмов и математической логике
出版事項: (1973)

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
著者:: Глухов М. М. Михаил Михайлович
出版事項: (СПб., Лань, 2012)

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

Математическая логика и теория алгоритмов
出版事項: (Новосибирск, Наука, 1982)

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

Математическая логика и теория алгоритмов: учебник
著者:: Судоплатов С. В.
出版事項: (Москва, Инфра-М, 2008)

Математическая логика и теория алгоритмов для программистов: учебное пособие
著者:: Гринченков Д. В. Дмитрий Валерьевич
出版事項: (Москва, КноРус, 2010)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
著者:: Косовский Н. К. Николай Кириллович
出版事項: (Ленинград, Изд-во Ленинградского ун-та, 1981)

Математическая логика и теория алгоритмов для программистов: учебное пособие
著者:: Гринченков Д. В. Дмитрий Валерьевич
出版事項: (Москва, КноРус, 2013)

Математическая логика и теория алгоритмов: учебное пособие
著者:: Игошин В. И. Владимир Иванович
出版事項: (Москва, Академия, 2008)

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

Математическая логика и теория алгоритмов / ДО 2017: электронный курс
著者:: Стоянов А. К. Александр Кириллович
出版事項: (Томск, TPU Moodle, 2018)

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

Математическая логика и теория алгоритмов: учебное пособие
著者:: Игошин В. И. Владимир Иванович
出版事項: (Москва, Academia, 2004)

Математическая логика и теория алгоритмов / ДО 2021: электронный курс
著者:: Шефер О. В. Ольга Владимировна
出版事項: (Томск, TPU Moodle, 2021)

Проблема логического следования в математической логике: лекция
著者:: Джиджян Р. З.
出版事項: (Ереван, Изд-во Ереванского ун-та, 1981)

Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г.: тезисы докладов
出版事項: (Новосибирск, Изд-во ИМ, 1985)

Математическая логика: пер. с англ.
著者:: Клини С. К. Стефан Коул
出版事項: (Москва, Мир, 1973)

Алгебра и логика: сборник научных трудов
出版事項: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика: сборник научных трудов
出版事項: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Исследования по теории алгорифмов и математической логике: сборник
出版事項: (Москва, Наука, 1979)

Задачник по математической логике: учебное пособие
著者:: Горбатов В .А.
出版事項: (Москва, Изд-во МЭИ, 1972)

Вычислимое и невычислимое
著者:: Манин Ю. И. Юрий Иванович
出版事項: (Москва, Сов. радио, 1980)

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

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

Элементы математической логики
著者:: Марков А. А. Андрей Андреевич
出版事項: (Москва, Изд-во МГУ, 1984)

Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]; Ч.2
出版事項: (Новосибирск, Изд-во СО АН СССР, 1982)

Стабильные теории: учебное пособие
著者:: Мустафин Т. Г. Туленды Гарифович
出版事項: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

Конструктивные модели
著者:: Гончаров С. С. Сергей Савостьянович
出版事項: (Новосибирск, Научная книга, 1999)

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
出版事項: (Новосибирск, Изд-во ИМ СО РАН, 1986)