Машины Тьюринга и рекурсивные функции: научное издание/

Машины Тьюринга и рекурсивные функции: научное издание/

Библиографическая информация
Главные авторы:	Эббинхауз, Г. -Д (Автор), Якобс, К. (Автор), Ман, Ф. -К (Автор), Хермес, Г. (Автор)
Другие авторы:	Белаги, Э. Г. (Переводчик)
Формат:	Книга
Публикация:	М.: Мир 1972
Серии:	Современная математика. Популярная серия
Предметы:	НАУЧНЫЕ ИЗДАНИЯ МНОЖЕСТВА АРИФМЕТИКА ОПИСАНИЕ ОПРЕДЕЛЕНИЕ ПРИМЕРЫ ВЫЧИСЛИМОСТЬ ПРЕФИКСЫ ПЕРЕЧИСЛИМОСТЬ ЛЕММА ЛОГИКА ПРЕДИКАТОВ ПОСЛЕДОВАТЕЛЬНОСТИ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1959)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2004)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2007)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1971)

Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
по: Петцольд, Чарльз
Публикация: (2016)

Алгоритмы и рекурсивные функции
по: Мальцев, Анатолий Иванович 1909-1967
Публикация: (1986)

Алгоритмы и рекурсивные функции
по: Мальцев, Анатолий Иванович 1909-1967
Публикация: (1965)

Математическая логика: Пер. англ./
по: Клини, С. К. Стивен Коул
Публикация: (2007)

Элементы математической логики и теории множеств [учебное пособие для математических специальностей вузов]
по: Вольвачев, Раймонд Трофимович
Публикация: (1986)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (2007)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (2005)

Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"]
по: Крупский, Владимир Николаевич
Публикация: (2013)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2005)

Основы логики [Учебник для вузов по гуманитарным и естественно-научным специальностям]
по: Бочаров, Вячеслав Александрович 1937-2012
Публикация: (1997)

Введение в метаматематику
по: Клини, Стивен Коул 1909-1994
Публикация: (1957)

Математическая логика [учебное пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика"]
по: Ершов, Юрий Леонидович 1940-
Публикация: (2011)

Элементарые рекурсивные функции
по: Марченков, Сергей Серафимович
Публикация: (2003)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2009)

Основы логики [учебник для студентов вузов, обучающихся по гуманитарным и естественнонаучным специальностям]
по: Бочаров, Вячеслав Александрович 1937-2012
Публикация: (2008)

Основы логики [учебник для студентов вузов, обучающихся по гуманитарным и естественнонаучным специальностям]
по: Бочаров, Вячеслав Александрович 1937-2012
Публикация: (2014)

Основы логики [учебник для студентов вузов, обучающихся по гуманитарным и естественнонаучным специальностям]
по: Бочаров, Вячеслав Александрович 1937-2012
Публикация: (2005)

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

Дискретная математика [учебник для студентов высших учебных заведений, обучающихся по специальности "Прикладная математика и информатика", а также специальности "Информационные системы и технологии"]
по: Набебин, Алексей Александрович
Публикация: (2010)

Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова
Публикация: (2006)

Введение в математику учебное пособие : [для студентов Томского университета, обучающихся по специальности "Компьютерная безопасность"]
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2022)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1984)

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

Лекции по математике [учебное пособие для студентов, преподавателей]
по: Босс, Валерий 1944-2018
Публикация: (2014)

Математическая логика
по: Гудстейн, Рейбен Луис
Публикация: (2010)

Введение в теорию множеств и математическую логику учебное пособие : [для студентов математических факультетов университетов и пединститутов]
Публикация: (1986)

Конспект лекций по дискретной математике. С упражнениями и контрольными работами: /
по: Галушкина, Ю. И. Юлия Ивановна, et al.
Публикация: (2007)

Квазиматричная (квазифункциональная) логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2018)

Пособие по математике для поступающих в вузы: учебное пособие/
по: Кутасов, А. Д. Александр Дмитриевич, et al.
Публикация: (1981)

Практикум по логике учебное пособие : [для вузов по направлению подготовки ВПО 030100 - "Философия"]
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2014)

Практикум по логике учебное пособие : [для студентов вузов по направлению подготовки ВПО 030100 - "Философия"]
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2016)

Логика предикатов [учебно-методическое пособие для студентов гуманитарных направлений, изучающих дисциплину "Логика"]
по: Зеленкин, Владимир Харитонович
Публикация: (2015)

Теорема Геделя о неполноте
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (1982)

Элементы математической логики и теории множеств
по: Пензов, Юрий Ефимович
Публикация: (1968)

К синтезу адаптивных различающих последовательностей для конечных автоматов
по: Твардовский, Александр Сергеевич

Логика учебник : [для студентов вузов по специальностям 020100 "Философия", 021100 "Юриспруденция"]
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2016)