Полное название: Математическая логика лекции
Описание материала:
Лекции по дисциплине «математическая логика», представленные в виде 5 файлов формата .doc. Включают в себя такие разделы, как:
- Формальная логика.
- Логические операторы.
- Алфавит и формулы алгебры высказываний.
- Исчисление высказываний.
- Тавтологии.
- Правила следования.
- Логика предикатов.
- Кванторы.
- Нечеткие множества и нечеткая логика.
- Интерпретации.
- Теория алгоритмов.