diff --git a/rsconcept/frontend/src/dialogs/DlgShowAST.tsx b/rsconcept/frontend/src/dialogs/DlgShowAST.tsx index 79413fad..6f1d6038 100644 --- a/rsconcept/frontend/src/dialogs/DlgShowAST.tsx +++ b/rsconcept/frontend/src/dialogs/DlgShowAST.tsx @@ -2,9 +2,12 @@ import { useCallback, useMemo, useState } from 'react'; +import BadgeHelp from '@/components/info/BadgeHelp'; import GraphUI, { GraphEdge, GraphNode } from '@/components/ui/GraphUI'; import Modal, { ModalProps } from '@/components/ui/Modal'; +import Overlay from '@/components/ui/Overlay'; import { useConceptOptions } from '@/context/OptionsContext'; +import { HelpTopic } from '@/models/miscellaneous'; import { SyntaxTree } from '@/models/rslang'; import { graphDarkT, graphLightT } from '@/styling/color'; import { colorBgSyntaxTree } from '@/styling/color'; @@ -51,6 +54,9 @@ function DlgShowAST({ hideWindow, syntaxTree, expression }: DlgShowASTProps) { return ( + + +
{!hoverNode ? expression : null} {hoverNode ? ( diff --git a/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx b/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx index 08d751ce..b8a1106a 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/TopicPage.tsx @@ -13,17 +13,17 @@ import HelpExteor from './items/HelpExteor'; import HelpFormulaTree from './items/HelpFormulaTree'; import HelpInterface from './items/HelpInterface'; import HelpLibrary from './items/HelpLibrary'; -import HelpMain from './items/HelpMain'; +import HelpPortal from './items/HelpPortal'; import HelpPrivacy from './items/HelpPrivacy'; +import HelpRSFormCard from './items/HelpRSFormCard'; import HelpRSFormItems from './items/HelpRSFormItems'; import HelpRSFormMenu from './items/HelpRSFormMenu'; -import HelpRSFormMeta from './items/HelpRSFormMeta'; import HelpRSLang from './items/HelpRSLang'; import HelpRSLangCorrect from './items/HelpRSLangCorrect'; import HelpRSLangInterpret from './items/HelpRSLangInterpret'; import HelpRSLangOperations from './items/HelpRSLangOperations'; +import HelpRSLangTemplates from './items/HelpRSLangTemplates'; import HelpRSLangTypes from './items/HelpRSLangTypes'; -import HelpRSTemplates from './items/HelpRSTemplates'; import HelpTermGraph from './items/HelpTermGraph'; import HelpTerminologyControl from './items/HelpTerminologyControl'; import HelpVersions from './items/HelpVersions'; @@ -33,12 +33,12 @@ interface TopicPageProps { } function TopicPage({ topic }: TopicPageProps) { - if (topic === HelpTopic.MAIN) return ; + if (topic === HelpTopic.MAIN) return ; if (topic === HelpTopic.INTERFACE) return ; if (topic === HelpTopic.UI_LIBRARY) return ; if (topic === HelpTopic.UI_RS_MENU) return ; - if (topic === HelpTopic.UI_RS_CARD) return ; + if (topic === HelpTopic.UI_RS_CARD) return ; if (topic === HelpTopic.UI_RS_LIST) return ; if (topic === HelpTopic.UI_RS_EDITOR) return ; if (topic === HelpTopic.UI_GRAPH_TERM) return ; @@ -57,7 +57,7 @@ function TopicPage({ topic }: TopicPageProps) { if (topic === HelpTopic.RSL_CORRECT) return ; if (topic === HelpTopic.RSL_INTERPRET) return ; if (topic === HelpTopic.RSL_OPERATIONS) return ; - if (topic === HelpTopic.RSL_TEMPLATES) return ; + if (topic === HelpTopic.RSL_TEMPLATES) return ; if (topic === HelpTopic.TERM_CONTROL) return ; if (topic === HelpTopic.VERSIONS) return ; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx index ff045353..4a4f5668 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptRelations.tsx @@ -1,10 +1,15 @@ function HelpConceptRelations() { - // prettier-ignore return ( -
-

Связи между конституентами

-

TBD

-
); +
+

Связи между конституентами

+

TBD

+
  • Вывод: формальный и содержательный
    • +
  • Структурные отношения
    • +
  • Порожденные понятия
    • +
  • Родо-видовое отношение
    • +
  • Порождение многообразий
    • +
    + ); } export default HelpConceptRelations; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx index 9bdb68df..da61ac85 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpConceptSystem.tsx @@ -1,15 +1,29 @@ +import LinkTopic from '@/components/ui/LinkTopic'; +import { HelpTopic } from '@/models/miscellaneous'; + function HelpConceptSystem() { - // prettier-ignore return ( -
    -

    Концептуальная схема – Система определений

    -

    Теория и модель предметной области

    -
  • Базовые и неопределяемые
    • -
  • Неопределяемые и производные
    • -
  • Утверждения и определения
    • -
  • Ядро
    • -
  • Разворачивание термов
    • -
    ); +
    +

    Концептуальная схема – Система определений

    +

    + Данный раздел вводит систему определений как предмет концептуализации предметных областей. Под системой + определений понимается совокупность отдельных понятий и утверждений, а также связей между ними, задаваемых + определениями понятий. +

    + +
  • Теория и модель предметной области
    • +
  • Базовые и неопределяемые
    • +
  • Неопределяемые и производные
    • +
  • Утверждения и определения
    • +
  • Ядро
    • +
  • Разворачивание термов
    • + +

    + Более подробно различные отношения между понятиями и способы построения систем определений раскрываются в + разделе +

    +
    + ); } export default HelpConceptSystem; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpCstAttributes.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpCstAttributes.tsx index 9d6c3eca..a5ce1b41 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpCstAttributes.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpCstAttributes.tsx @@ -32,33 +32,33 @@ function HelpCstAttributes() {

    Неопределяемые понятия

    - X1, C1 – Базисные множества и Константные множества не обладают сложной структурой и определяются + X1, C1 – Базисные множества и Константные множества не обладают сложной структурой и определяются Конвенцией. Элементы Константных множеств участвуют в арифметических операциях и порядковых предикатах наряду с мощностями множеств

    - S1 :∈ ℬ(X1) – Родовые структуры задаются совокупностью Области определения, Конвенции и набора Аксиом, а - также Термином. Согласно Конвенции элементы родовой структуры заполняются из Области определения так, чтобы - Аксиомы были выполнены. Родовая структура может быть как множеством, так и элементом или кортежем + S1 :∈ ℬ(X1) – Родовые структуры задаются совокупностью Области определения, Конвенции и набора + Аксиом, а также Термином. Согласно Конвенции элементы родовой структуры заполняются из Области определения так, + чтобы Аксиомы были выполнены. Родовая структура может быть как множеством, так и элементом или кортежем

    - A1 :== ∀(α,β)∈S1 (β,α)∈S1 – Аксиомы задаются логическим Формальным определением и по необходимости + A1 :== ∀(α,β)∈S1 (β,α)∈S1 – Аксиомы задаются логическим Формальным определением и по необходимости Конвенцией

    Производные понятия

    - D1 :== Pr1(S1) – Термы задаются типизированным Формальным определением + D1 :== Pr1(S1) – Термы задаются типизированным Формальным определением

    - T1 :== Pr1(S1)=Pr2(S1) – Теоремы определяются логическим Формальным определением + T1 :== Pr1(S1)=Pr2(S1) – Теоремы определяются логическим Формальным определением

    - F1 :== [σ∈ℬ(X1×X1)] Pr1(σ)\Pr2(σ) + F1 :== [σ∈ℬ(X1×X1)] Pr1(σ)\Pr2(σ)
    Терм-функции определяются параметризованным типизированным Формальным определением

    - P1 :== [σ∈ℬ(X1×X1)] card(Pr1(σ)) = card(σ) + P1 :== [σ∈ℬ(X1×X1)] card(Pr1(σ)) = card(σ)
    Предикат-функции определяются параметризованным логическим Формальным определением

    diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpExteor.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpExteor.tsx index af16df99..b1541d09 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpExteor.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpExteor.tsx @@ -2,28 +2,34 @@ import TextURL from '@/components/ui/TextURL'; import { external_urls } from '@/utils/constants'; function HelpExteor() { - // prettier-ignore return ( -
    -

    Экстеор

    -

    Экстеор 4.9 — редактор текстов систем понятий эксплицированных в родах структур

    -

    Портал превосходит Экстеор в части редактирования экспликаций, но вычисление интерпретации доступно только в Экстеоре. Также следует использовать Экстеор для выгрузки экспликаций в Word для последующей печати

    -

    Экстеор доступен на операционной системы Windows 10+

    -

    Скачать установщик: |

    - -

    Основные функции

    -
  • Работа с РС-формой системы понятий
    • -
  • Автоматическое определение типизации выражений
    • -
  • Проверка корректности РС-формы
    • -
  • Контекстный поиск с учетом словоформ терминов
    • -
  • Терминологический контроль вхождений терминов
    • -
  • Автоматическое выполнение операций синтеза РС-форм
    • -
  • Синтез с помощью операционной схемы синтеза (ОСС)
    • -
  • Автоматическое сквозное внесение изменений в ОСС
    • -
  • Вычисление объектной интерпретации
    • -
  • Выгрузка концептуальных схем в Word
    • -
  • Импорт/экспорт интерпретаций через Excel
    • -
    ); +
    +

    Экстеор

    +

    Экстеор 4.9 — редактор текстов систем понятий эксплицированных в родах структур

    +

    + Портал превосходит Экстеор в части редактирования экспликаций, но вычисление интерпретации доступно только в + Экстеоре. Также следует использовать Экстеор для выгрузки экспликаций в Word для последующей печати +

    +

    Экстеор доступен на операционной системы Windows 10+

    +

    + Скачать установщик: |{' '} + +

    + +

    Основные функции

    +
  • Работа с РС-формой системы понятий
    • +
  • Автоматическое определение типизации выражений
    • +
  • Проверка корректности РС-формы
    • +
  • Контекстный поиск с учетом словоформ терминов
    • +
  • Терминологический контроль вхождений терминов
    • +
  • Автоматическое выполнение операций синтеза РС-форм
    • +
  • Синтез с помощью операционной схемы синтеза (ОСС)
    • +
  • Автоматическое сквозное внесение изменений в ОСС
    • +
  • Вычисление объектной интерпретации
    • +
  • Выгрузка концептуальных схем в Word
    • +
  • Импорт/экспорт интерпретаций через Excel
    • +
    + ); } export default HelpExteor; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpFormulaTree.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpFormulaTree.tsx index 9c60e7c8..dd7fb724 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpFormulaTree.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpFormulaTree.tsx @@ -1,10 +1,39 @@ +import { useConceptOptions } from '@/context/OptionsContext'; + function HelpFormulaTree() { - // prettier-ignore + const { colors } = useConceptOptions(); return ( -
    -

    Дерево разбора родоструктурного выражения

    -

    TBD.

    -
    ); +
    +

    Дерево разбора выражения

    +

    + Дерево разбора получено путем семантических преобразований дерева синтаксического разбора. Оно отражает + структуру грамматически корректного выражения языка родов структур. +

    +
  • Порядок узлов в рамках одного уровня может отличаться от их порядка в выражении
    • +
  • При наведении курсора на узел в тексте выделяется соответствующий ему фрагмент
    • +
  • Текст в узле дерева соответствует элементу языка
    • + +

    Виды узлов

    +
  • + объявление идентификатора +
    • +
  • + глобальный идентификатор +
    • +
  • + логическое выражение +
    • +
  • + типизированное выражение +
    • +
  • + присвоение и итерация +
    • +
  • + составные выражения +
    • +
    + ); } export default HelpFormulaTree; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpInterface.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpInterface.tsx index 32961f72..0c265834 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpInterface.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpInterface.tsx @@ -1,22 +1,60 @@ +import { + IconDarkTheme, + IconHelp, + IconHelpOff, + IconLightTheme, + IconLogin, + IconLogout, + IconPin, + IconUser2 +} from '@/components/Icons'; import { HelpTopic } from '@/models/miscellaneous'; import Subtopics from '../Subtopics'; function HelpInterface() { - // prettier-ignore return ( -
    -

    Пользовательский интерфейс

    - -

    Общие принципы построения интерфейса

    - -

    Навигация и настройки

    -
  • Навигационную панель можно скрыть с помощью кнопки в правом верхнем углу
    • -
  • В меню пользователя доступен ряд настроек и управление активным профилем
    • -
    +
    +

    Пользовательский интерфейс

    - -
    ); +

    + Интерфейс построен на основе динамических компонент с использованием рендеринга графики в браузере. + Поддерживаются светлая и темная темы оформления. +

    +

    + + Помимо данного раздела справка предоставляется контекстно через специальную иконку{' '} + +

    + +

    Навигация и настройки

    +
  • Ctrl + клик на объект навигации откроет новую вкладку
    • +
  • + навигационную панель можно скрыть с помощью кнопки в правом + верхнем углу +
    • +
  • + вход в систему / регистрация нового пользователя +
    • +
  • + меню пользователя содержит ряд настроек и переход к профилю + пользователя +
    • +
  • + + переключатели темы +
    • +
  • + + отключение иконок контекстной справки +
    • +
  • + выход из системы +
    • + + +
    + ); } export default HelpInterface; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpLibrary.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpLibrary.tsx index 6650c0d8..7d3bb10e 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpLibrary.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpLibrary.tsx @@ -7,8 +7,9 @@ function HelpLibrary() {

    Библиотека схем

    В библиотеке собраны концептуальные схемы, эксплицированные в родоструктурном аппарате

    используемые при концептуального проектирования систем организационного управления

    -

    Фильтрация с помощью инструментов в верхней части страницы

    -

    Сортировка по клику на заголовок таблицы

    +
  • Фильтрация с помощью инструментов в верхней части страницы
    • +
  • Сортировка по клику на заголовок таблицы
    • +
  • Ctrl + клик по строке откроет схему в новой вкладке

    • Отображение статусов

    - общедоступная отображает схему всем пользователям

    diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpMain.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpMain.tsx deleted file mode 100644 index 4cb26a7d..00000000 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpMain.tsx +++ /dev/null @@ -1,52 +0,0 @@ -import { urls } from '@/app/urls'; -import TextURL from '@/components/ui/TextURL'; -import { HelpTopic } from '@/models/miscellaneous'; -import { external_urls, prefixes } from '@/utils/constants'; - -import LinkTopic from '../../../components/ui/LinkTopic'; -import TopicItem from '../TopicItem'; - -function HelpMain() { - // prettier-ignore - return ( -
    -

    Портал

    -

    Портал позволяет анализировать предметные области, формально записывать системы определений и синтезировать их с помощью математического аппарата

    -

    Такие системы называются Концептуальными схемами и состоят из отдельных , обладающих уникальными обозначениями и формальными определениями

    -
    - -

    Разделы Портала

    -
  • – библиотека концептуальных схем
    • -
  • – справочные материалы
    • -
  • – данные пользователя и смена пароля
    • -
    - -

    Разделы Справки

    - {[ - HelpTopic.INTERFACE, - HelpTopic.CONCEPTUAL, - HelpTopic.RSLANG, - HelpTopic.TERM_CONTROL, - HelpTopic.VERSIONS, - HelpTopic.EXTEOR, - HelpTopic.API, - HelpTopic.PRIVACY - ].map(topic => - - )} -
    - -

    Лицензирование и раскрытие информации

    -
  • Пользователи Портала сохраняют авторские права на создаваемый ими контент
    • -
  • Политика обработки данных доступна по
    • -
  • Портал является проектом с открытым исходным кодом, доступным на
    • -
  • Данный сайт использует доменное имя и серверные мощности
    • -
    - -

    Поддержка

    -

    Портал разрабатывается

    -

    Ваши пожелания по доработке, найденные ошибки и иные предложения можно направлять по email:

    -
    ); -} - -export default HelpMain; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpPortal.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpPortal.tsx new file mode 100644 index 00000000..6d3162ee --- /dev/null +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpPortal.tsx @@ -0,0 +1,82 @@ +import { urls } from '@/app/urls'; +import { IconLibrary2, IconManuals, IconUser2 } from '@/components/Icons'; +import TextURL from '@/components/ui/TextURL'; +import { HelpTopic } from '@/models/miscellaneous'; +import { external_urls, prefixes } from '@/utils/constants'; + +import LinkTopic from '../../../components/ui/LinkTopic'; +import TopicItem from '../TopicItem'; + +function HelpPortal() { + return ( +
    +

    Портал

    +

    + Портал позволяет анализировать предметные области, формально записывать системы определений и синтезировать их с + помощью математического аппарата +

    +

    + Такие системы называются Концептуальными схемами и состоят из отдельных{' '} + , обладающих уникальными обозначениями и + формальными определениями +

    +
    + +

    Разделы Портала

    +
  • + – + библиотека концептуальных схем +
    • +
  • + – + справочные материалы +
    • +
  • + – данные + пользователя и смена пароля +
    • +
    + +

    Разделы Справки

    + {[ + HelpTopic.INTERFACE, + HelpTopic.CONCEPTUAL, + HelpTopic.RSLANG, + HelpTopic.TERM_CONTROL, + HelpTopic.VERSIONS, + HelpTopic.EXTEOR, + HelpTopic.API, + HelpTopic.PRIVACY + ].map(topic => ( + + ))} +
    + +

    Лицензирование и раскрытие информации

    +
  • Пользователи Портала сохраняют авторские права на создаваемый ими контент
    • +
  • + Политика обработки данных доступна по +
    • +
  • + Портал является проектом с открытым исходным кодом, доступным на{' '} + +
    • +
  • + Данный сайт использует доменное имя и серверные мощности{' '} + +
    • +
    + +

    Поддержка

    +

    + Портал разрабатывается +

    +

    + Ваши пожелания по доработке, найденные ошибки и иные предложения можно направлять по email:{' '} + +

    +
    + ); +} + +export default HelpPortal; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMeta.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx similarity index 83% rename from rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMeta.tsx rename to rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx index 20e462b2..edd1f3be 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMeta.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormCard.tsx @@ -2,6 +2,7 @@ import { HelpTopic } from '@/models/miscellaneous'; import { IconClone, + IconDestroy, IconDownload, IconFollow, IconImmutable, @@ -11,7 +12,7 @@ import { } from '../../../components/Icons'; import LinkTopic from '../../../components/ui/LinkTopic'; -function HelpRSFormMeta() { +function HelpRSFormCard() { // prettier-ignore return (
    @@ -27,8 +28,9 @@ function HelpRSFormMeta() {
  • Неизменные схемы редактируют только администраторы
  • Клонировать – создать копию схемы
  • Отслеживание – схема в персональном списке
    • -
  • Загрузить/Выгрузить схему – взаимодействие с Экстеор
    • +
  • Загрузить/Выгрузить – взаимодействие с Экстеор
    • +
  • Удалить – полностью удаляет схему из базы Портала
    • ); } -export default HelpRSFormMeta; +export default HelpRSFormCard; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMenu.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMenu.tsx index 2abd6827..7e6fcc6d 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMenu.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSFormMenu.tsx @@ -1,10 +1,97 @@ +import { + IconAdmin, + IconAlert, + IconArchive, + IconClone, + IconDestroy, + IconDownload, + IconEdit2, + IconMenu, + IconOwner, + IconReader, + IconShare, + IconUpload +} from '@/components/Icons'; +import Divider from '@/components/ui/Divider'; +import LinkTopic from '@/components/ui/LinkTopic'; +import { HelpTopic } from '@/models/miscellaneous'; + function HelpRSFormMenu() { - // prettier-ignore return ( -
    -

    Меню редактирования концептуальной схемы

    -

    TBD

    -
    ); +
    +

    Редактирование схемы

    +

    + При переходе к отображению отдельной концептуальной схемы сверху появляется меню, содержащее кнопки с + выпадающими меню и ряд вкладок. Вид и количество кнопок зависит от выбранного режима работы. +

    + +

    Вкладки

    +
  • + – редактирование атрибутов схемы и версии +
    • +
  • + – работа со списком конституент в табличной форме +
    • +
  • + – редактирование отдельной{' '} + +
    • +
  • + – графическое представление связей конституент +
    • + +
    +
    +

    Меню схемы

    +
  • + Меню схемы – выпадающее меню с общими функциями +
    • +
  • + Поделиться – скопировать ссылку на схему +
    • +
  • + Клонировать – создать копию схемы +
    • +
  • + Выгрузить – сохранить в файле формата Экстеор +
    • +
  • + Загрузить – заменить схему на содержимое файла Экстеор +
    • +
  • + Удалить – полностью удаляет схему из базы Портала +
    • +
    + + + +
    +

    Режимы работы

    +
  • + работа в анонимном режиме. Переход на страницу + логина +
    • +
  • + просмотр архивной версии. Переход к актуальной версии +
    • +
  • + режим "только чтение" +
    • +
  • + режим "редактор" +
    • +
  • + режим "администратор" +
    • +
    +
    + +

    + операции над концептуальной схемой описаны в{' '} + . +

    +
    + ); } export default HelpRSFormMenu; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangInterpret.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangInterpret.tsx index 1986f5a1..478262f1 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangInterpret.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangInterpret.tsx @@ -23,13 +23,17 @@ function HelpRSLangInterpret() { Интерпретируемыми будем считать выражения, которые можно вычислить за полиномиальное время относительно мощностей интерпретаций глобальных идентификаторов, используемых в этом выражении. По аналогии с{' '} условия интерпретируемости могут - быть выведены из утверждения {'выражения "Z, ℬ(α)" не интерпретируемы'}. + быть выведены из утверждения "выражения Z, ℬ(α) не интерпретируемы".

    Также вводится категория выражений, задающих множества, которым можно принадлежность за полиномиальное время, но - нельзя вычислить полный список элемент. Например, {'"Z, D{ξ∈ℬ(X1×X1) | Pr1(ξ)=Pr2(ξ)}"'}. Конституенты, чьи - выражения удовлетворяет этому свойству, называются Неразмерными. Их можно использовать в интерпретируемых - выражениях только в конструкциях, не требующих перебора их элементах. + нельзя вычислить полный список элемент. +
    + Например, {'D{ξ∈ℬ(X1×X1) | Pr1(ξ)=Pr2(ξ)}'}. +

    +

    + Конституенты, чьи выражения удовлетворяет этому свойству, называются Неразмерными. Их можно использовать + в интерпретируемых выражениях только в конструкциях, не требующих перебора их элементах.

    Конституенты, чьи выражения не позволяют проверить принадлежность за полиномиальное время, называются{' '} diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangOperations.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangOperations.tsx index 17d1fdd9..955a1856 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangOperations.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangOperations.tsx @@ -1,6 +1,15 @@ import { HelpTopic } from '@/models/miscellaneous'; -import { IconInlineSynthesis, IconTemplates } from '../../../components/Icons'; +import { + IconGenerateNames, + IconGenerateStructure, + IconInlineSynthesis, + IconKeepAliasOn, + IconKeepTermOn, + IconReplace, + IconSortList, + IconTemplates +} from '../../../components/Icons'; import LinkTopic from '../../../components/ui/LinkTopic'; function HelpRSLangOperations() { @@ -9,6 +18,57 @@ function HelpRSLangOperations() {

    Операции над концептуальными схемами

    В данном разделе поясняются различные операции над концептуальными схемами.

    +

    + Упорядочение +

    +

    + Упорядочение списка конституент по следующим правилам +

  • базисные и константные множества объявляются первыми
    • +
  • + конституенты располагаются до остальных +
    • +
  • + топологический порядок: связи вывода от ранее объявленных к производным +
    • +
  • + конституенты следуют сразу за исходной +
    • +
  • максимальное сохранение исходного порядка при выполнении предыдущих правил
    • +

    + +

    + Порядковые имена +

    +

    + Генерация имен конституент таким образом, чтобы порядок на индексах соответствовал порядка объявления + конституент в списке. Например, {'Rename({X4, X2, D1, D3}) = {X1, X2, D1, D2}'} +

    + +

    + Порождение структуры +

    +

    + Порождение полной совокупности термов, раскрывающих структуру выбранной конституенты. Операция применима к + терм-функциям, термам и родовым структурам с {' '} + множество и кортеж. +
    + {'Generate(S1∈ℬ(X1×ℬ(X1))) = {Pr1(S1), Pr2(S1), red(Pr2(S1))}'} +

    + +

    + Отождествление +

    +

    + Формирование таблицы отождествлений и ее применение к текущей схеме. В результате будет удален ряд конституент и + их вхождения заменены на другие. Возможна настройка какой термин использовать для оставшихся конституент +

  • + выбор сохраняемой конституенты +
    • +
  • + выбор сохраняемого термина +
    • +

    +

    Генерация из шаблона

    @@ -16,7 +76,6 @@ function HelpRSLangOperations() { Данная операция позволяет вставить конституенту из{' '} .

    -

    Встраивание diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSTemplates.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTemplates.tsx similarity index 55% rename from rsconcept/frontend/src/pages/ManualsPage/items/HelpRSTemplates.tsx rename to rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTemplates.tsx index a3a191b2..a5f31198 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSTemplates.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTemplates.tsx @@ -1,4 +1,4 @@ -function HelpRSTemplates() { +function HelpRSLangTemplates() { return (

    Шаблоны

    @@ -10,19 +10,19 @@ function HelpRSTemplates() { Источником шаблонов является Банк выражений, содержащий параметризованные понятия и утверждения, сгруппированные по разделам

    -

    Сначала выбирается шаблон выражения (вкладка Шаблон)

    -

    +

  • Сначала выбирается шаблон выражения (вкладка Шаблон)
    • +
  • Далее для аргументов можно зафиксировать значения, выбрав из конституент текущей схемы или указав выражения (вкладка Аргументы) -

    -

    Значения аргументов будут подставлены в выражение, включая корректировку перечня аргументов

    -

    Если значения указаны для всех аргументов, то тип создаваемой конституенты будет автоматически обновлён

    -

    На вкладке Конституента можно скорректировать все атрибуты, создаваемой конституенты

    -

    +

    • +
  • Значения аргументов будут подставлены в выражение, включая корректировку перечня аргументов
    • +
  • Если значения указаны для всех аргументов, то тип создаваемой конституенты будет автоматически обновлён
    • +
  • На вкладке Конституента можно скорректировать все атрибуты, создаваемой конституенты
    • +
  • Кнопка Создать инициирует добавление выбранной конституенты в схему -

    +
    • ); } -export default HelpRSTemplates; +export default HelpRSLangTemplates; diff --git a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTypes.tsx b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTypes.tsx index 6eb6694d..ed8d688e 100644 --- a/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTypes.tsx +++ b/rsconcept/frontend/src/pages/ManualsPage/items/HelpRSLangTypes.tsx @@ -3,20 +3,20 @@ function HelpRSLangTypes() {

    Типизация

    - Родоструктурное выражение ξ обладает типизацией (структурой), если выполнено ξ∈H, + Родоструктурное выражение ξ обладает типизацией (структурой), если выполнено ξ∈H,
    - где H – корректное выражение ступени, задаваемой следующими правилами: + где H – корректное выражение ступени, задаваемой следующими правилами:

  • - Xi, Ci – ступень, называемая элемент; + Xi, Ci – ступень, называемая элемент;
  • Z – ступень, называемая целое число;
  • - (H1×...×Hn) – ступень, называемая кортеж арности n; + (H1×...×Hn) – ступень, называемая кортеж арности n;
  • - ℬ(H) – ступень, называемая множеством. + ℬ(H) – ступень, называемая множеством.

    • Пустое множество ∅ имеет типизацию ℬ(R0) – множество с произвольной структурой элемента

    @@ -29,14 +29,14 @@ function HelpRSLangTypes() {

    Параметризованные выражения (терм-функции, предикат-функции) относятся к типизации
    - Hr 🠔 [H1, H2, ... Hi], + Hr 🠔 [H1, H2,...Hi],
    - где Hr – типизация результата, H1, ... Hi – типизации аргументов + где Hr – типизация результата, H1,...Hi – типизации аргументов

    - Шаблонные параметризованные выражения могут содержать обозначения R1, ... Ri, соответствующие произвольным - ступеням, определяемым исходя из типизации аргументов по месту использования выражения. + Шаблонные параметризованные выражения могут содержать обозначения R1,...Ri, соответствующие + произвольным ступеням, определяемым исходя из типизации аргументов по месту использования выражения.

    ); diff --git a/rsconcept/frontend/src/styling/setup.css b/rsconcept/frontend/src/styling/setup.css index d70ebda3..eddc4473 100644 --- a/rsconcept/frontend/src/styling/setup.css +++ b/rsconcept/frontend/src/styling/setup.css @@ -124,6 +124,10 @@ div:not(.dense) > p { @apply font-semibold; } + code { + font-family: var(--font-math); + } + li { list-style-position: inside; }