Секция
по
математическа
логика,
Институт по
математика и
информатика,
БАН
Годишна
отчетна
сесия 2009
Програма
Място: |
|
Зала 503 |
Време: |
|
18
декември, 2009 г., от 1000
часа |
1000-1005 |
|
Откриване |
|
|
1005-1025 |
|
Новият
национален
стандарт за
транслитерация
на
българския
език (The New National Standard
for the Romanization of Bulgarian) |
|
ст. н. с. д-р
Любомир
Иванов,
съвместна
работа с Димитър
Скордев и Димитър
Добрев |
|
|
Председател: ст. н. с. д-р Любомир Иванов |
|
|
1025-1045 |
|
Кога
Талес е
пресметнал
височината
на |
|
ст. н. с. д-р Владимир Сотиров |
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) |
|
мат. Димитър Добрев |
|
|
Заключителна дискусия |
|
|