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