![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Логические проблемы теоретической информатики – одна из приоритетных тем научных исследований кафедры логики. За последние годы на кафедре защищен ряд дипломов и несколько диссертаций по указанной теме. Разработаны алгоритмы поиска вывода для классической и некоторых неклассических (релевантной, паранепротиворечивой, интуиционистской и др.) логик, а также для разнообразных силлогистических теорий. Назначение научной работы по данной теме – описать (автоматические) процедуры поиска вывода и исследовать метатеоретические свойства указанных процедур (конечность, непротиворечивость, полнота, сложность и т.д.). Данная научная работа дополняется компьютерной автоматизацией перечисленных процедур, которая осуществляется кафедрой совместно с Лабораторией информационных методов в гуманитарном образовании. Достигнутые в ходе научной работы результаты используются в педагогическом процессе при чтении общего и специализированных курсов.
Были изучены системы параполной логики, предложены исчисления натурального типа для этих логик. Особое внимание было уделено алгоритмическим проблемам поиска вывода и поиска контрмодели в указанных исчислениях. Также исследованы перспективы приложения данных процедур в различных областях логики и теоретической и прикладной информатики.
госбюджет, раздел 0110 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2014 г.-31 декабря 2014 г. | Логические проблемы теоретической информатики |
Результаты этапа: Исследования по этой проблематике вели доц. В.М. Попов и к.ф.н. В.О. Шангин. Были изучены системы параполной логики, предложены исчисления натурального типа для этих логик. Особое внимание было уделено алгоритмическим проблемам поиска вывода и поиска контрмодели в указанных исчислениях. Также исследованы перспективы приложения данных процедур в различных областях логики и теоретической и прикладной информатики. |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".