Перейти к основному содержанию
MOOC MOOC
  • Вы используете гостевой доступ (Вход)

Введение

Требуемые условия завершения
  • Введение
Назад к содержанию
Пропустить Навигация
Навигация

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

  • Общее
  • Форум
  • Автор курса
  • Введение
  • Введение
  • Программа курса
  • 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 Сложность задач
  • Конспект
  • Презентация
  • Самоконтроль
  • Литература
  • Итоговый тест
  • Итоговый тест
  • Итоговый тест
Оценки

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