FLIDE Система функционально-логического программирования на языке S-FLOGOL

Содержание

1. FLIDE Система функционально-логического программирования на языке S-FLOGOL
2. Язык S-FLOGOLОснован на теории направленных отношений (НО)
3. Направленные отношенияНаправленным отношением R арности (n,m) на
4. Семантические объектыФункцияПредикатКонстантаНО общего вида
5. Сетевое представление НОПример: НО (сумма)
6. Сетевое представление НОПример: НО(быстрая сортировка)
7. Текстовое представление НОВ текстовой форме НО задается
8. Текстовое представление НОПример: НО(0:1)Null;(1:1)Succ;(2:1)Add={Null,x:x};(2:1)Add={Succ(x),y:Succ(@(x,y))}или(2:1)Add={Null,x:x}U{Succ(x),y:Succ(@(x,y))}
9. Текстовое представление НО…QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: НО
10. Композиция НОПоследовательная композицияПараллельная композиция
11. Способы определения НО Пример: определение натурального числа 3Nat3=
12. Индексированные имена НОПример: множество натуральных чисел(I=1..)[I]Nat= Null∙(∙ J=1..I)SuccЭквивалентное множество определений:[0]Nat= Null;[1]Nat= Null∙Succ;[2]Nat= Null∙Succ∙Succ;[3]Nat= Null∙Succ∙Succ∙Succ;…
13. Параметризованные определения НОMap={LCons(x,xs):LCons(«0»(x),@(xs))};Map={Nil:Nil};SuccList = Map[Succ]Пример:НО SuccList (инкрементация элементов списка)
14. Среда программированияПроектный подход к организации работы с
15. Системные типы данныхНатуральные числа (0,1,2,…).Списки термов ([
16. Общий вид интерфейса системы
17. Графический редактор
18. Текстовый редактор
19. Скачать презентанцию

Язык S-FLOGOLОснован на теории направленных отношений (НО) (Фальк В.Н., Кутепов В.П.).Имеет развитые средства схемного описания НО.Допускает использование:индексированных имен НО,параметризованных НО.Поддерживает объектно-ориентированный стиль программирования.Позволяет строить многомодульные программы.Обладает средствами ограничения области видимости

Главная
Разное
FLIDE Система функционально-логического программирования на языке S-FLOGOL

Слайды и текст этой презентации

Слайд 1FLIDE
Система
функционально-логического программирования
на языке S-FLOGOL
FLOGOL Integrated Development Environment

Слайд 2Язык S-FLOGOL
Основан на теории направленных отношений (НО)
(Фальк В.Н.,

Кутепов В.П.).
Имеет развитые средства схемного описания НО.
Допускает использование:
индексированных имен НО,
параметризованных

НО.
Поддерживает объектно-ориентированный стиль программирования.
Позволяет строить многомодульные программы.
Обладает средствами ограничения области видимости определяемых отношений (Private-домены).

Язык S-FLOGOLОснован на теории направленных отношений (НО) (Фальк В.Н., Кутепов В.П.).Имеет развитые средства схемного описания НО.Допускает

Слайд 3Направленные отношения
Направленным отношением R арности (n,m) на носителе D называется

множество упорядоченных пар кортежей элементов D длины n и m,

соответственно.

НО R(n,m) может моделироваться (n+m)-арным отношением R’ на D:

Естественной и наглядной формой определения НО и основой эффективной организации их вычисления является представление в форме сетевых языков.
НО характеризуются наличием фундаментальных свойств – тотальности и функциональности прямых и обратных НО.

Направленные отношенияНаправленным отношением R арности (n,m) на носителе D называется множество упорядоченных пар кортежей элементов D длины

Слайд 4Семантические объекты
Функция

Предикат

Константа

НО общего вида

Слайд 5Сетевое представление НО
Пример: НО

(сумма)

Слайд 6Сетевое представление НО
Пример: НО
(быстрая сортировка)

Слайд 7Текстовое представление НО
В текстовой форме НО задается в виде

R =

{Терм1 : Терм2 ? Формула } , где

Терм1 –

входной терм (образец аргументов вызова),

Терм2 – выходной терм (результат вызова),

Формула – набор ограничений вида Терм = Терм, Терм <> Терм.

Текстовое представление НОВ текстовой форме НО задается в виде R = {Терм1 : Терм2 ? Формула }

Слайд 8Текстовое представление НО
Пример: НО
(0:1)Null;
(1:1)Succ;
(2:1)Add={Null,x:x};
(2:1)Add={Succ(x),y:Succ(@(x,y))}
или
(2:1)Add={Null,x:x}U{Succ(x),y:Succ(@(x,y))}

Слайд 9Текстовое представление НО
…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: НО

Слайд 10Композиция НО
Последовательная композиция
Параллельная композиция

Слайд 11Способы определения НО
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

форме композиции:

Nat3= {:Succ(Succ(Succ(Null))))}
При помощи свертки по последовательной композиции:
Nat3= Null∙(∙ I=1..3)Succ

Способы определения НО Пример: определение натурального числа 3Nat3= Null∙Succ∙Succ∙SuccВ форме графика:В форме композиции:Nat3= {:Succ(Succ(Succ(Null))))}При помощи свертки по последовательной

Слайд 12Индексированные имена НО
Пример: множество натуральных чисел
(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ
Эквивалентное множество определений:
[0]Nat=

Null;
[1]Nat= Null∙Succ;
[2]Nat= Null∙Succ∙Succ;
[3]Nat= Null∙Succ∙Succ∙Succ;
…

Индексированные имена НОПример: множество натуральных чисел(I=1..)[I]Nat= Null∙(∙ J=1..I)SuccЭквивалентное множество определений:[0]Nat= Null;[1]Nat= Null∙Succ;[2]Nat= Null∙Succ∙Succ;[3]Nat= Null∙Succ∙Succ∙Succ;…

Слайд 13Параметризованные определения НО
Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]
Пример:НО SuccList (инкрементация элементов списка)

Параметризованные определения НОMap={LCons(x,xs):LCons(«0»(x),@(xs))};Map={Nil:Nil};SuccList = Map[Succ]Пример:НО SuccList (инкрементация элементов списка)

Слайд 14Среда программирования
Проектный подход к организации работы с комплексами программ.
Оригинальные технологии

графического и структурированного текстового построения программ.
Интегрированные средства разработки и отладки.
Собственное

сетевое ядро вычислений и компилятор запросов на языке S-FLOGOL.
Возможность ограниченного импорта программ, написанных на языке Пролог.
Реализация в среде C++ Builder 5.0.

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

Слайд 15Системные типы данных
Натуральные числа (0,1,2,…).
Списки термов ([ ], [A(B),[D]]).
Строки (‘Some

text’).
Пример записи списка [A,B,C] в сетевой форме при помощи конструктора

списка и системного генератора списков:

Системные типы данныхНатуральные числа (0,1,2,…).Списки термов ([ ], [A(B),[D]]).Строки (‘Some text’).Пример записи списка [A,B,C] в сетевой форме

Слайд 16Общий вид интерфейса системы

Слайд 17Графический редактор

Слайд 18Текстовый редактор

Скачать презентацию

Разделы презентаций

FLIDE Система функционально-логического программирования на языке S-FLOGOL

Содержание

Слайды и текст этой презентации

Слайд 1FLIDE
Система
функционально-логического программирования
на языке S-FLOGOL
FLOGOL Integrated Development Environment

Слайд 2Язык S-FLOGOL
Основан на теории направленных отношений (НО)
(Фальк В.Н.,

Кутепов В.П.).
Имеет развитые средства схемного описания НО.
Допускает использование:
индексированных имен НО,
параметризованных

Слайд 3Направленные отношения
Направленным отношением R арности (n,m) на носителе D называется

множество упорядоченных пар кортежей элементов D длины n и m,

Слайд 4Семантические объекты
Функция

Предикат

Константа

НО общего вида

Слайд 5Сетевое представление НО
Пример: НО

(сумма)

Слайд 6Сетевое представление НО
Пример: НО
(быстрая сортировка)

Слайд 7Текстовое представление НО
В текстовой форме НО задается в виде

R =

{Терм1 : Терм2 ? Формула } , где

Терм1 –

Слайд 8Текстовое представление НО
Пример: НО
(0:1)Null;
(1:1)Succ;
(2:1)Add={Null,x:x};
(2:1)Add={Succ(x),y:Succ(@(x,y))}
или
(2:1)Add={Null,x:x}U{Succ(x),y:Succ(@(x,y))}

Слайд 9Текстовое представление НО
…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: НО

Слайд 10Композиция НО
Последовательная композиция
Параллельная композиция

Слайд 11Способы определения НО
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

форме композиции:

Nat3= {:Succ(Succ(Succ(Null))))}
При помощи свертки по последовательной композиции:
Nat3= Null∙(∙ I=1..3)Succ

Слайд 12Индексированные имена НО
Пример: множество натуральных чисел
(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ
Эквивалентное множество определений:
[0]Nat=

Null;
[1]Nat= Null∙Succ;
[2]Nat= Null∙Succ∙Succ;
[3]Nat= Null∙Succ∙Succ∙Succ;
…

Слайд 13Параметризованные определения НО
Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]
Пример:НО SuccList (инкрементация элементов списка)

Слайд 14Среда программирования
Проектный подход к организации работы с комплексами программ.
Оригинальные технологии

графического и структурированного текстового построения программ.
Интегрированные средства разработки и отладки.
Собственное

Слайд 15Системные типы данных
Натуральные числа (0,1,2,…).
Списки термов ([ ], [A(B),[D]]).
Строки (‘Some

text’).
Пример записи списка [A,B,C] в сетевой форме при помощи конструктора

Слайд 16Общий вид интерфейса системы

Слайд 17Графический редактор

Слайд 18Текстовый редактор

Обратная связь

Что такое TheSlide.ru?

Разделы презентаций

FLIDE Система функционально-логического программирования на языке S-FLOGOL

Содержание

Слайды и текст этой презентации

Слайд 1FLIDEСистемафункционально-логического программирования на языке S-FLOGOLFLOGOL Integrated Development Environment

Слайд 2Язык S-FLOGOLОснован на теории направленных отношений (НО) (Фальк В.Н.,

Кутепов В.П.).Имеет развитые средства схемного описания НО.Допускает использование:индексированных имен НО,параметризованных

Слайд 3Направленные отношенияНаправленным отношением R арности (n,m) на носителе D называется

множество упорядоченных пар кортежей элементов D длины n и m,

Слайд 4Семантические объектыФункцияПредикатКонстантаНО общего вида

Слайд 5Сетевое представление НОПример: НО

(сумма)

Слайд 6Сетевое представление НОПример: НО(быстрая сортировка)

Слайд 7Текстовое представление НОВ текстовой форме НО задается в виде R =

{Терм1 : Терм2 ? Формула } , где Терм1 –

Слайд 8Текстовое представление НОПример: НО(0:1)Null;(1:1)Succ;(2:1)Add={Null,x:x};(2:1)Add={Succ(x),y:Succ(@(x,y))}или(2:1)Add={Null,x:x}U{Succ(x),y:Succ(@(x,y))}

Слайд 9Текстовое представление НО…QuickSort={LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs))) ?Partition(xs,x)=ls,bs};QuickSort={Nil:Nil};Пример: НО

Слайд 10Композиция НОПоследовательная композицияПараллельная композиция

Слайд 11Способы определения НО Пример: определение натурального числа 3Nat3= Null∙Succ∙Succ∙SuccВ форме графика:В

форме композиции:Nat3= {:Succ(Succ(Succ(Null))))}При помощи свертки по последовательной композиции:Nat3= Null∙(∙ I=1..3)Succ

Слайд 12Индексированные имена НОПример: множество натуральных чисел(I=1..)[I]Nat= Null∙(∙ J=1..I)SuccЭквивалентное множество определений:[0]Nat=

Null;[1]Nat= Null∙Succ;[2]Nat= Null∙Succ∙Succ;[3]Nat= Null∙Succ∙Succ∙Succ;…

Слайд 13Параметризованные определения НОMap={LCons(x,xs):LCons(«0»(x),@(xs))};Map={Nil:Nil};SuccList = Map[Succ]Пример:НО SuccList (инкрементация элементов списка)

Слайд 14Среда программированияПроектный подход к организации работы с комплексами программ.Оригинальные технологии

графического и структурированного текстового построения программ.Интегрированные средства разработки и отладки.Собственное

Слайд 15Системные типы данныхНатуральные числа (0,1,2,…).Списки термов ([ ], [A(B),[D]]).Строки (‘Some

text’).Пример записи списка [A,B,C] в сетевой форме при помощи конструктора

Слайд 16Общий вид интерфейса системы

Слайд 17Графический редактор

Слайд 18Текстовый редактор

Похожие презентации

Обратная связь

Что такое TheSlide.ru?

Слайд 1FLIDE
Система
функционально-логического программирования
на языке S-FLOGOL
FLOGOL Integrated Development Environment

Слайд 2Язык S-FLOGOL
Основан на теории направленных отношений (НО)
(Фальк В.Н.,

Кутепов В.П.).
Имеет развитые средства схемного описания НО.
Допускает использование:
индексированных имен НО,
параметризованных

Слайд 3Направленные отношения
Направленным отношением R арности (n,m) на носителе D называется

Слайд 4Семантические объекты
Функция

Предикат

Константа

НО общего вида

Слайд 5Сетевое представление НО
Пример: НО

Слайд 6Сетевое представление НО
Пример: НО
(быстрая сортировка)

Слайд 7Текстовое представление НО
В текстовой форме НО задается в виде

R =

{Терм1 : Терм2 ? Формула } , где

Терм1 –

Слайд 8Текстовое представление НО
Пример: НО
(0:1)Null;
(1:1)Succ;
(2:1)Add={Null,x:x};
(2:1)Add={Succ(x),y:Succ(@(x,y))}
или
(2:1)Add={Null,x:x}U{Succ(x),y:Succ(@(x,y))}

Слайд 9Текстовое представление НО
…
QuickSort=
{LCons(x,xs):Append(@(ls),Append(LCons(x,Nil),@(bs)))
?Partition(xs,x)=ls,bs};
QuickSort={Nil:Nil};
Пример: НО

Слайд 10Композиция НО
Последовательная композиция
Параллельная композиция

Слайд 11Способы определения НО
Пример: определение натурального числа 3
Nat3= Null∙Succ∙Succ∙Succ
В форме графика:
В

форме композиции:

Nat3= {:Succ(Succ(Succ(Null))))}
При помощи свертки по последовательной композиции:
Nat3= Null∙(∙ I=1..3)Succ

Слайд 12Индексированные имена НО
Пример: множество натуральных чисел
(I=1..)[I]Nat= Null∙(∙ J=1..I)Succ
Эквивалентное множество определений:
[0]Nat=

Null;
[1]Nat= Null∙Succ;
[2]Nat= Null∙Succ∙Succ;
[3]Nat= Null∙Succ∙Succ∙Succ;
…

Слайд 13Параметризованные определения НО
Map={LCons(x,xs):LCons(«0»(x),@(xs))};
Map={Nil:Nil};
SuccList = Map[Succ]
Пример:НО SuccList (инкрементация элементов списка)

Слайд 14Среда программирования
Проектный подход к организации работы с комплексами программ.
Оригинальные технологии

графического и структурированного текстового построения программ.
Интегрированные средства разработки и отладки.
Собственное

Слайд 15Системные типы данных
Натуральные числа (0,1,2,…).
Списки термов ([ ], [A(B),[D]]).
Строки (‘Some

text’).
Пример записи списка [A,B,C] в сетевой форме при помощи конструктора