Литмир - Электронная Библиотека
Литмир - Электронная Библиотека > Босс Валерий > Лекции по математике. Том 6. От Диофанта до Тьюринга
Лекции по математике. Том 6. От Диофанта до Тьюринга
Книга закончена
Язык книги: Русский
Издатель: КомКнига
Город печати: Москва
Год печати: 2006
ISBN: 5-484-00463-2
Выберите формат скачивания:
QR кодРазмер: 2,1 МбайтДобавлено 10 ноября 2015, 16:11

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

    Для студентов, преподавателей, инженеров и научных работников.

    Поделиться:
    ]]>Facebook :0]]>  ]]>Twitter :1]]>  ]]>В контакте :0]]>  ]]>Livejournal :0]]>  ]]>Мой мир :0]]>  ]]>Gmail :0]]>  Email :0  ]]>Скачать :1]]>  
    Мой статус книги:
      Ключевые слова:
    Чтобы оставить свою оценку и комментарий вам нужно зайти на сайт или зарегистрироваться

    {"b":"270405","o":30}