Диссертация (Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова), страница 33
Описание файла
Файл "Диссертация" внутри архива находится в папке "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова". PDF-файл из архива "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова", который расположен в категории "". Всё это находится в предмете "физико-математические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве СПбГУ. Не смотря на прямую связь этого архива с СПбГУ, его также можно найти и в других разделах. , а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата физико-математических наук.
Просмотр PDF-файла онлайн
Текст 33 страницы из PDF
Данные о количестве решенных задач с различнымрейтингом ILTP позволяют судить о степени сложности этих задач: чем вышерейтинг ILTP, тем меньше программ АЛВ для интуиционистской логикиспособны решить задачу.223Таблица Г.2. Сводные данные о решенных задачахПараметрЗадач решеноПроцент решенных задачДоказаноОпровергнутоЗадач решено за 0–1 секундуЗадач решено за 1–10 секундЗадач решено за 10–100 секундКоличество решенных задач с рейтингом ILTP, равным 0Количество решенных задач с рейтингом ILTP 0,01–0,33Количество решенных задач с рейтингом ILTP 0,33–0,67Количество решенных задач с рейтингом ILTP 0,68–1Значение81131,862119066059922079593416В таблице Г.3 приведено количество задач, решенных программойWhaleProver в разных доменах ILTP.Таблица Г.3.
Распределение решенных задач по доменам ILTPКод доменаILTPALGCOMGEJGEOGPJHALKRSLCLMGTNLPPUZSETSWCSWVSYJSYNTOPНазвание доменаАлгебраТеория алгоритмовГеометрия в аксиоматике Яна вон ПлатоГеометрияТеория группГомологическая алгебраПредставление знанийЛогические исчисленияТеория управленияОбработка естественного языкаГоловоломкиТеория множествСинтез ПОВерификация ПОРазнотипные задачи для интуиционистскихпрограмм АЛВРазнотипные задачиТопологияКоличестворешенных задач6311813191321764391791542092.