Лекции по математике. Том 6. От Диофанта до Тьюринга
 |
|
Описание:
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.Похожие книги
 | Уголовное право России. Общая часть. Учебник Автор: Г. А. Бондарев Год: 1998 |
 | Старшая сестра. Личное счастье Автор: Любовь Воронкова Год: 1972 |
 | Рисунки поэта Автор: Абрам Эфрос Год: 1933 |
 | ActionScript 2.0: программирование во Flash MX 2004. Для профессионалов (+ CD-ROM) Автор: Дмитрий Гурский Год: 2004 |
 | Генетическая инженерия. Учебно-справочное пособие Автор: С. Н. Щелкунов Год: 2004 |
 | Практическая грамматика английского языка. Учебник Автор: К. Н. Качалова, Е. Е. Израилевич Год: 2003 |