Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]

Показать другие варианты (1)

Библиографическая информация
Главный автор:	Зюзьков, Валентин Михайлович
Соавтор:	Томский государственный университет Механико-математический факультет Кафедра вычислительной математики и компьютерного моделирования
Формат:	Электронная книга
Язык:	Russian
Публикация:	Томск Издательство Томского университета 2009
Редактирование:	2-е изд., испр. и доп.
Предметы:	учебные пособия для вузов теория алгоритмов функции вычислимые функции частично рекурсивные Тьюринга машины лямбда-исчисление Черча нумералы функции рекурсивные вычислимость невычислимость аксиоматика исчисление высказываний элементарная арифметика Геделя теорема о неполноте алгоритмы NP-полнота комбинаторы операторы рекурсивные куины логика предикатов логико-математические языки аксиоматические теории формальные сложность вычислений учебные издания
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396828 Перейти в каталог НБ ТГУ

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

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

Теория алгоритмов учебник : [для студентов вузов, обучающихся по специальности 050202.65 (030100) - информатика]
по: Матрос, Дмитрий Шаевич 1946-2011
Публикация: (2014)

Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
по: Герасимов, Александр Сергеевич
Публикация: (2014)

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

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

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

Теория алгоритмов учебное пособие : [для вузов по специальности 050201.65 - математика]
по: Игошин, Владимир Иванович
Публикация: (2014)

Теория алгоритмов учебное пособие : [для вузов по специальности 050201.65 - математика]
по: Игошин, Владимир Иванович
Публикация: (2015)

Лекции по математической логике и теории алгоритмов учебно-методический комплекс
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2007)

Курс математической логики и теории вычислимости учебное пособие
по: Герасимов, Александр Сергеевич
Публикация: (2011)

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

Математическая логика Учебное пособие для математических специальностей вузов
по: Ершов, Юрий Леонидович 1940-
Публикация: (1987)

Математическая логика Учебное пособие для математических специальностей вузов
по: Ершов, Юрий Леонидович 1940-
Публикация: (1979)

Вычислимо перечислимые множества и степени Изучение вычислимых функций и вычислимо перечислимых множеств
по: Соар, Роберт И.
Публикация: (2000)

Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"]
по: Судоплатов, Сергей Владимирович
Публикация: (2004)

Математическая логика учебное пособие
по: Ершов, Юрий Леонидович 1940-
Публикация: (2004)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2002)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2008)

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

Теорема Гёделя
по: Нагель, Эрнест 1901-1985
Публикация: (2011)

Лекции по дискретной математике учебное пособие
по: Дехтярь, Михаил Иосифович
Публикация: (2009)

Математическая логика [Учебное пособие для математических специальностей педагогических институтов]
по: Столяр, Абрам Аронович
Публикация: (1991)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (1975)

Мозг, машина и математика
по: Арбиб, Майкл А
Публикация: (1968)

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

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

Вычислимость. Введение в теорию рекурсивных функций
по: Катленд, Найджел
Публикация: (1983)

Дискретная математика для инженера
по: Кузнецов, Олег Петрович
Публикация: (2009)

Дискретная математика для инженера
по: Кузнецов, Олег Петрович
Публикация: (2004)

Дискретная математика для инженера
по: Кузнецов, Олег Петрович
Публикация: (2014)

Тезис Черча
по: Целищев, Виталий Валентинович
Публикация: (2008)

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

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

Логические и математические исчисления учебное пособие
по: Шиханович, Юрий Александрович
Публикация: (2011)

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

Дискретная математика. Задачи и упражнения с решениями учебно-методическое пособие : [для студентов вузов, обчающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии"]
по: Вороненко, Андрей Анатольевич
Публикация: (2014)

Математические основания информатики
по: Столбоушкин, А. П.
Публикация: (1998)

Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика"
по: Мощенский, Андрей Владимирович
Публикация: (2002)

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

Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" [учебное пособие для студентов и аспирантов]
по: Лупанов, Олег Борисович
Публикация: (2007)