Lektsii po matematike. Tom 6. Algoritmy, logika, vychislimost. Ot Diofanta do Tjuringa i Gedelja

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

• Tekijä(t): Boss V.
• Kieli: Venäjä
• Mitat: 215/148 mm
• Kustantaja: Librokom
• Ilmestymisvuosi: 2012
• Sidosasu: Pehmeä kansi
• Sivumäärä: 208
• ISBN: 978-5-397-03412-8

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