Секция по математическа логика, Институт по математика и информатика, БАН
Място: |
|
Зала 503 в сградата на ИМИ Институт по математика и информатика |
Време: |
|
19 декември, 2007 г., от 14 00 часа |
1400-1405 |
|
Откриване |
|
|
Председател: ст. н. с. Любомир Иванов |
||||
1405-1435 |
|
Топология и патология на комбинаторните алгебри (Topology and Pathology of Combinatory Algebras) |
|
ст. н. с. д-р Йордан Зашев |
1435-1505 |
|
Некласически операции, скрити в класическата логика (Non-classical Operations Hidden in Classical Logic) |
|
ст. н. с. д-р Владимир Сотиров |
1505-1535 |
|
ATL с епистемичен оператор за миналото и равномерни стратегии спрямо разпределеното знание (Alternating Time Temporal Logic with Knowledge of the Past and Uniform Strategies wrt Distributed Knowledge) |
|
н. с. д-р Димитър Гелев |
1535-1605 |
|
Втори опит за формализация на играта Морски шах (Second attempt for formalisation of Tick-Tack-Toe game) |
|
мат. Димитър Добрев |
1605-1625 |
|
пауза |
|
|
|
|
Председател: ст. н. с. Владимир Сотиров |
|
|
1625-1655 |
|
Оптимални подредби на буквите върху клавиатурата на мобилен телефон (Optimal Keyboard Layouts for Mobile Phones) |
|
проф. д.м.н. Димитър Скордев |
1655-1725 |
|
Заключителна дискусия |
|
|