О некоторых свойствах теоретико-множественных моделей теории лямбда
Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с пом...
Gespeichert in:
| Veröffentlicht in: | Математичні машини і системи |
|---|---|
| Datum: | 2008 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2008
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/46821 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862714920129265664 |
|---|---|
| author | Лялецкий, А.А. |
| author_facet | Лялецкий, А.А. |
| citation_txt | О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| 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.
|
| first_indexed | 2025-12-07T17:54:11Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-46821 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T17:54:11Z |
| publishDate | 2008 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Лялецкий, А.А. 2013-07-07T12:25:18Z 2013-07-07T12:25:18Z 2008 О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/46821 510.67:512.562:515.126.2:519.767 Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с помощью метода Скотта, однако родственное ему понятие сильно непрерывной функции ведет к построению новых лямбда-алгебр и лямбда-моделей. Роботу присвячено дослідженню можливості побудови теоретико-множинних моделей теорії лямбда на базі понять слабкої та сильно неперервної функції, запропонованих автором. В статті доводиться, що, відштовхуючись від поняття слабко неперервної функції, не можна будувати моделі за методом Скотта, але поняття сильно неперервної функції, що є дуже близьким до попереднього, призводить до побудови нових лямбда-алгебр та лямбда-моделей. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Обчислювальні системи О некоторых свойствах теоретико-множественных моделей теории лямбда Про деякі властивості теоретико-множинних моделей теорії лямбда On some properties of set-theory models of lambda theory Article published earlier |
| spellingShingle | О некоторых свойствах теоретико-множественных моделей теории лямбда Лялецкий, А.А. Обчислювальні системи |
| title | О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_alt | Про деякі властивості теоретико-множинних моделей теорії лямбда On some properties of set-theory models of lambda theory |
| title_full | О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_fullStr | О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_full_unstemmed | О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_short | О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_sort | о некоторых свойствах теоретико-множественных моделей теории лямбда |
| topic | Обчислювальні системи |
| topic_facet | Обчислювальні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/46821 |
| work_keys_str_mv | AT lâleckiiaa onekotoryhsvoistvahteoretikomnožestvennyhmodeleiteoriilâmbda AT lâleckiiaa prodeâkívlastivostíteoretikomnožinnihmodeleiteoríílâmbda AT lâleckiiaa onsomepropertiesofsettheorymodelsoflambdatheory |