Языки и исчисления


         

Языки и исчисления

Примеры выводимых формул
Примеры выводимых формул - 2
Выводимость из посылок
Выводимость из посылок - 2
Переменные и константы
Переменные и константы - 2
Полнота исчисления предикатов
Полнота исчисления предикатов - 2

Полнота исчисления предикатов - 3
Полнота исчисления предикатов - 4
Полнота исчисления предикатов - 5
Полнота исчисления предикатов - 6
Полнота исчисления предикатов - 7
Полнота исчисления предикатов - 8
Переименование переменных
Содержание