Абстракции принцип это:

Абстракции принцип
        логический принцип, лежащий в основе определений через абстракцию (См. Определение через абстракцию): любое Отношение типа равенства, определённое на некотором исходном множестве элементов, разбивает (делит, классифицирует) исходное множество на попарно непересекающиеся классы равных (в данном отношении) элементов. Указанные классы называются классами абстракции данного отношения, а множество этих классов — фактормножеством исходного множества по данному отношению. А. п. выражает, т. о., процесс абстракции (См. Абстракция): если выделен класс в каком-либо смысле равных предметов (класс абстракции, или класс эквивалентности (См. Эквивалентность)), то тем самым определён и «абстрактный» (произвольный) предмет этого класса, поскольку с точки зрения целей, определяющих данное отношение равенства, каждый «конкретный» предмет исходного множества понимается в качестве «абстрактного» предмета — носителя свойства, общего всем элементам данного класса абстракции. Посредством А. п. вводятся в качестве абстрактных объектов не только «представители» классов абстракции, получаемых при разбиении каким-либо отношением R исходного множества Z, но и сами эти классы. Например, если Z — множество всех прямых (плоскости или пространства), а R — отношение параллельности, то класс абстракции произвольной прямой a1 из Z по R — это класс всех прямых из Z, параллельных a1, класс абстракции a2 из Z по R — класс прямых, параллельных a2, и т. д. Но тем самым в качестве нового «объекта» вводится новое понятие направления. И именно так фактически формируются любые абстрактные понятия (См. Понятие). Например, понятие непрерывной функции есть один из классов абстракции, порождающихся разбиением множества всех (числовых) функций (См. Функция) отношением типа эквивалентности, связывающим все функции, удовлетворяющие определению непрерывности (и только такие функции). В этом типичном случае фактормножество состоит всего из двух элементов: «непрерывная (функция)» и «разрывная», и А. п. принимает здесь форму утверждения о допустимости рассматривать корректным образом класс непрерывных функций (или понятие непрерывности). Второй фигурирующий в этом примере класс абстракции (приводящий к формированию отрицательного понятия разрывности) является дополнением первого и явным образом не участвует в формулировке данного применения А. п. (впрочем, «отрицательность» второго понятия несущественна: при разбиениях чисел на чётные и нечётные, людей на мужчин и женщин, позвоночных на теплокровных и холоднокровных и т. п., оба вводимых понятия равноправны). Такая форма А. п. (которой часто присваивают наименование принципа свёртывания), утверждающая «существование» абстрактного класса (множества) всех объектов, удовлетворяющих произвольному разумным образом охарактеризованному свойству (предикату), играет основополагающую роль в теории множеств (о возникающих в связи с этим принципом проблемах, см. Аксиоматическая теория множеств и литературу к этой статье).
         М. М. Новосёлов.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Абстракции принцип" в других словарях:

  • АБСТРАКЦИИ ПРИНЦИП —         логич. принцип, лежащий в основе определений через абстракцию и связывающий три типа универсалий классы, свойства и отношения равенства (подобия). Согласно А. п., любое отношение равенства, определённое на некотором множестве, производит… …   Философская энциклопедия

  • ПРИНЦИП АБСТРАКЦИИ — логический (теоретико множественный) принцип, лежащий в основе определений через абстракцию. Согласно П. а., любое отношение типа равенства, определенное на нек ром множестве объектов, может служить для распределения (разбиения) объектов этого… …   Философская энциклопедия

  • Принцип производства — благ категория, которая обозначает очень крупные качественные ступени развития мировых производительных сил в историческом процессе. Каждой формации развития Мир Системы (человечества) соответствует только один собственный принцип производства.… …   Википедия

  • Принцип инверсии зависимостей — (англ. Dependency Inversion Principle, DIP)  важный принцип объектно ориентированного программирования, используемый для уменьшения связанности в компьютерных программах. Входит в пятёрку принципов SOLID. Формулировка Модули верхних… …   Википедия

  • Принцип минимальных привилегий — В информационной безопасности, информатике и других областях, принцип наименьших привилегий, также известный как принцип минимальных привилегий или просто минимальные привилегии, требует, чтобы в той или иной уровень абстракции от вычислительной… …   Википедия

  • КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… …   Математическая энциклопедия

  • ТОЖДЕСТВО —         понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… …   Философская энциклопедия

  • Юнидиз — Связать? Юнидиз (англ. universal design conception концепция универсального дизайна, универсальная концепция дизайна ) дизайнерская концепция, призванная максимизировать эффективность дизайнерской деятельности и, как следствие, увеличить спрос на …   Википедия

  • НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… …   Философская энциклопедия

  • Номинализм — (лат. nominalis  относящийся к именам, именной, от nomen  имя)  философское учение, согласно которому названия таких понятий, как «животное»,  «эмоция»  это не собственные имена цельных сущностей, а общие имена… …   Википедия

Книги

Другие книги по запросу «Абстракции принцип» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»