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

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

Математическая логика и теория алгоритмов
Бесплатно
64 урока64 урока
Сертификат гос. образцаСертификат гос. образца
РусскийРусский
Stepik

Описание:

Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков — их неточность, многозначность и сложность.

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

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

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

  1. Что такое логика
  2. Что такое математика
  3. Софизмы и парадоксы
  4. Математическая логика
  5. Становление логики
  6. Начало математической логики
  7. Математическая логика в своем блеске и великолепии
  8. Дополнительные вопросы для обсуждения
  9. Рекомендуемая литература к главе 1
  10. Итоговый тест по главе 1