СОДЕРЖАНИЕ
СОДЕРЖАНИЕ.
ВВЕДЕНИЕ.
ГЛАВА 1. ИСПОЛЬЗУЕМЫЕ ОПРЕДЕЛЕНИЯ И РЕЗУЛЬТАТЫ.
ТЕОРЕМА О ЗАМЕНЕ.
1.1. Используемые определения и результаты
1.2. Теорема о замене.
ГЛАВА 2. ФОРМАЛИЗАЦИЯ ПОНЯТИЯ 5РЕДУКЦИИ.
НОРМАЛЬНЫЕ ФОРМЫ
2.1. Понятие 5редукции. Теорема о редукции.
2.2. Сильная нормализуемость
2.3. Естественное понятие 5редукции
2.4. Единственность нормальной формы
ГЛАВА 3. РЕАЛЬНЫЕ ПОНЯТИЯ 5РЕДУКЦИИ. ПРАВИЛА
ВЫЧИСЛЕНИЯ
3.1. Реальное понятие 5редукции
3.2. Правила вычисления. Функция соответствующая правилу вычисления и реальному понятию 5редукции.
3.3. Полнота правила вычисления для фиксированного понятия редукции
3.4. Полнота правила вычисления.
3.5. Полные правила вычисления
3.6. Неполные правила вычисления
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА
- Київ+380960830922