Определимость и вычислимость

Определимость и вычислимость

Bibliographic Details
Main Author:	Ершов Ю. Л. Юрий Леонидович
Language:	Russian
Published:	Москва, Экономика, 2000
Edition:	2-е изд., испр. и доп.
Subjects:	вычислительная математика определимость вычислимость математическая логика теорема Геделя доказательство
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=24166

Similar Items

Вып. 161 : Обобщенная вычислимость и определимость; Вычислительные системы
Published: (1998)

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

Вычислимое и невычислимое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Сов. радио, 1980)

Теорема Гёделя о неполноте
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Наука, 1982)

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

Принцесса или тигр: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1985)

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

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

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Published: (1983)

Как же называется эта книга?: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1981)

Математическая логика. Курс лекций. Задачник-практикум и решения
by: Лихтарников Л. М.
Published: (Санкт-Петербург, Лань, 2022)

Математическая логика и алгебра: Сборник статей
Published: (Москва, Наука, 2003)

Проблема неполноты теории и ее гносеологическое значение: монография
by: Антипенко Л. Г. Леонид Григорьевич
Published: (Москва, Наука, 1986)

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

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

Математическая логика задачник-практикум для студентов физико-математического факультета
by: Троякова Г. А.
Published: (Кызыл, ТувГУ, 2018)

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

Дискретная математика. Часть 1
by: Лежнина Ю. А.
Published: (Москва, РТУ МИРЭА, 2023)

Курс математической логики и теории вычислимости: учебное пособие для вузов
by: Герасимов А. С. Александр Сергеевич
Published: (Санкт-Петербург, Лань, 2014)

Вып. 11; Математические вопросы кибернетики
Published: (2002)

Программирование. Математические основы, средства, теория: учебное пособие
by: Лавров С. С. Святослав Сергеевич
Published: (СПб., БХВ-Петербург, 2001)

Комбинаторные исчисления: учебное пособие
by: Шабунин Л. В. Леонид Васильевич
Published: (Чебоксары, Изд-во ЧГУ, 1984)

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

Математика XX века. Взгляд из Петербурга
Published: (Москва, МЦНМО, 2010)

Вып. 156 : Структурные алгоритмические свойства вычислимости; Вычислительные системы
Published: (1996)

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
by: Калошина И. П. Инна Павловна
Published: (Саранск, Изд-во Саратовского ГТУ, 1988)

Последняя теорема Ферма. Генетическое введение в алгебраическую теорию чисел: пер. с англ.
by: Эдвардс Г.
Published: (Москва, Мир, 1980)

Вычислимо перечислимые множества и степени: пер. с англ.
by: Соар Р. И. Роберт И.
Published: (Казань, Казанское математическое общество, 2000)

Дискретная математика для программистов: учебное пособие для вузов; пер. с англ.
by: Хаггарти Р.
Published: (Москва, Техносфера, 2003)

Математическая логика и теория алгоритмов
by: Блатов И. А.
Published: (Самара, ПГУТИ, 2017)

Дискретная математика для инженера
by: Кузнецов О. П.
Published: (Санкт-Петербург, Лань, 2022)

Дискретная математика для программистов: учебное пособие для вузов; пер. с англ.
by: Хаггарти Р.
Published: (Москва, Техносфера, 2005)

Логика: учебник
by: Свинцов В. И. Виталий Иванович
Published: (Москва, Высшая школа, 1987)

Вып. 170 : Методологические аспекты когнитивных процессов; Вычислительные системы
Published: (2002)

Логика: учебник
by: Кириллов В. И. Вячеслав Иванович
Published: (Москва, Высшая школа, 1987)

Логика: учебник
by: Кириллов В. И. Вячеслав Иванович
Published: (Москва, Высшая школа, 1982)

Строительная механика. Примеры расчета статически определимых и неопределимых систем учебное пособие по строительной механике
by: Трошин В. Ф.
Published: (Орел, ОрелГАУ, 2023)

Введение в КАМ-теорию: пер. с англ.
by: Яве Р. де ла Рафаэль
Published: (Москва, Институт компьютерных исследований, 2003)

Сборник упражнений по логике: учебное пособие
Published: (Минск, Университетское, 1990)

Основы строительной механики. Задания на контрольные работы учебно-методическое пособие по дисциплине «строительная механика»
by: Тихий И. И.
Published: (Иркутск, ИрГУПС, 2018)