Основания математики. Математическая логика. Теория чисел

Список источников >Учебная литература >Студентам и аспирантам >Естественные науки. Математика >Математика >Основания математики. Математическая логика. Теория чисел >

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

Автор: Босс В.
Год: 2012
Издание: Либроком, УРСС
Страниц: 208
ISBN: 9785397034128
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Добавлено: 2014-06-30 09:40:32

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы