Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
КЛАСС (В ЛОГИКЕ):
КЛАСС (В ЛОГИКЕ) - — конечная или бесконечная совокупность выделенных по нек-рому признаку предметов, мыслимая как целое. Предметы, образующие К., называются его элементами. Элементами К. могут быть не только индивиды, но и сами К., поэтому говорят о различных типах К. Общее понятие К. возникает как абстракция от природы и порядка элементов. Индивидуальный К. обычно определяют, исходя из свойств, общих всем его элементам. Это позволяет понятию К. поставить в соответствие понятие одноместной пропозициональной функции или одноместного предиката, поскольку, для того чтобы элемент принадлежал к данному К., необходимо и достаточно, чтобы он обладал свойством, по к-рому выделяется этот К. Систематическое рассмотрение К., их общих свойств и операций над ними в логике дается в т. наз. теории классов.
Похожие на КЛАСС (В ЛОГИКЕ) слова / понятия:
КЛАССИЦИЗМ
КЛАССИКА
КЛАССОВ ИСЧИСЛЕНИЕ
КЛАССЫ (ОБЩЕСТВЕННЫЕ)
КЛАСТЕР
КЛАУБЕРГ (CLAUBERG) ИОГАНН
КЛАУСЕН (KLAUSEN) АРНЕ МАРТИН (Р. 1927)
КЛЕРИКАЛ
КЛЕТКА
КЛЕВЕТА