Математическая логика. Политехнический взгляд

Современная математическая логика - обширная, сложная и разнообразная область знаний. Мы рассмотрим в курсе самую простую ее часть - логику высказываний

Математическая логика. Политехнический взгляд
Цена
1799
6 недель6 недель
Бесплатное ознакомлениеБесплатное ознакомление
СертификатСертификат
РусскийРусский
Политех
Coursera

Описание:

Методы, приемы решения задач логики высказываний составляют базис всей математической логики.  На примере этой логики мы познакомим вас с основными задачами математической логики: проверка истинности высказывания при конкретных значениях переменных, эквивалентность двух высказываний, проверка на логическое следствие.  Для твердого математического фундамента в курсе изучается математическая модель логики высказываний - двоичные функции, операции с ними, канонические формы, минимизация двоичных функций,  их эффективное представление при программировании. Также в курсе затрагиваются вопросы формализации высказываний на естественном языке. 

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

Наш курс отражает инженерный, политехнический подход. Это означает, что курс насыщен различными примерами из жизни, прикладными задачами, практическими случаями использования математической логики. Если вы хотите повысить свою квалификацию как программиста, инженера, политехника, наш курс - для вас. 

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

  1. Введение 
  2. Булевы функции 
  3. Нормальные формы представления булевых функций 
  4. Бинарные решающие диаграммы 
  5. Основные понятия логики высказываний 
  6. Логическое следствие и логический вывод в логике высказываний 
  7. Методы проверки выполнимости логических формул