абстракция отождествления
11ОБОБЩАЮЩАЯ АБСТРАКЦИЯ — (генерализирующая абстракция) – процедура отвлечения от несходных, различающихся св в (признаков) предметов, приводящая к введению в рассмотрение их одинаковых (тождественных, совпадающих, равных) св в и к образованию (общего) понятия о предметах …
12ИЗОЛИРУЮЩАЯ АБСТРАКЦИЯ — мысленное выделение словесно обозначаемого отд. признака к. л. предмета или предметов, соответствующего тому или иному их свойству или их отношению к др. предметам; при этом выделенный признак мыслится изолированным от др. признаков, охватывающих …
13ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …
14АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
15ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… …
16Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …
17Конструктивизм (математика) — Конструктивная математика абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание 1 Абстракции конструктивной математики 2 Основные объекты рассмотрения …
18КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… …
19ПРЕДМЕТ — всякий объект, выступающий как ограниченный или завершенный; то, чему могут принадлежать свойства и что может состоять в определенных отношениях с др. объектами. П. в логике все, что может стать объектом рассуждения и что в формализованном языке… …
20Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции:… …
