|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О проблеме распознавания расширений для пропозициональных исчисленийтезисы доклада
- Автор: Боков Г.В.
- Сборник: Материалы Международного молодежного научного форума «Ломоносов-2015»
- Редакторы: Андреев А.И., Андриянов Андрей Владимирович, Антипов Евгений Александрович
- Тезисы
- Глава в коллективной монографии
- Год издания: 2015
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Аннотация: В работе доказана алгоритмическая неразрешимость проблемы распознавания расширений для любого пропозиционального исчисления с непустым множеством аксиом, правилами вывода которого являются операция modus ponens и подстановка.
- Добавил в систему: Боков Григорий Владимирович