Введение
Гласн 1. Секвенциальное исчисление предикатов 14
1.1. Метаязык для определения логических формул 14
1.2. Определение пропозициональной формулы 18
1.3. Формальный аппарат выводимости 23
1.4. Язык исчисления предикатов 25
1.5. Секвенциальное исчисление предикатов 29
Глава 2. Пропозициональное исчисление с неравенствами линейных комбинаций формул и принадлежностью значений таких комбинаций списку из них 37
2.1. Введение 37
2.2. Определение пропозициональных формул,расширенных неравенствами линейных комбинаций и принадлежностью значений спискам из них 39
2.3. Аксиомы и правила вывода предлагаемого исчисления 40
2.4. Теоремы о расширенном исчислении высказываний 44
Глава 3. Расширенное исчисление предикатов первого порядка со
3,1. Основные определения 60
3.2. Исчисление для расширенных предикатных формул 65
3.3. Допустимость правила сечения 69
3.4. Теоремы о свойствах исчисления 72
Глава 4. Экспериментальная информационная система для образовательного процесса в Хелванском университете (Каир.Египет) 76
4.1. Введение 76
4.2. Информационная система для выбора бакалаврской программы обучения 77
4.3. Информационная система для выбора магистерской программы обучения 87
4.4. Информационная система для степени кандидата наук (Ph.D) на отделении математики 95
4.5. Информационная система для получения звания доцента 99
Глава 5. Формальный язык для проверки корректности программ на основе расширенных предикатных формул 101
5.1. Введение и основные понятия 101
5.2. Определение языка спецификаций ЮЗ
5.3. Синтаксис утверждения о корректности программы Ю8
5.4. Аксиоматический подход к корректности программ 112
5.5. Примеры корректных программ с использование
предложенного формального языка спецификаций
в комментариях 115
Заключение 123
Список литературы
