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