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

« НАУЧНАЯ, УЧЕБНАЯ ЛИТЕРАТУРА ДЛЯ СПЕЦИАЛИСТОВ »	15 сентября 2018
ЛЕКЦИИ ПО МАТЕМАТИКЕ: ТОМ 6: АЛГОРИТМЫ, ЛОГИКА, ВЫЧИСЛИМОСТЬ. ОТ ДИОФАНТА ДО ТЬЮРИНГА И ГЕДЕЛЯ	№ 127612012

Автор: kimon :: Просмотров: 1294

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

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

» depositfiles.com

Ключевые теги: книга, проблема, гедель, тьюринг, логик, математик, аспект, проблематика, внимание, мотивация, результат, студент, преподаватель, инженер, работник, восприятие, босс

Администрация рекомендует нижеследующее: Что такое форматы pdf и djvu и чем их читать : Правила на сайте

(голосов: 7)

Уважаемый посетитель вы вошли на сайт как незарегистрированный пользователь. Мы рекомендуем вам зарегистрироваться либо войти на сайт под своим именем.

Информация

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

ЛЕКЦИИ ПО МАТЕМАТИКЕ: ТОМ 6: АЛГОРИТМЫ, ЛОГИКА, ВЫЧИСЛИМОСТЬ. ОТ ДИОФАНТА ДО ТЬЮРИНГА И ГЕДЕЛЯ