| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Соколов Дмитрий Олегович.
Несколько слов о сложности доказательств / Соколов Дмитрий Олегович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 69-72. - Библиогр.: с. 71-72 (9 назв.).
Несколько слов о сложности доказательств / Соколов Дмитрий Олегович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 69-72. - Библиогр.: с. 71-72 (9 назв.).
Ключевые слова: Санкт-Петербург, город, Доказательства, Теория сложности, Системы доказательств, Метод резолюций
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455301
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151499t.pdf
Подробнее
Аннотация: Теория сложности доказательств изучает длины доказательств пропозициональных формул. За последние тридцать лет в данной области произошло ряд существенных прорывов, а также были открыты новые связи с другими разделами теории сложности вычислений. Мы рассмотрим, как основные задачи теории сложности доказательств, так и примеры применений.