FLIDE / readme

СИСТЕМА ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ (СФЛП)

FLIDE - FLOGOL Integrated Development Environment


Авторы: Бебчик Алексей Михайлович, Бебчик Антон Михайлович.

Научный руководитель: д.т.н., проф. Фальк Вадим Николаевич.

Москва, 2005 г.

Содержание электронного носителя:
1. FLIDE.exe – исполняемый модуль СФЛП.
2. tgrammar.txt – системный файл грамматики языка S-FLOGOL.
3. Каталог Demo – демонстрационный программный проект.
4. Каталог Doc – документы по системе.


Программные модули демонстрационного проекта Demo:

№ Имя модуля Краткое описание Тип модуля
----------------------------------------------------------------------------
1 Arithm Арифметические операции Сетевой
2 ColorMap Задача о раскраске карты Сетевой
3 Hanoi Задача о Ханойских башнях Сетевой
4 Lists Операции над списками Сетевой
5 Queens Задача об N-ферзях Сетевой
6 Students Пример базы данных студентов Сетевой
7 Triggers Интегральные схемы Сетевой
8 Voting Задача о голосовании Сетевой
9 Chang&Yong Хорновская логика (Ченг&Йонг) Дедуктивный
10 Simple Общезначимость формулы (Фальк В.Н.) Дедуктивный
11 SteamRoller Задача о паровом катке Дедуктивный
12 Arithm Арифметические операции Текстовый
13 CombCons Комбинаторные константы Текстовый
14 GenTree Генеалогические отношения Текстовый
15 Hanoi Задача о Ханойских башнях Текстовый
16 Lists Операции над списками Текстовый
17 Logic Общезначимость формулы (Фальк В.Н.) Текстовый
18 Matrix Операции над матрицами Текстовый
19 Queens Задача об N-ферзях Текстовый
20 RelComp Операции композиции НО Текстовый
21 Sensors Пример управления объектом Текстовый
22 Students Пример базы данных студентов Текстовый
23 Types Динамическая типизация НО Текстовый
24 Voting Задача о голосовании Текстовый