Содержание
Введение
Глава 1. Пример разработки прикладных логических теории
1.1 Постановка задачи
Предназначение разрлбоашоП еорнн.
Проблема формально о предплв кчшя
1.1 Сгрктра теории
1 5 Об ждение представленной теории.
1.0 Прораччиан реализация.
1.7 Обдор близких рбо
Резуьаи . .
Глава 2. Проблема синтаксической одпозиачности и разложимости
2 1 Непрерывная иыборка информации . .
2 2 Посшновка проб смь раыожичосли . .
2 3 Приводимые теории
2 Разлокнмые теории . . .
2 о Резлыагы . .
Глава 3. Практические вопросы разложимости
3 1 Конечно аксиоматизируемые теории .
3 2 Приведение к иредикдыч.
3 3 Скдемонское обоашение
З 1 Ре и платы . . .
Заключение
Литература
- Київ+380960830922