Лекции по математике: Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя

Лекции по математике: Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя	Научная, учебная литература для специалистов
Автор: Босс В. Издательство: Либроком, 2013	PDF, 208 страниц, 6.24 МБ 7 Оценка:
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.


755 anatoly_24 18 июля 2014

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

F.A.Q
Чем открыть файл формата DjVu — Файл формата DjVu можно открыть при помощи программ DjVuReader или WinDjView. Чем открыть файл формата PDF — Файл формата pdf можно открыть при помощи программы Adobe Reader.

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

Портал Книжка.info является самообновляемой электронной библиотекой книг, информацию в которую добавляют пользователи, согласные с тем, что они не нарушают авторских прав. На данном сайте представлены исключительно ссылки на другие ресурсы. Любое размещение информации, нарушающее авторское право будет незамедлительно удалено.