4.5 Вопросы для самопроверки.
1) Как строятся
аксиоматические системы?
2) Назовите основные
понятия теории формальных систем.
3) В чем заключается
непротиворечивость и полнота формальных
систем?
4) Назовите основные
составляющие части формальных систем?
5) В чем заключается
принцип логического вывода?
6) В чем заключается
разрешимость формальных систем?
7) Дать основные
понятия аксиоматических систем.
8) В чем заключается
метод использования формальных моделей
при исследовании систем?
9) Разрешимо ли
исчисление высказываний и исчисление
предикатов?
10) Что такое
синтаксис и семантика формальных систем?