Laboratory of Mathematical Logic at PDMI

Пятница, 22 ноября, комната 106. Начало в 16:30.

Докладчик: В. П. Оревков.

СТАРЫЕ и НОВЫЕ МЕТОДЫ АВТОМАТИЧЕСКОГО ПОИСКА ДОКАЗАТЕЛЬСТВ (цикл лекций)
Основное внимание в первой лекции будет уделено разрешимости теории вещественных чисел и теории сложения натуральных чисел.
В дальнейшем будут рассмотрены:
1. Генценовские секвенциальные исчисления. 2. Метод резолюций. 3. Обратный метод.
Будут описаны новые тактики поиска доказательств как для метода резолюций, так и для обратного метода.