Выводы к разделу 2
Данный
раздел был посвящен рассмотрению
основных изобразительных средств
графового языка SCB(SemanticCodeBasic). В
разделе 3 приводятся подробные примеры
использования языкаSCBдля представления основных математических
структур. В основе языкаSCBлежат:
базовые
понятия теории множеств;
чёткое
противопоставление понятия множества,
понятия знака множества и понятия
изображения знака множества;
введение
специальных пар принадлежности, каждая
из которых связывает знак некоторого
множества с одним из элементов этого
множества;
ориентация
на нормализованные множества, элементами
которых являются знаки множеств;
трактовка
пар принадлежности как множеств и
введение знаков пар принадлежности;
трактовка
всех элементов текстов языка SCBкак знаков множеств.
Всё
это даёт возможность на языке SCBописывать структуры любой степени
сложности и легко переходить от описания
к метаописанию.
