Профессор Университета Западной Австралии Марк Рейнольдс прочитал лекции на факультете компьютерных наук и факультете математики

Марк Рейнольдс - профессор, руководитель школы компьютерных наук и программной инженерии   Унивеситета Западной Австралии, соавтор фундаментальной двухтомной монографии "Темпоральная логика: математические основания и вычислительные аспекты", ведущий специалист в данной области.

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

 

Профессор Марк Рейнольдс (Mark Reynolds) известен своими многочисленными исследованиями, книгами и статьями в области логик и систем вывода. В рамках сотрудничества с Международной Научно-Учебная Лабораторией Интеллектуальных Систем и Структурного Анализа Проф. Рейнольдс прочитал 4 лекции о разработанных им алгоритмах. 

• Новый алгоритм на основе табличных исчислений (tableaux) для линейных темпоральных логик
• Быстрый алгоритм на основе табличных исчислений (tableaux) для ветвящихся темпоральных логик
• Синтез для монадической логики над вещественными числами
• Разрешимость двумерного пространства-времени Минковского.

Две лекции проводились в рамках семинара МНУЛ ИССА. Лекции проводились на английском языке.