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

サンクトペテルブルク工科大学(Peter the Great St. Petersburg Polytechnic University) による Математическая логика. Политехнический взгляд の受講者のレビューおよびフィードバック

コースについて

Современная математическая логика - обширная, сложная и разнообразная область знаний. Мы рассмотрим в курсе самую простую ее часть - логику высказываний. Методы, приемы решения задач логики высказываний составляют базис всей математической логики. На примере этой логики мы познакомим вас с основными задачами математической логики: проверка истинности высказывания при конкретных значениях переменных, эквивалентность двух высказываний, проверка на логическое следствие. Для твердого математического фундамента в курсе изучается математическая модель логики высказываний - двоичные функции, операции с ними, канонические формы, минимизация двоичных функций, их эффективное представление при программировании. Также в курсе затрагиваются вопросы формализации высказываний на естественном языке. Применение логики высказываний продемонстрируем на задаче программирования в логических ограничениях. К широко известным примерам таких задач относится задача Эйнштейна: "В пяти домах живет пять человек разной национальности..." Эти задачи, например, входят в состав алгоритмов работы интеллектуальных агентов. Наш курс отражает инженерный, политехнический подход. Это означает, что курс насыщен различными примерами из жизни, прикладными задачами, практическими случаями использования математической логики. Если вы хотите повысить свою квалификацию как программиста, инженера, политехника, наш курс - для вас....
フィルター: