Система понятий

Материал из Викиучебника — открытых книг для открытого мира
Перейти к навигации Перейти к поиску

В символьном моделировании произвольных объектов (s-моделировании) определение изучаемого объекта имеет вид:
<определение объекта> ≈ <<s-модель объекта>, <описание области применимости s-модели объекта>>.
<Система Sc понятий> ≈ <<множество SSc понятий, на котором определяется изучаемый объект>, <семейство rel(SSc) связей, заданных на SSc>>.

О <Система tr понятий треугольник> ≈ <<множество Str понятий>, <Семейство связей rel(Str), заданных на Str>>

В tr элементами множества Str служат стороны треугольника (a, b, c), периметр p и др. Семейство связей rel(Str) включает связь p = a + b + c и др.

Чтобы определить новое понятие (не являющееся понятием-аксиомой) необходимо указать его связь с некоторой уже существующей системой понятий.

О Система trπ/2 понятий прямоугольный треугольник может быть определена как специализация типа tr:

trπ/2tr [::angle = π/2].
Специализация типа определена путём добавления связи angle = π/2 (которая выделяет из множества всех треугольников подмножество тех, у которых величина одного из углов равна π/2). О