О некоторых свойствах теоретико-множественных моделей теории лямбда
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О некоторых свойствах теоретико-множественных моделей теории лямбда
|
|
| Creator |
Лялецкий, А.А.
|
|
| Subject |
Обчислювальні системи
|
|
| Description |
Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с помощью метода Скотта, однако родственное ему понятие сильно непрерывной функции ведет к построению новых лямбда-алгебр и лямбда-моделей.
Роботу присвячено дослідженню можливості побудови теоретико-множинних моделей теорії лямбда на базі понять слабкої та сильно неперервної функції, запропонованих автором. В статті доводиться, що, відштовхуючись від поняття слабко неперервної функції, не можна будувати моделі за методом Скотта, але поняття сильно неперервної функції, що є дуже близьким до попереднього, призводить до побудови нових лямбда-алгебр та лямбда-моделей. The paper is devoted to investigating the possibility of set-theoretical models of theory lambda on the base of the author's notions of weak and strong continuities of a function. The author proofs that starting with the notion of a weekly continuous function, one cannot construct models by means of the Scott method; nevertheless, the close notion of a strongly continuous function leads to new lambda-algebras and lambda-models. |
|
| Date |
2013-07-07T12:25:18Z
2013-07-07T12:25:18Z 2008 |
|
| Type |
Article
|
|
| Identifier |
О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос.
1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/46821 510.67:512.562:515.126.2:519.767 |
|
| Language |
ru
|
|
| Relation |
Математичні машини і системи
|
|
| Publisher |
Інститут проблем математичних машин і систем НАН України
|
|