Вычислимое и невычислимое

Вычислимое и невычислимое

Dettagli Bibliografici
Autore principale:	Манин Ю. И. Юрий Иванович
Lingua:	russo
Pubblicazione:	Москва, Сов. радио, 1980
Serie:	Кибернетика
Soggetti:	вычислимость невычислимость рекурсивные алгоритмы рекурсивные функции сложность случайность формальные языки теорема Геделя
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=122471

Documenti analoghi

Информатика. Введение в компьютерные науки: учебник
di: Королев Л. Н. Лев Николаевич
Pubblicazione: (Москва, Высшая школа, 2003)

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

Информатика. Введение в компьютерные науки: учебник для вузов
di: Королев Л. Н. Лев Николаевич
Pubblicazione: (Москва, Абрис, 2012)

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

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

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

Анализ сложности алгоритмов учебно-методическое пособие
di: Филатов В. В.
Pubblicazione: (Москва, РТУ МИРЭА, 2023)

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

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

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

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

Логические и математические исчисления: учебное пособие
di: Шиханович Ю. А. Юрий Александрович
Pubblicazione: (Москва, Научный мир, 2011)

Теория рекурсии для программистов
di: Головешкин В. А. Василий Адамович
Pubblicazione: (Москва, Физматлит, 2006)

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

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

Структуры и алгоритмы обработки данных учебно-методическое пособие
di: Кораблин Ю. П.
Pubblicazione: (Москва, РТУ МИРЭА, 2020)

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

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

Основы алгоритмизации и языки программирования: учебное пособие
di: Чернышёва Т. Ю. Татьяна Юрьевна
Pubblicazione: (Томск, Изд-во ТПУ, 2008)

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

Анализ алгоритмов. Активный обучающий подход: учебное пособие; пер. с англ.
di: Макконнелл Д. Д. Джеффри Дж.
Pubblicazione: (Москва, Техносфера, 2009)

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

Теоретические основы прикладной математики и информатики: элементы теории разработки эффективных алгоритмов учебно-методическое пособие
di: Долганова Н. Ф.
Pubblicazione: (Томск, ТГПУ, 2019)

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

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

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

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

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

Основы теории элементарных алгоритмов: учебное пособие
di: Косовский Н. К. Николай Кириллович
Pubblicazione: (Ленинград, Изд-во ЛГУ, 1987)

Теория цифрового компьютера: учебное пособие для вузов
di: Барский А. Б. Аркадий Бенционович
Pubblicazione: (Москва, Форум, 2018)

Теория и алгоритмы обработки рекурсивных информационных структур: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
di: Соколова В. В. Вероника Валерьевна
Pubblicazione: (Томск, [Б. и.], 2006)

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

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

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

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

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
di: Соколова В. В. Вероника Валерьевна
Pubblicazione: (Томск, [Б. и.], 2007)

Вводный курс математической логики
di: Успенский В. А. Владимир Андреевич
Pubblicazione: (Москва, Физматлит, 2007)

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

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

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук
di: Соколова В. В. Вероника Валерьевна
Pubblicazione: (Томск, [Б. и.], 2007)