Предмет (дисциплина): Математическая логика


Лекции по математической логике

Полное название: Математическая логика лекции

Описание материала:
Лекции по дисциплине «математическая логика», представленные в виде 5 файлов формата .doc. Включают в себя такие разделы, как:

  • Формальная логика.
  • Логические операторы.
  • Алфавит и формулы алгебры высказываний.
  • Исчисление высказываний.
  • Тавтологии.
  • Правила следования.
  • Логика предикатов.
  • Кванторы.
  • Нечеткие множества и нечеткая логика.
  •  Интерпретации.
  • Теория алгоритмов.

(далее…)