Search
Семинар 28 сентября 1999 года
Вторник, 28 сентября, комната 106. Начало в 18:00.
28 сентября.
В.П.Оревков "Обратный метод для скулемовского случая"
АБСТРАКТ
В докладе будет изложен обратный метод поиска вывода для формул в скулемовской нормальной форме (формула находится в скулемовской нормальной форме, если она находится в предваренной форме и в префиксе кванторы существования не следуют за кванторами всеобщности). Будет также доказана разрешимость некоторых классов исчисления предикатов.