Агрегатор курсов
Программирование Тестирование Дизайн Маркетинг Аналитика Управление
Войти
Stepik

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

ОНЛАЙН
бесплатно
в любое время
Перейти на сайт

Описание

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

Программа курса

  • Миссия математической логики
  • Основы теории множеств
  • Пропозициональная логика
  • Языки первого порядка
  • Аксиоматический метод
  • Математическое доказательство
  • Теория алгоритмов
  • Итоговый тест по курсу

Преподаватель курса профессор кафедры «Компьютерные системы в управлении и проектировании» ТУСУР, кандидат физ.-мат. наук, старший научный сотрудник.

Отзывы

Отзывов ещё нет — станьте первым.

Похожие курсы

Udemy
"Привет, ЭКСПЕРТ!"- Курс№6. Arduino-робототехника.Часть1
онлайн
бесплатно
в любое время
Udemy
.NET Core Первые шаги
онлайн
1 490 ₽
в любое время
Нетология
1C программирование с нуля: как попасть в востребованную профессию
онлайн
бесплатно
в любое время
менее 1 дня
Мы в соцсетях
ШколамБлогО сервисеОбратная связь
Политика конфиденциальностиПользовательское соглашение