Неперервність функції в інтенсіональних моделях лямбда-подібних числень

З М І С Т
ВСТУП
ЗАГАЛЬНІ ЗАУВАЖЕННЯ ТА ПОПЕРЕДНІ ВІДОМОСТІ .
1. ДЕЯКІ НОТАТКИ ПРО ЛЯМБДА-ЧИСЛЕННЯ ТА
ЙОГО ЗАСТОСУВАННЯ
1. ДЕЯКІ ПОПЕРЕДНІ ПОНЯТТЯ .
1. ВІДНОШЕННЯ ПОРЯДКУ
1.4. СПРЯМОВАНОСТІ, ОПЕРАТОРИ ЗАМИКАННЯ ТА
ТОПОЛОГІЧНІ ПРОСТОРИ .
1. ЛЯМБДА-ЧИСЛЕННЯ: НЕФОРМАЛЬНИЙ ОПИС
ПРО ТИПИ ЗБІЖНОСТІ ПОСЛІДОВНОСТЕЙ ТА
ТОПОЛОГІЧНІ ВЛАСТИВОСТІ ЧАСТКОВО
ВПОРЯДКОВАНИХ МНОЖИН
2. СПРЯМОВАНОСТІ ТА ТИПИ ЇХ ЗБІЖНОСТІ
2. ТОПОЛОГІЧНІ ВЛАСТИВОСТІ ЧАСТКОВО
ВПОРЯДКОВАНИХ МНОЖИН.
2. ВИСНОВОК ДО
РОЗДІЛ.
ПРО ТИПИ НЕПЕРЕРВНОСТІ ФУНКЦІЙ ТА ЇХ ВЛАСТИВОСТІ
ВІДНОСНО ЧАСТКОВО ВПОРЯДКОВАНИХ МНОЖИН.
3. ТИПИ НЕПЕРЕРВНОСТІ ФУНКЦІЙ ТА ЇХ
ВЛАСТИВОСТІ
3. ГОЛОВНІ РЕЗУЛЬТАТИ ПРО НЕПЕРЕРВНІСТЬ .
3. ВИСНОВОК ДО
РОЗДІЛУ
ТЕОРЕТИКО-МНОЖИННІ МОДЕЛІ ТЕОРІЇ ЛЯМБДА, ЩО
БАЗУЮТЬСЯ НА ПОНЯТТЯХ ?-НЕПЕРЕРВНОЇ ФУНКЦІЇ.
4. КОРОТКИЙ ОПИС ТЕОРІЇ ЛЯМБДА
4. ТЕОРЕТИКО-МНОЖИННІ ІНТЕРПРЕТАЦІЇ
ТЕОРІЇ ЛЯМБДА.
4. ТОПОЛОГІЇ СКОТТА
4. МЕТОД КОЙМАНСА ПОБУДОВИ МОДЕЛЕЙ
ТЕОРІЇ ЛЯМБДА: ЗАГАЛЬНІ РИСИ
4. НОВІ МОДЕЛІ ТЕОРІЇ ЛЯМБДА
4. ВИСНОВОК ДО
РОЗДІЛУ.
ВИСНОВКИ
СПИСОК