Онлайн-курс

Введение в логику

Онлайн-курс
2 месяца
Бесплатно
Регистрация
В любое время
Описание курса

Курс-введение в логику с вычислительной точки зрения. Он показывает, как кодировать информацию в виде логических предложений, как работать с информацией, и предоставляет обзор технологии логики в математике, естественных науках, инженерии, бизнесе, юриспруденции и так далее. Язык — английский. Есть русские субтитры.

Программа курса
  • Lesson 1 — Introduction
  • Lesson 2 — Propositional Logic
  • Lesson 3 — Propositional Analysis
  • Lesson 4 — Propositional Proofs
  • Lesson 5 — Propositional Resolution
  • Lesson 6 — Relational Logic
  • Lesson 7 — Relational Analysis
  • Lesson 8 — Relational Proofs
  • Lesson 9 — Herbrand Logic
  • Lesson 10 — Herbrand Proofs
  • Lesson 11 — Induction
  • Lesson 12 — Resolution
  • Supplementary Material
По окончании обучения выдается сертификат
Зарегистрируйтесь на сайте организатораРегистрация
Расскажите о мероприятии друзьям

Комментарии

Комментировать