Секция по математическа логика, Институт по математика и информатика, БАН
Място: |
|
Mултимедийната зала на ИМИ Институт по математика и информатика |
Време: |
|
22 декември, 2005 г., от 14 00 часа |
1400-1405 |
|
Откриване |
|
|
1405-1425 |
Българско картографиране и описание на Антарктически географски обекти през 2005 г. (Bulgarian Mapping and Description of Antarctic Geographical Features in 2005) |
ст. н. с. д-р Любомир Иванов |
||
|
|
Председател: ст. н. с. д-р Любомир Иванов |
|
|
1425-1445 |
|
Някои актуални въпроси на алгебричната теория на рекурсията (Some Current Topics in Algebraic Recursion Theory) |
|
ст. н. с. д-р Йордан Зашев |
1445-1505 |
|
Едно отношение на сводимост между итеративни комбинаторни пространства (A Notion of Reducibility between Iterati ve Combinatory Spaces) |
|
проф. д.м.н. Димитър Скордев, Софийски университет |
1505-1515 |
|
освежаващи напитки и бисквити |
|
|
1515-1545 |
|
Синтезиране на ограничени модификации посредством игри (Synthesising Features by Games, joint work with Mark Ryan and Pi erre Yves Schobbens) |
|
н. с. д-р Димитър Гелев |
1545-1630 |
|
Формална дефиниция на изкуствен интелект (Formal Definition of Artificial Intelligence) |
|
мат. Димитър Добрев |
1630-1700 |
|
освежаващи напитки и бисквити |
|
|
|
|
Председател: ст. н. с. д-р Владимир Сотиров |
|
|
1700-1730 |
|
Разрешимост и сложност на няколко задачи за определимост (Decidability and Complexity of Several Definability Problems) |
|
доц. д-р Тинко Тинчев, Софийски университет |
1730-1800 |
|
Равномерна сводимост (Uniform Reducibility) |
|
проф. д.м.н. Иван Сосков, Софийски университет |
1800-1820 |
|
Релативизирани спектри на структури (Relativized Degree Spectra of Structures) |
|
доц. д-р Александра Соскова, Софийски университет |
1820-1900 |
|
Заключителна дискусия |
|
|