Перейти к содержимому
Topos Uranos
Русский

Уровень 1 · Уроков: 28

Математическая логика I: логика высказываний

Синтаксис, вывод и семантика классического исчисления высказываний.

Содержание курса

Модуль 0Знакомство с курсом

  1. 01Учебный план курса «Математическая логика I»

Модуль 1Язык

  1. 02Язык: введение
  2. 03Что такое математическая логика
  3. 04Язык логики высказыванийС аккаунтом
  4. 05Индукция по натуральным числам и по формуламС аккаунтом
  5. 06Формализация естественного языкаС аккаунтом
  6. 07Язык: итоги и задачи повышенной трудностиС аккаунтом

Модуль 2Вывод

  1. 08Вывод: введениеПодпискаС аккаунтом
  2. 09Формальные дедуктивные системыПодпискаС аккаунтом
  3. 10Четыре приёма выводаПодпискаС аккаунтом
  4. 11Симметрии связокПодпискаС аккаунтом
  5. 12Приёмы классической логикиПодпискаС аккаунтом
  6. 13Законы де Моргана и дистрибутивностиПодпискаС аккаунтом
  7. 14Вывод: итоги и задачи повышенной трудностиПодпискаС аккаунтом

Модуль 3Семантика

  1. 15Семантика: введениеПодпискаС аккаунтом
  2. 16Семантика логики высказыванийПодпискаС аккаунтом
  3. 17Семантическое следование и эквивалентностьПодпискаС аккаунтом
  4. 18Обобщённые законы де Моргана и дистрибутивностиПодпискаС аккаунтом
  5. 19Функциональная полнотаПодпискаС аккаунтом
  6. 20Нормальные формыПодпискаС аккаунтом
  7. 21Алгоритм нормальных форм и его примененияПодпискаС аккаунтом
  8. 22Семантика: итоги и задачи повышенной трудностиПодпискаС аккаунтом

Модуль 4Метатеория

  1. 23Метатеория: введениеПодпискаС аккаунтом
  2. 24Корректность и полнотаПодпискаС аккаунтом
  3. 25Теорема компактностиПодпискаС аккаунтом
  4. 26Метод резолюцийПодпискаС аккаунтом
  5. 27Метатеория: итоги и задачи повышенной трудностиПодпискаС аккаунтом

Модуль 5Завершение курса

  1. 28Итоговый обзор курса «Математическая логика I»ПодпискаС аккаунтом