• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

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

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

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