Множини як сукупності сутностей-об’єктів
Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктивної її версії (CST) в якій вводиться новий рівень – рівень об’єктів, які є складовими для створення множин; концепція класу об’єктів, що дозволяє у певному сенсі формалізувати класифікацію самих об’єктів. У ос...
Збережено в:
| Опубліковано в: : | Компьютерная математика |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84749 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Множини як сукупності сутностей-об’єктів / Д.О. Терлецький // Компьютерная математика. — 2013. — № 2. — С. 64-71. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862709313072529408 |
|---|---|
| author | Терлецький, Д.О. |
| author_facet | Терлецький, Д.О. |
| citation_txt | Множини як сукупності сутностей-об’єктів / Д.О. Терлецький // Компьютерная математика. — 2013. — № 2. — С. 64-71. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| container_title | Компьютерная математика |
| description | Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктивної її версії (CST) в якій вводиться новий рівень – рівень об’єктів, які є складовими для створення множин; концепція класу об’єктів, що дозволяє у певному сенсі формалізувати класифікацію самих об’єктів. У основу CST покладається принцип нескінченності за Брауером та відкидаються такі поняття «одноелементна множина» та «пуста множина». Проводиться порівняльний аналіз CST з деякими найбільш відомими системами теорії множин.
Предлагается некоторое расширение и формализация классической теории множеств в виде конструктивной ее версии (CST), в которой вводится новый уровень – уровень объектов, являющихся составляющими для создания множеств; концепция класса объектов, позволяет в определенном смысле формализовать классификацию самих объектов. В основу CST возлагается принцип бесконечности по Брауэру и отвергаются понятия «одноэлементное множество» и «пустое множество». Проводится сравнительный анализ CST с некоторыми наиболее известными системами теории.
In this paper some expansion and formalization of classical set theory as it’s constructive version (CST) are proposed. A new level – the level of objects that are components for sets creating, and concept of a class of objects, that can in some sense to formalize the classіfіcatіon of the objects themselves introduced within CST. (CST) relies in the basis on the principle of іnfіnіty by Brouwer. Such notions like «singleton set» and «empty set» rejected in CST. The comparative analysis of the CST with some of the most known systems of set theory also proposes by author in this article.
|
| first_indexed | 2025-12-07T17:16:52Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84749 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | ХХХХ-0003 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:16:52Z |
| publishDate | 2013 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Терлецький, Д.О. 2015-07-14T15:41:24Z 2015-07-14T15:41:24Z 2013 Множини як сукупності сутностей-об’єктів / Д.О. Терлецький // Компьютерная математика. — 2013. — № 2. — С. 64-71. — Бібліогр.: 9 назв. — укр. ХХХХ-0003 https://nasplib.isofts.kiev.ua/handle/123456789/84749 510.2 Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктивної її версії (CST) в якій вводиться новий рівень – рівень об’єктів, які є складовими для створення множин; концепція класу об’єктів, що дозволяє у певному сенсі формалізувати класифікацію самих об’єктів. У основу CST покладається принцип нескінченності за Брауером та відкидаються такі поняття «одноелементна множина» та «пуста множина». Проводиться порівняльний аналіз CST з деякими найбільш відомими системами теорії множин. Предлагается некоторое расширение и формализация классической теории множеств в виде конструктивной ее версии (CST), в которой вводится новый уровень – уровень объектов, являющихся составляющими для создания множеств; концепция класса объектов, позволяет в определенном смысле формализовать классификацию самих объектов. В основу CST возлагается принцип бесконечности по Брауэру и отвергаются понятия «одноэлементное множество» и «пустое множество». Проводится сравнительный анализ CST с некоторыми наиболее известными системами теории. In this paper some expansion and formalization of classical set theory as it’s constructive version (CST) are proposed. A new level – the level of objects that are components for sets creating, and concept of a class of objects, that can in some sense to formalize the classіfіcatіon of the objects themselves introduced within CST. (CST) relies in the basis on the principle of іnfіnіty by Brouwer. Such notions like «singleton set» and «empty set» rejected in CST. The comparative analysis of the CST with some of the most known systems of set theory also proposes by author in this article. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Инструментальные средства информационных технологий Множини як сукупності сутностей-об’єктів Множества как совокупности сущностей-объектов Consructіve sets I Article published earlier |
| spellingShingle | Множини як сукупності сутностей-об’єктів Терлецький, Д.О. Инструментальные средства информационных технологий |
| title | Множини як сукупності сутностей-об’єктів |
| title_alt | Множества как совокупности сущностей-объектов Consructіve sets I |
| title_full | Множини як сукупності сутностей-об’єктів |
| title_fullStr | Множини як сукупності сутностей-об’єктів |
| title_full_unstemmed | Множини як сукупності сутностей-об’єктів |
| title_short | Множини як сукупності сутностей-об’єктів |
| title_sort | множини як сукупності сутностей-об’єктів |
| topic | Инструментальные средства информационных технологий |
| topic_facet | Инструментальные средства информационных технологий |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84749 |
| work_keys_str_mv | AT terlecʹkiido množiniâksukupnostísutnosteiobêktív AT terlecʹkiido množestvakaksovokupnostisuŝnosteiobʺektov AT terlecʹkiido consructívesetsi |