Предисловие

Введение

• МОЖНО ЛИ ДОВЕРЯТЬ МАТЕМАТИКЕ? | IQ (0мин.)

Глава 1. Классическая логика высказываний

• 1.1. Высказывания (20мин.)
• 1.2. Логические связки высказываний (119мин.)
• 1.3. Исчисление высказываний (119мин.)
• • 1.3.1. Интерпретация формул (40мин.)
  • 1.3.2. Табличный метод исчисления (40мин.)
  • 1.3.3. Метод Квайна (40мин.)
• 1.4. Алгебра логики высказываний (119мин.)
• • 1.4.1. Булева алгебра (20мин.)
  • 1.4.2. Принцип подстановки (20мин.)
  • 1.4.3. Законы булевой алгебры (40мин.)
  • 1.4.4. Нормальные формулы булевых функций (40мин.)
• 1.5. Приложения булевой алгебры (119мин.)
• • 1.5.1. Приложения булевой алгебры в схемотехнике переключателей (79мин.)
  • 1.5.2. Функциональная цифровая схемотехника (40мин.)
• Выводы (20мин.)
• Задачи для самостоятельного решения (40мин.)
• Контрольные вопросы и задания (20мин.)
• Тест:  Классическая логика высказываний (32мин.)

Глава 2. Логика вывода в исчислении высказываний

• 2.1. Аксиоматическая теория высказываний (40мин.)
• 2.2. Методы логического вывода из гипотез (178мин.)
• • 2.2.1. Правила вывода из гипотез в логике высказываний (59мин.)
  • 2.2.2. Методы преобразования формул с использованием правил и законов (99мин.)
• Выводы (20мин.)
• Задачи для самостоятельного решения (20мин.)
• Контрольные вопросы и задания (40мин.)
• Тест:  Логика вывода в исчислении высказываний (20мин.)

Глава 3. Логика предикатов

• 3.1. Исчисление одноместных предикатов (59мин.)
• 3.2. Приложение логики предикатов в теории множеств (99мин.)
• 3.3. Многоместные предикаты (20мин.)
• 3.4. Формулы с кванторами (40мин.)
• 3.5. Нормальные формулы с предикатами (20мин.)
• Выводы (40мин.)
• Задачи для самостоятельного решения (20мин.)
• Контрольные вопросы и задания (40мин.)
• Тест:  Логика предикатов (28мин.)

Глава 4. Вывод в логике предикатов первого порядка

• 4.1. Логика вывода из гипотез в теории первого порядка (20мин.)
• 4.2. Правила вывода в теории предикатов первого порядка (59мин.)
• 4.3. Унификация предикатов при выводе из гипотез (20мин.)
• 4.4. Алгоритм вывода из гипотез с использованием резолюции в логике предикатов (79мин.)
• Выводы (20мин.)
• Задачи для самостоятельного решения (20мин.)
• Контрольные вопросы и задания (40мин.)
• Тест:  Вывод в логике предикатов первого порядка (16мин.)

Глава 5. Применение логики в информатике

• 5.1. Описание компьютерных программ в логике (40мин.)
• 5.2. Верификация (доказательство правильности) программ с помощью математической логики (40мин.)
• 5.3. Логика в теории компьютера (139мин.)
• • 5.3.1. Конструирование машины умножения (59мин.)
  • 5.3.2. Применение логики к верификации алгоритмов (40мин.)
  • 5.3.3. Конструирование микропрограммного управления в логике (20мин.)
• 5.4. Решение задач с прямым использованием логики (119мин.)
• • 5.4.1. Применение логики предикатов в теории графов (59мин.)
  • 5.4.2. Логическое программирование в графике (20мин.)
  • 5.4.3. Приложение логики к вычислениям (процедурная интерпретация логических программ) (40мин.)
• 5.5. Применение логики предикатов в базах данных (40мин.)
• 5.6. Логическое программирование в Прологе (59мин.)
• • 5.6.1. Декларативная (сентенциальная) семантика программ Пролога (20мин.)
  • 5.6.2. Процедурная семантика программ Пролога (40мин.)
• Выводы (20мин.)
• Задачи для самостоятельного решения (40мин.)
• Контрольные вопросы и задания (20мин.)
• Тест:  Применение логики в информатике (18мин.)

Глава 6. Неклассическая логика в приложениях

• 6.1. Вероятностная логика (99мин.)
• • 6.1.1. Исчисление вероятностей (59мин.)
  • 6.1.2. Применение преобразований вероятностной функции в функциональную схему (20мин.)
  • 6.1.3. Приложения к расчету надежности систем (20мин.)
• 6.2. Приложения многозначной логики в моделировании схем (139мин.)
• • 6.2.1. Временное моделирование цифровых схем (40мин.)
  • 6.2.2. Четырехзначное логическое моделирование (79мин.)
• 6.3. Нечеткая логика (337мин.)
• • 6.3.1. Нечеткие множества (59мин.)
  • 6.3.2. Операции с нечеткими множествами (40мин.)
  • 6.3.3. Лингвистическая переменная (99мин.)
  • 6.3.4. Нечеткий логический вывод (79мин.)
  • 6.3.5. Практическое применение нечеткой логики (40мин.)
• 6.4. Логистика (20мин.)
• 6.5. Темпоральная логика (99мин.)
• 6.6. Интервальная логика Аллена (159мин.)
• 6.7. Философская логика (198мин.)
• Выводы (20мин.)
• Задачи для самостоятельного решения (40мин.)
• Контрольные вопросы и задания (20мин.)
• Тест:  Неклассическая логика в приложениях (10мин.)

Заключение

Рекомендуемая литература

Новинки издательства "Юрайт" по дисциплине "Математическая логика" и смежным дисциплинам

Приложение 1

Персоналии

Приложение 2

Лауреаты премии Тьюринга

Приложение 3

Решения задач главы 2

Завершение курса

• Тест:  Итоговое тестирование (50мин.)