Секция по математическа логика, Институт по математика и информатика, БАН
Годишна отчетна сесия 2009
Програма

Място:

 

Зала 503
Институт по математика и информатика
бул. Акад. Г. Бончев, бл. 8, София

Време:

 

18 декември, 2009 г., от 1000 часа

 

 

1000-1005

 

Откриване

 

 

1005-1025

 

Новият национален стандарт за транслитерация на българския език (The New National Standard for the Romanization of Bulgarian)

 

ст. н. с. д-р Любомир Иванов, съвместна работа с Димитър Скордев и Димитър Добрев

 

 

Председател: ст. н. с. д-р Любомир Иванов

 

 

1025-1045

 

Кога Талес е пресметнал височината на
пирамидата
? (When Did Thales Measure the Pyramid Height?)

 

ст. н. с. д-р Владимир Сотиров

1045-1105

 

Квадратична итерация, нормална форма, сложност (Quadratic Iteration, Normal Form and Complexity)

 

ст. н. с. д-р Йордан Зашев

1105-1125

 

Проверка на процеси с крайно управление в π-смятането за свойства от предикатните линейна и интервална темпорални логики (Model Checking Predicate LTL and ITL Properties of Finite Control π-Calculus Processes)

 

ст. н. с. д-р Димитър Гелев, съвместна работа с Mads Dam

1125-1145

 

Доклад на тема Изкуствен Интелект (One talk about the Artificial Intelligence)

 

мат. Димитър Добрев

 

 

Заключителна дискусия