Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Учебное пособие
Либроком, 2015
Страниц: 208
Формат: 62x90/16
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
С нового учебного года всех первоклассников России будут принимать в учебные заведения по месту жительства. Президент РФ недавно утвердил поправки, определяющие закон «Об образовании». Данные поправки закрепляют первоочередное право на законные места в младших классах для детей, которые проживают неподалеку от школы. Нововведенные поправки будут действительны с первого января следующего года.