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

41
thumbnail

О курсе

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

Наряду с рассмотрением сложных вопросов на достаточно строгом уровне, курс содержит множество примеров и пояснений, которые помогут усвоить трудные понятия и проблемы

Для кого курс?

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

Как проходит обучение

  • Регистрируйтесь
  • Смотрите видеолекции
  • Решите, нужен ли вам сертификат

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

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

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

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

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

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

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

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

Длительность курса 8 недель

Ссылка: https://www.lektorium.tv/mathlogic