Множини як сукупності сутностей-об’єктів

Множини як сукупності сутностей-об’єктів

Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктивної її версії (CST) в якій вводиться новий рівень – рівень об’єктів, які є складовими для створення множин; концепція класу об’єктів, що дозволяє у певному сенсі формалізувати класифікацію самих об’єктів. У ос...

Full description

Saved in:
Bibliographic Details
Published in:Компьютерная математика
Date:2013
Main Author: Терлецький, Д.О.
Format: Article
Language:Ukrainian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Subjects:
Инструментальные средства информационных технологий
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/84749
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Множини як сукупності сутностей-об’єктів / Д.О. Терлецький // Компьютерная математика. — 2013. — № 2. — С. 64-71. — Бібліогр.: 9 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-84749
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Множини як сукупності сутностей-об’єктів
spellingShingle Множини як сукупності сутностей-об’єктів
Терлецький, Д.О.
Инструментальные средства информационных технологий
title_short Множини як сукупності сутностей-об’єктів
title_full Множини як сукупності сутностей-об’єктів
title_fullStr Множини як сукупності сутностей-об’єктів
title_full_unstemmed Множини як сукупності сутностей-об’єктів
title_sort множини як сукупності сутностей-об’єктів
author Терлецький, Д.О.
author_facet Терлецький, Д.О.
topic Инструментальные средства информационных технологий
topic_facet Инструментальные средства информационных технологий
publishDate 2013
language Ukrainian
container_title Компьютерная математика
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Множества как совокупности сущностей-объектов
Consructіve sets I
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.
issn ХХХХ-0003
url https://nasplib.isofts.kiev.ua/handle/123456789/84749
citation_txt Множини як сукупності сутностей-об’єктів / Д.О. Терлецький // Компьютерная математика. — 2013. — № 2. — С. 64-71. — Бібліогр.: 9 назв. — укр.
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
first_indexed 2025-12-07T17:16:52Z
last_indexed 2025-12-07T17:16:52Z
_version_ 1850870661475467264

Similar Items