Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
53 слайда
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
781.50 kB
Просмотров:
78
Скачиваний:
1
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![FLIDE Система](/documents_5/5b2ded5024201fd278d993f995cbbedb/img0.jpg)
Содержание слайда: FLIDE
Система
функционально-логического программирования
на языке S-FLOGOL
№2 слайд![Московский институт](/documents_5/5b2ded5024201fd278d993f995cbbedb/img1.jpg)
Содержание слайда: Московский институт радиотехники, электроники и автоматики (МИРЭА ТУ)
№3 слайд![](/documents_5/5b2ded5024201fd278d993f995cbbedb/img2.jpg)
№4 слайд![Цель, задачи и структура](/documents_5/5b2ded5024201fd278d993f995cbbedb/img3.jpg)
Содержание слайда: Цель, задачи и структура работы
№5 слайд![Научная новизна и](/documents_5/5b2ded5024201fd278d993f995cbbedb/img4.jpg)
Содержание слайда: Научная новизна и практическая значимость
№6 слайд![Язык S-FLOGOL Small FLOGOL](/documents_5/5b2ded5024201fd278d993f995cbbedb/img5.jpg)
Содержание слайда: Язык S-FLOGOL (Small FLOGOL)
Основан на теории направленных отношений (НО).
Поддерживает аппликативный и композиционный стили программирования.
Обладает развитой схемной надстройкой, включающей:
индексированные имена объектов,
условные конструкции,
свертки.
Допускает динамическую типизацию объектов.
Поддерживает параметризацию определений НО.
Позволяет строить многомодульные программы.
Обладает средствами ограничения области видимости НО.
№7 слайд![Формализм направленных](/documents_5/5b2ded5024201fd278d993f995cbbedb/img6.jpg)
Содержание слайда: Формализм направленных отношений
№8 слайд![Свойства НО и представление](/documents_5/5b2ded5024201fd278d993f995cbbedb/img7.jpg)
Содержание слайда: Свойства НО и представление семантических объектов
№9 слайд![Функционально-логический язык](/documents_5/5b2ded5024201fd278d993f995cbbedb/img8.jpg)
Содержание слайда: Функционально-логический язык S-FLOGOL
FLOGOL – декларативный язык высокого уровня, основанный на
формализме НО. Автор – Фальк В.Н.
№10 слайд![Сетевое представление НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img9.jpg)
Содержание слайда: Сетевое представление НО
№11 слайд![Система ограничений. Язык](/documents_5/5b2ded5024201fd278d993f995cbbedb/img10.jpg)
Содержание слайда: Система ограничений. Язык S-FLOGOL (Small FLOGOL)
№12 слайд![Программа на языке S-FLOGOL](/documents_5/5b2ded5024201fd278d993f995cbbedb/img11.jpg)
Содержание слайда: Программа на языке S-FLOGOL
№13 слайд![Пример программы модуль Arithm](/documents_5/5b2ded5024201fd278d993f995cbbedb/img12.jpg)
Содержание слайда: Пример программы (модуль “Arithm”)
№14 слайд![Сетевая интерпретация программ](/documents_5/5b2ded5024201fd278d993f995cbbedb/img13.jpg)
Содержание слайда: Сетевая интерпретация программ
№15 слайд![Описания НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img14.jpg)
Содержание слайда: Описания НО
№16 слайд![Определение НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img15.jpg)
Содержание слайда: Определение НО
№17 слайд![Примеры аппликативных](/documents_5/5b2ded5024201fd278d993f995cbbedb/img16.jpg)
Содержание слайда: Примеры аппликативных описаний НО
№18 слайд![](/documents_5/5b2ded5024201fd278d993f995cbbedb/img17.jpg)
№19 слайд![Композиционное описание НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img18.jpg)
Содержание слайда: Композиционное описание НО
№20 слайд![Спецификация НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img19.jpg)
Содержание слайда: Спецификация НО
№21 слайд![Определение НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img20.jpg)
Содержание слайда: Определение НО
№22 слайд![График терм и формула](/documents_5/5b2ded5024201fd278d993f995cbbedb/img21.jpg)
Содержание слайда: График: терм и формула
№23 слайд![Пример. Определение НО Del](/documents_5/5b2ded5024201fd278d993f995cbbedb/img22.jpg)
Содержание слайда: Пример. Определение НО «Del»
№24 слайд![Композиционное](/documents_5/5b2ded5024201fd278d993f995cbbedb/img23.jpg)
Содержание слайда: Композиционное программирование
№25 слайд![Композиционное](/documents_5/5b2ded5024201fd278d993f995cbbedb/img24.jpg)
Содержание слайда: Композиционное программирование (продолжение)
№26 слайд![Операции композиции НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img25.jpg)
Содержание слайда: Операции композиции НО
№27 слайд![Параметризованные описания НО](/documents_5/5b2ded5024201fd278d993f995cbbedb/img26.jpg)
Содержание слайда: Параметризованные описания НО
№28 слайд![Условная конструкция IF](/documents_5/5b2ded5024201fd278d993f995cbbedb/img27.jpg)
Содержание слайда: Условная конструкция IF
№29 слайд![Индексированные имена](/documents_5/5b2ded5024201fd278d993f995cbbedb/img28.jpg)
Содержание слайда: Индексированные имена
№30 слайд![Свертка](/documents_5/5b2ded5024201fd278d993f995cbbedb/img29.jpg)
Содержание слайда: Свертка
№31 слайд![Свертка моделирование связок](/documents_5/5b2ded5024201fd278d993f995cbbedb/img30.jpg)
Содержание слайда: Свертка: моделирование связок
№32 слайд![Типизация Типовое отношение](/documents_5/5b2ded5024201fd278d993f995cbbedb/img31.jpg)
Содержание слайда: Типизация
Типовое отношение для типа
№33 слайд![Описание семантики языка](/documents_5/5b2ded5024201fd278d993f995cbbedb/img32.jpg)
Содержание слайда: Описание семантики языка
№34 слайд![Семантика основных конструкций](/documents_5/5b2ded5024201fd278d993f995cbbedb/img33.jpg)
Содержание слайда: Семантика основных конструкций
№35 слайд![Реализация языка S-FLOGOL](/documents_5/5b2ded5024201fd278d993f995cbbedb/img34.jpg)
Содержание слайда: Реализация языка S-FLOGOL
Компилятор запросов
№36 слайд![Реализация языка S-FLOGOL](/documents_5/5b2ded5024201fd278d993f995cbbedb/img35.jpg)
Содержание слайда: Реализация языка S-FLOGOL
№37 слайд![Стадии компиляции](/documents_5/5b2ded5024201fd278d993f995cbbedb/img36.jpg)
Содержание слайда: Стадии компиляции
№38 слайд![Предварительная стадия](/documents_5/5b2ded5024201fd278d993f995cbbedb/img37.jpg)
Содержание слайда: Предварительная стадия компиляции
№39 слайд![Основная стадия компиляции](/documents_5/5b2ded5024201fd278d993f995cbbedb/img38.jpg)
Содержание слайда: Основная стадия компиляции
№40 слайд![База описаний НО SR-правила](/documents_5/5b2ded5024201fd278d993f995cbbedb/img39.jpg)
Содержание слайда: База описаний НО (SR-правила)
№41 слайд![Управление компиляцией](/documents_5/5b2ded5024201fd278d993f995cbbedb/img40.jpg)
Содержание слайда: Управление компиляцией (AR-правила)
№42 слайд![Формирование сети](/documents_5/5b2ded5024201fd278d993f995cbbedb/img41.jpg)
Содержание слайда: Формирование сети
№43 слайд![Оптимизация получения](/documents_5/5b2ded5024201fd278d993f995cbbedb/img42.jpg)
Содержание слайда: Оптимизация получения спецификаторов
№44 слайд![SimpleNet язык текстового](/documents_5/5b2ded5024201fd278d993f995cbbedb/img43.jpg)
Содержание слайда: SimpleNet – язык текстового описания КССГ
№45 слайд![Заключительная стадия](/documents_5/5b2ded5024201fd278d993f995cbbedb/img44.jpg)
Содержание слайда: Заключительная стадия компиляции
№46 слайд![Интерфейсные средства](/documents_5/5b2ded5024201fd278d993f995cbbedb/img45.jpg)
Содержание слайда: Интерфейсные средства
Структурно-ориентированный
текстовый редкатор
№47 слайд![Технология дедуктивного ввода](/documents_5/5b2ded5024201fd278d993f995cbbedb/img46.jpg)
Содержание слайда: Технология дедуктивного ввода программ
№48 слайд![Основа технологии](/documents_5/5b2ded5024201fd278d993f995cbbedb/img47.jpg)
Содержание слайда: Основа технологии
№49 слайд![Специализированный ввод](/documents_5/5b2ded5024201fd278d993f995cbbedb/img48.jpg)
Содержание слайда: Специализированный ввод отдельных конструкций
№50 слайд![Ввод идентификаторов и](/documents_5/5b2ded5024201fd278d993f995cbbedb/img49.jpg)
Содержание слайда: Ввод идентификаторов и числовых констант
№51 слайд![Общий вид окна редактора](/documents_5/5b2ded5024201fd278d993f995cbbedb/img50.jpg)
Содержание слайда: Общий вид окна редактора
№52 слайд![Результаты работы](/documents_5/5b2ded5024201fd278d993f995cbbedb/img51.jpg)
Содержание слайда: Результаты работы
№53 слайд![](/documents_5/5b2ded5024201fd278d993f995cbbedb/img52.jpg)