Главная
 
Разделы
 
 
Лекции по математике: Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
Лекции по математике: Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя Автор: Жанр: Научная, учебная литература для специалистов Год: 2013 Количество страниц: 208 Формат:  PDF (10.40 МБ)
Дата загрузки: 18 июля 2014


Поделись
с друзьями!

Аннотация

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.



Скачать
 
Комментарии

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
 

 

2011–2024

Рейтинг@Mail.ru