Математическая логика

Алатырь: Чувашский государственный университет имени И.Н. Ульянова, 2009. – 19 с. Дисциплина – Математическая логика. Введение. Проблема определения понятия "алгоритм. Понятие алгоритма. Формализация понятия алгоритмов. Теория алгоритмов. История конечных автоматов: машина Поста и машина Тьюринга. Детерминированные конечные автоматы. Представление детерминированного...

Автор - студентка АГПИ, Арзамас, 2011, 43стр. Содержание: Неформальное понятие алгоритма Основные требования к алгоритмам Необходимость в математическом уточнении понятия алгоритма Нормальные алгоритмы Маркова Марковские подстановки Нормальные алгоритмы и их применение к словам Нормально вычислимые функции и принцип нормализации Маркова Совпадение класса всех нормально...

БФУ им. И. Канта специальность математика, 3 курс, 13 страниц. Содержит следующие разделы: Введение. Теорема о неподвижной точке. Теорема о неподвижной точке с параметром. Применение теоремы о неподвижной точке. Список литературы.

Введение. Теорема о неподвижной точке. Неподвижная точка и отношения эквивалентности. Системный трюк: ещё одно доказательство. Несколько замечаний. Практическая часть. Заключение. Список литературы.

Определение кванторов, Аксиомы кванторных теорий, Свойства кванторов, Типовые кванторы, Обобщенные позитивно-образованные формулы (ПОФ), Граф позитивно-образованной формулы, Алгоритм метода редукции (алгоритм построения ), Теорема редукций, Исключение независимых типовых кванторов -27 стр