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

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

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

ID книги: 2127996
Загрузил: anatoly_24,

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

Формат Размер Дата загрузки Загрузил Скачиваний *
Скачать Показать QR-код fb2-файла fb2 1 325 КБ 18 июля 2015 anatoly_24 797
Скачать Показать QR-код epub-файла epub 701 КБ 18 июля 2015 anatoly_24 172
* статистика скачиваний с 18 июля 2015
Чтобы иметь возможность оставлять комментарии
вам необходимо войти под своим именем или зарегистрироваться.

Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 27 апреля 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир