Секция
по логика, Институт по математика и
информатика, БАН
Годишна
отчетна сесия 2001
Програма
Място: | Семинарна зала 503,
етаж 5 Институт по математика и информатика бул. Акад. Г. Бончев, бл. 8, София |
|
Време: | 20 декември, 2001 г., от 14 часа |
1400-1405 |
Откриване | |||
Председател: Любомир Иванов | ||||
1405-1425 |
Някои свойства на полето на примитивно-рекурсивните реални числа | Димитър Скордев, ФМИ | ||
1425-1445 |
Относно отрицанието, скрито в класическата импликация | Владимир Сотиров | ||
1445-1505 |
Изразимост на оператора “префикс” във фрагменти на разширения на смятането на продължителностите | Димитър Гелев | ||
1505-1525 | TBA | Димитър Добрев | ||
1525-1620 |
кафе, чай и допълнения |