Добавил:
Tushkan
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:
X
- •FLIDE
- •Московский институт радиотехники, электроники и автоматики (МИРЭА ТУ)
- •Направленные отношения.
- •Свойства НО и представимые семантические объекты.
- •Сетевое представление НО
- •Сетевое представление семантических объектов
- •Программа
- •Вычисление
- •Подстановка
- •Редукция сетей
- •Вычисление в базисе конструкторов
- •Вычисление с разметкой
- •Вычисление с разметкой
- •Стратегии вычисления
- •Маски вычислимости
- •Маски вычислимости (продолжение)
- •Логический вывод
- •Реализация
- •Внутреннее представление КССГ
- •Внутреннее представление сети
- •Внутреннее представление сети (продолжение)
- •Оптимизация вычислений
- •Редукция «по фронту»
- •Редукция «по фронту» (продолжение)
- •Кольцевая подстановка
- •Кольцевая подстановка (докопирование контекста)
- •Системные типы данных и системные НО
- •Отладка программ
- •Импорт программ языка Пролог
- •Схема вычисления запроса в СФЛП
- •Интерфейсные
- •Технология графического построения программ (ТГПП)
- •Формирование сетей
- •Вид окна графического редактора
- •Автоматическая расстановка сетей
- •Автоматическая расстановка сетей
- •Основные результаты работы
- •Спасибо за внимание!
Соседние файлы в папке PRESENT