Пошук академічних текстів

Інформація × Реєстраційний номер 0414U001434, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 27-02-2014 Статус Запланована Назва роботи Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу. Здобувач Тимофєєв Валентин Георгійович, Керівник Нікітченко Микола Степанович Опонент Яджак Михайло Степанович Опонент Єршов Сергій Володимирович Опис Композиційно-номінативні логіки є узагальненням класичних логік на класи часткових предикатів та функцій з нефіксованою арністю. Такі логіки видаються адекватним формалізмом для побудови формальних моделей програм та проведення міркувань над ними. В роботі розглядаються пропозиційні, реномінативні, кванторні, чисті першопорядкові, першопорядкові, багатосортні чисті першопорядкові та багатосортні першопорядкові композиційно-номінативні логіки. Для логік вказаних типів запропоновано методи перевірки виконуваності формул, доведено їх коректність та сформульовано алгоритми такої перевірки. Принциповою ідеєю побудованих алгоритмів є зведення задачі перевірки виконуваності формули в композиційно-номінативній логіці до аналогічної задачі для класичних логік. Дата реєстрації 2014-02-27 Додано в НРАТ 2020-04-04 Закрити