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

Място:

 

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

Време:

 

10 декември, 2004 г., от 14 часа

 

1400-1405

 

Откриване

 

 

 

 

Председател: Владимир Сотиров

 

 

 
1405-1505

 

Разпределения и рекурсивни многообразия

 

Йордан Зашев

 
1505-1525

 

Най-простото известно подмножество на смятането на продължителностите, което не допуска рекурсивна аксиоматизация

 

Димитър Гелев

 
1525-1545

 

Обратима транслитерация за български и руски език

 

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