Ученые физики на вебинаре обсудили работу системы Coq
В университете 21 апреля состоялся семинар «Автоматизированное построение и проверка математических доказательств», участие в котором принял представитель Луганского национального университета имени Тараса Шевченко.Онлайн-конференция прошла в рамках реализации Порядка проведения государственных интеграционных мероприятий Министерства образования и науки Луганской Народной Республики при участии ассистента кафедры высшей математики и методики преподавания математики Института физики, математики и информационных технологий университета Александра Тищенко и при поддержке международного отдела ЛНУ имени Тараса Шевченко.
Спикером выступил кандидат физико-математических наук, старший научный сотрудник Математического института им. В.А. Стеклова РАН и Международной лаборатории интеллектуальных систем и структурного анализа ФКН НИУ ВШЭ Степан Кузнецов.
В ходе доклада рассматривался инструмент автоматизированного построения и проверки доказательств – система Coq и ее применение для разработки программных продуктов, корректность работы которых доказана формально, и которые предназначены для использования в критических ситуациях.
Международный отдел ЛН имени Тараса Шевченко