Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

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

18+

Ваша оценка

(0)

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

Name: Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
Author: В. Босс
ISBN: 978-5-397-03412-8

В. Босс

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

Жанры

Издательство:

Либроком, УРСС

ISBN:

978-5-397-03412-8

Год издания:

2012

Язык:

Русский

Мягкая обложка, 208 стр.

Формат: 62x90/16 (147x205 мм)

Возрастные ограничения: