Ядро системы
E-R модель
ER - модель данных поставки
Поставщики
Спецификация деталей
типы объектов учебного процесса
цвет
Группа
Пример пересечения областей
движение
Пример с boolean
изменение цвета
изменение цвета тел
Измененный цвет в среде цвет
Понятие с противоречиями
boolean
Пример проверки равенства.
Пример5
человек
кот
Пример новый подход к экз. понятия
Пример шаблона 2
Пример шаблона
Локальный шаблон
Пример с использованием локального шаблона
Пример с удалением шаблона
классификация людей учебного процесса
классификация оборудования учебного процесса
классификация помещений учебного процесса
основные типы объектов
размещение оборудования учебного процесса
пример размещения оборудования
Пример с таблицей свойств
некоторые факты о факультете автоматики ИАИ
пример мира
Поставки
Локальный шаблон - синоним сложения чисел
Примеры с правилами переписывания в типе данных bool_выражения
Задача2
использование равномерного движения
Пример создания экземпляров понятия
Пример с шаблоном
Пример с правилом переписывания
Множество
задача на равномерное движение
Задача на равноускоренное движение
Задача 5
Задача 6
Пример изменения шаблона
Пример замены шаблонов в среде с измененными шаблонами
Пример среды для задач равномерного движения
Пример задачи на движение в среде с измененным шаблоном с действием
Пример с удалением терма "область"
Пример ввода синонимов с помощью равенств
Пример правильного ввода шаблона для сложения
Пример ввода условной операции деления
Пример шаблона с условной операцией в реализации
Пример вычисления факториала
Синонимы для цвета
Пример ввода синонимов шаблонов
цвета тел в среде измененые цвета
U-группа
Факториал1
Факториал
Примеры синонимов
Сумма списка
if_then_else и real
равномерное движение
Шаблон с композицией отображений
Равноускоренное движение
Движение навстречу друг другу
Пример с real
Примеры комментария
Задача1
Пример замены термина
English
Пример в среде English
Алгебра
Синонимы цвета1
Пример удаления шаблона комментария
Пример условного шаблона деления
Пример определения новых скобок комментария
Базы данных
SQL
Булева алгебра