Математическая логика и теория алгоритмов: 4.2 Термы и формулы

Перейти к основному содержанию

Вы не вошли в систему Вход
Выход

4.2 Термы и формулы

00:00/00:00

00:00

Скорость

Обычная

Назад к содержанию

Пропустить Навигация

Навигация

СОДЕРЖАНИЕ КУРСА

Общее

Форум
Автор курса

Введение

Введение
Программа курса

1. Миссия математической логики

1.1 Что такое логика
Конспект лекции
Презентация
Cамоконтроль
1.2 Что такое математика
Конспект лекции
Презентация
Самоконтроль
1.3 Софизмы и парадоксы
Конспект лекции
Презентация
Самоконтроль
1.4 Математическая логика
Конспект лекции
Презентация
Самоконтроль
1.5 Становление логики
Конспект лекции
Презентация
Самоконтроль
1.6 Начало математической логики
Конспект лекции
Презентация
Самоконтроль
1.7 Математическая логика в своем блеске и великолепии
Конспект лекции
Презентация
Самоконтроль
Литература
Итоговый тест

2. Основы теории множеств

2.1 Интуитивная теория множеств
Конспект лекции
Презентация
Самоконтроль
2.2 Операции над множествами
Конспект лекции
Презентация
Самоконтроль
2.3 Отношения
Конспект лекции
Презентация
Самоконтроль
2.4 Специальные свойства отношений
Конспект лекции
Презентация
Самоконтроль
2.5 Эквивалентность и порядок
Конспект лекции
Презентация
Самоконтроль
2.6 Функции (отображения)
Конспект лекции
Презентация
Самоконтроль
Литература
Итоговый тест

3. Пропозициональная логика

3.1 Высказывания и высказывательные формы
Конспект лекции
Презентация
Самоконтроль
3.2 Пропозициональные логические связки
Конспект лекции
Презентация
Самоконтроль
3.3 Язык логики высказываний
Конспект лекции
Презентация
Самоконтроль
3.4 Тавтологии
Конспект лекции
Презентация
Самоконтроль
3.5 Равносильности
Конспект лекции
Презентация
Самоконтроль
Литература
Итоговый тест

4. Языки первого порядка

4.1 Предикаты и кванторы
Конспект лекции
Презентация
Самоконтроль
4.2 Термы и формулы
Конспект лекции
Презентация
Самоконтроль
4.3 Интерпретация формул
Конспект лекции
Презентация
Самоконтроль
4.4 Формулы общезначимые, выполнимые, логически эквивалентные
Конспект лекции
Презентация
Самоконтроль
4.5 Перевод с естественного языка на логический и обратно
Конспект лекции
Презентация
Самоконтроль
4.6 Примеры перевода с естественного языка на логический и обратно
Конспект лекции
Презентация
Самоконтроль
Литература
Итоговый тест

5. Аксиоматический метод

5.1 Аксиоматическое построение математических теорий
Конспект
Презентация
Самоконтроль
5.2 Формальные аксиоматические теории
Конспект
Презентация
Самоконтроль
5.3 Исчисление высказываний
Конспект
Презентация
Самоконтроль
5.4. Теории первого порядка
Конспект
Презентация
Самоконтроль
5.5. Примеры формальных аксиоматических теорий
Конспект
Презентация
Самоконтроль
Литература
Итоговый тест

6. Математическое доказательство

6.1 Индуктивное рассуждение
Конспект
Презентация
Самоконтроль
6.2 Математическая индукция
Конспект
Презентация
Самоконтроль
6.3 Различные виды доказательств в математике
Конспект
Презентация
Самоконтроль
6.4 Компьютерные доказательства
Конспект
Презентация
Самоконтроль
Литература
Итоговый тест

7. Теория алгоритмов

7.1 Неформальная вычислимость и машины Тьюринга
Конспект
Презентация
Самоконтроль
7.2 Частично-рекурсивные функции
Конспект
Презентация
Самоконтроль
7.3 Тезис Черча
Конспект
Презентация
Самоконтроль
7.4 Некоторые алгоритмически неразрешимые проблемы
Конспект
Презентация
Самоконтроль
7.5. Асимптотические обозначения
Конспект
Презентация
Самоконтроль
7.6 Алгоритмы и их сложность
Конспект
Презентация
Самоконтроль
7.7 Сложность задач
Конспект
Презентация
Самоконтроль
Литература
Итоговый тест

Итоговый тест

Итоговый тест

Факультет дистанционного обучения ТУСУР