Главная Ответы на вопросы по математической логике Ответы на вопросы по математической логике Количество строк: № Заголовок материала 1 Сентенциональные связки 2 Таблицы истинности 3 Истинностные функции. Исчисления высказывания 4 Общезначимость (тавтология) в исчислении высказываний. 5 Эквивалентность высказываний. Основные теоремы об эквивалентности 6 Негатив формулы. Теорема о негативе 7 Логические следствия 8 Основные теоремы о логических следствиях в исчислении высказываний. 9 Метод доказательства от противного. Противоречия 10 Теоремы о противоречии 11 Основные понятия теории исчисления предикатов. 12 Простые и составные формулы исчисления предикатов. Область действия предикатов 13 Свободные и связные переменные. 14 Приписывания истинностных значений в исчислении предиката 15 Общезначимость в исчислении предикатов 16 Основные теоремы общезначимости в исчислении предикатов 17 Машина Тьюринга — Поста. 18 Различные подходы к определению алгоритма: 19 Машина с неограниченными регистрами (МНР). 20 Нормальные алгоритмы Маркова. 21 Реализация функции натурального переменного. 22 Эквивалентность трех подходов к понятию алгоритм. 23 Булевы функции. Основные определения 24 Дизъюнктивные нормальные формы. 25 Логические Исчисления. Исчисления высказывания (ИВ). 26 Критерий выводимости в ИВ. 27 Непротиворечивость ИВ. 28 Формальные исчисления. 29 Предикаты и кванторы. Определение предиката. 30 Понятие квантора. 31 Геометрическая интерпретация навешивания кванторов. 32 Логика высказываний 33 Логические операции 34 Правила записи сложных формул 35 Законы алгебры логики 36 Правила вывода 37 Правила подстановки 38 Правила введения и удаления логических связок 39 Правила заключения 40 Метод дедуктивного вывода 41 Принцип резолюции 42 Алгоритм вывода по принципу резолюции 43 Проблемы в исчислении высказываний 44 Описание высказываний на языке PROLOG 45 Логика предикатов 46 Алгебра предикатов 47 Логические операции 48 Правила записи сложных формул 49 Законы алгебры предикатов 50 Предваренная нормальная форма 51 Алгоритм приведения формулы к виду ПНФ 52 Сколемовская стандартная форма 53 Алгоритм Сколема 54 Исчисление предикатов 55 Интерпретация формул 56 Правила вывода 57 Правила подстановки 58 Правила введения и удаления кванторов 59 Правила заключения 60 Метод дедуктивного вывода 61 Принцип резолюции 62 Проблемы в исчислении предикатов 63 Логическое программирование
