Элементы теории алгоритмов
Элементы теории алгоритмов... Звучит, конечно, страшно, но попробуем разобраться. Что такое алгоритм? Какие свойства имеет? Какие виды бывают? Что такое вспомогательный алгоритм и кому он помогает? Это и многое другое предлагаю рассмотреть прямо здесь и сейчас, доступным языком и на конкретных примерах. Согласен? Тогда листай и познавай ;) Алгоритм – всякая система вычислений по определенным данным, которые после числа шагов приводят к решению задачи. А.Н. Колмогоров      Алгоритм – точное предписание, определенный вычислительный процесс, варьирует исходные данные к результату...
4 года назад
Математическая логика
Колмогоров А.Н., Драгалин А.Г. (2006) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им...