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

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

Bibliographic Details
Main Authors:	Эббинхауз, Г. -Д (Author), Якобс, К. (Author), Ман, Ф. -К (Author), Хермес, Г. (Author)
Other Authors:	Белаги, Э. Г. (Translator)
Format:	Book
Published:	М.: Мир 1972
Series:	Современная математика. Популярная серия
Subjects:	НАУЧНЫЕ ИЗДАНИЯ МНОЖЕСТВА АРИФМЕТИКА ОПИСАНИЕ ОПРЕДЕЛЕНИЕ ПРИМЕРЫ ВЫЧИСЛИМОСТЬ ПРЕФИКСЫ ПЕРЕЧИСЛИМОСТЬ ЛЕММА ЛОГИКА ПРЕДИКАТОВ ПОСЛЕДОВАТЕЛЬНОСТИ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

Элементы математической логики
by: Новиков, Петр Сергеевич
Published: (1959)

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

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

Введение в математическую логику
by: Мендельсон, Эллиот
Published: (1971)

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

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

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

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

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

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

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

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

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

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

Введение в метаматематику
by: Клини, Стивен Коул 1909-1994
Published: (1957)

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

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

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

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

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

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

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

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

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

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

Введение в математическую логику
by: Мендельсон, Эллиот
Published: (1984)

Теория доказательств
by: Такеути, Г.
Published: (1978)

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

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

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

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

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

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

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

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

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

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

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

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

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