О проблеме распознавания расширений для пропозициональных исчисленийтезисы доклада

Работа с тезисами доклада


[1] Боков Г. В. О проблеме распознавания расширений для пропозициональных исчислений // Материалы Международного молодежного научного форума ЛОМОНОСОВ-2015. — Секция Математика и механика, Подсекция Дискретная математика и математическая кибернетика. — МАКС Пресс (ISBN 978-5-317-04946-1) Москва, 2015. В работе доказана алгоритмическая неразрешимость проблемы распознавания расширений для любого пропозиционального исчисления с непустым множеством аксиом, правилами вывода которого являются операция modus ponens и подстановка.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть