Отделение математической логики (Болгарская академия наук) - Department of Mathematical Logic (Bulgarian Academy of Sciences)

В Кафедра математической логики на Болгарская академия наук был создан Институт математики и информатики во исполнение Постановления Правительства №0. 236 от 3 ноября 1959 г.

Его первым председателем был Боян Петканчин (1907–87), которые работали над продвижением и распространением знаний о математическая логика как в профессиональном математический сообщество в Болгария и, как научно-популярный.

Владимир Сотиров и Радослав Павлов присоединились к отделению в 1970 году, за ними следуют Георгий Гаргов, Анатолий Буда, Любомир Иванов, Славян Радев и Соломон Пасси в 1976-89 гг. В 1996-2000 годах к отделу присоединились Димитер Добрев, Йордан Зашев и Димитар Гелев.

С 1971 по 1989 г. кафедра была объединена с соответствующим отделением факультета математики и информатики в г. Софийский университет, с Димитер Скордев возглавляет интегрированную структуру с 1971 года. В 1989 году институциональные отношения с Софийский университет был выделен, а кафедра возобновлена как подразделение Института математики и информатики, которым с тех пор руководил Любомир Иванов.

Логики Богдан Дянков, Христо Смоленов Веселин Петров и Марион Мирчева оставались на кафедре в течение различных периодов времени, все они из Института философии Болгарская академия наук после того, как последний был распущен из-за диссидент деятельность его членов в 1989 г.

Исследования кафедры в основном находятся в области алгебраический теория рекурсии, модальный, временный и другие неклассическая логика, а также логическое программирование включая разработку версии Пролог язык программирования. Кафедра также разработала Оптимизированная система принята в качестве официальной национальной системы для Романизация из болгарский, и в конечном итоге кодифицированный болгарским Закон транслитерации в 2009 году. Совместный межведомственный проект под руководством департамента внес свой вклад в разработку и внедрение нового болгарского фонетический раскладка клавиатуры за персональные компьютеры и мобильные телефоны.

Помимо исследовательской деятельности сотрудники кафедры имеют обширную преподавательскую практику на различных факультетах Софийский университет а также другие болгарские университеты. Некоторые сотрудники кафедры заслужили общественное признание за свою неакадемическую деятельность. Сотиров, Иванов, и Пасси были возвращены Депутаты в VII Великое национальное собрание на стороне Союз демократических сил и стал соавтором нового Конституция Болгарии.

В 2011 году кафедры математической логики и алгебры были объединены в кафедру алгебры и логики Института математики и информатики Болгарской академии наук.

Отделение математической логики (Болгарская академия наук) - Department of Mathematical Logic (Bulgarian Academy of Sciences)

Рекомендации