Математическая логика и теория алгоритмов

Авторский курс, разработанный с учетом потребностей и возможностей аудитории разных возрастов и уровня подготовки. Материал достаточно сложный, но преподнесен понятным и доступным языком, а также иллюстрирован оригинальными и разнообразными примерами и пояснениями. Простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики и применить ее в реальной жизни.

Авторы курса

Валентин Михайлович Зюзьков

Содержание

Скрыть все темы

Тематический план

Общее
- Форум
- Автор курса Добавить автора
Введение
- Введение Пакет IMS содержимого
- Программа курса Пакет IMS содержимого
1. Миссия математической логики
- 1.1 Что такое логика Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Cамоконтроль Тест
- 1.2 Что такое математика Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 1.3 Софизмы и парадоксы Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 1.4 Математическая логика Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 1.5 Становление логики Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 1.6 Начало математической логики Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 1.7 Математическая логика в своем блеске и великолепии Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
2. Основы теории множеств
- 2.1 Интуитивная теория множеств Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 2.2 Операции над множествами Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 2.3 Отношения Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 2.4 Специальные свойства отношений Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 2.5 Эквивалентность и порядок Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Дополнительные материалы
- Самоконтроль Тест
- 2.6 Функции (отображения) Видеофайл
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
3. Пропозициональная логика
- 3.1 Высказывания и высказывательные формы Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 3.2 Пропозициональные логические связки Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 3.3 Язык логики высказываний Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 3.4 Тавтологии Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 3.5 Равносильности Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
4. Языки первого порядка
- 4.1 Предикаты и кванторы Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 4.2 Термы и формулы Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 4.3 Интерпретация формул Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 4.4 Формулы общезначимые, выполнимые, логически эквивалентные Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 4.5 Перевод с естественного языка на логический и обратно Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- 4.6 Примеры перевода с естественного языка на логический и обратно Видеофайл
- Дополнительные материалы
- Конспект лекции Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
5. Аксиоматический метод
- 5.1 Аксиоматическое построение математических теорий Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 5.2 Формальные аксиоматические теории Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 5.3 Исчисление высказываний Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 5.4. Теории первого порядка Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 5.5. Примеры формальных аксиоматических теорий Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
6. Математическое доказательство
- 6.1 Индуктивное рассуждение Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 6.2 Математическая индукция Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 6.3 Различные виды доказательств в математике Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 6.4 Компьютерные доказательства Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
7. Теория алгоритмов
- 7.1 Неформальная вычислимость и машины Тьюринга Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 7.2 Частично-рекурсивные функции Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 7.3 Тезис Черча Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 7.4 Некоторые алгоритмически неразрешимые проблемы Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 7.5. Асимптотические обозначения Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 7.6 Алгоритмы и их сложность Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- 7.7 Сложность задач Видеофайл
- Дополнительные материалы
- Конспект Файл
- Презентация Файл
- Самоконтроль Тест
- Литература Пакет IMS содержимого
- Итоговый тест
Итоговый тест
- Итоговый тест

Назад к списку курсов