| Лялецький О.О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / О.О. Лялецький ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2009. — 16 с. — укp.Розглянуто нові природні визначення збіжності спрямованості над частково впорядкованою множиною з "достатньою кількістю" супремумів і інімумів. На підставі цих визначень введено поріднені, але різні поняття неперервної функції через властивість функції зберігати відповідні ліміти спрямованостей. Проведено порівняльний аналіз цих понять з їх загально відомими аналогами, такими як неперервність за Скоттом, (о)-неперервність і топологічна неперервність. Наведено абстрактні теоретико-порядкові характеризації властивості функції "бути неперервною" в контексті кожного з нових понять. На основі нових понять неперервної функції за допомогою характеризаційних теорем досліджено можливість побудови за методом К. Койманса нових моделей теорії лямбда. Встановлено, що одне з цих понять призводить лише до тривіальних лямбда-моделей, в той час як інші два нові поняття індукують нові "неперервні" лямбда-моделі. Побудовано приклади "неперервних", але нетопологізуючих моделей теорії лямбда. Завантажити
Індекс рубрикатора НБУВ: З973-018.210 + В122 + Шифр НБУВ: РА368702
Рубрики:
|