Научен календар

Flat View
Вижте по година
Месечен
Вижте по месец
Weekly View
Вижте по седмица
Daily View
Днес
Search
Търси

Семинар "Алгебра и логика"

Петък, 27. Март 2015, 11:00
Клика : 623

 

СЕМИНАР „АЛГЕБРА И ЛОГИКА”

Следващото заседание на семинара ще се проведе на 27 март 2015 г. (петък) от 11:00 часа в зала 578 на ИМИ – БАН.
Доклад на тема

Има само един основен оператор за проекция в интервалната темпорална логика с дискретно време

ще изнесе доц. Димитър Гелев.

Поканват се всички желаещи.

Резюме:

В доклада правя обзор на операторите за темпорална проекция в интервалната темпорална логика с дискретно време (ITL) на Мошковски, започвайки от предложения в работата на Зоар Манна, Джоузеф Халперн и Бен Мошковски през 1983 г. Операторите за проекция са удобно изразно средство при извод на свойства на системи времеделение и конкурентни системи изобщо. Показвам, че в система с оператора, предложен през 1983 г. всички по-нови оператори (два, плюс един с друго название, но със сходни математически свойства) могат да се считат за съкращения, т.е., изразими са с подходящи формули на ITL. Оттук автоматично следват част от основните резултати за тези оператори.

 

Данни за контакт: Секция „Алгебра и логика” на ИМИ – БАН, http://www.math.bas.bg/algebra/seminarAiL/
Местоположение: Зала 578, ИМИ - БАН