Документы icon

Документы



НазваниеДокументы
Дата конвертации27.08.2012
Размер19 Kb.
Типархив
1. /01_Титульный лист.doc
2. /02_Оглавление.doc
3. /03_Введение.doc
4. /04_Глава1_начало.doc
5. /05_Глава1_продолжение.doc
6. /06_Глава2_начало.doc
7. /07_Глава2_продолжение.doc
8. /08_Глава3.doc
9. /09_Глава4.doc
10. /10_Глава5_начало.doc
11. /11_Глава5_продолжение.doc
12. /12_Глава6.doc
13. /13_Глава7.doc
14. /14_Глава8.doc
15. /15_Выводы.doc
16. /16_Обозначения.doc
17. /17_Сокращения.doc
18. /18_Литература.doc
19. /19_П1.doc
20. /20_П2.doc
21. /21_П3.doc
22. /22_П4.doc
23. /23_П5.doc
24. /Read me.doc
Фальк Вадим Николаевич теория направленных отношений и ее приложения
Введение
Началом работы над теорией направленных отношений (этот термин впервые был введен в работе [66]) можно считать сделанный на 1-ой Всесоюзной конференции по программированию в 1968 году совместный с В. П
1. направленные отношения. Основные понятия
Правила вывода : п2
Сетевая интерпретация схем направленных отношений сетевая интерпретация схем направленных отношений
2. сетевая интерпретация схем направленных отношений
3. бестиповые направленные отношения сигнатуры языков схем бестиповых -отношений
4. функциональные направленные отношения основные определения
И теория схем программ
Если полученная схема -отношений функциональна, то исходная схема программы
html">Направленные отношения и логика первого порядка
Направленные отношения и логический вывод
Логическое программирование парадигмы функционального и логического программирования
Модели вычислений
Список обозначений
Список сокращений
Список литературы список литературы
Язык исчисления предикатов первого порядка
Приведение формул языка исчисления предикатов первого порядка с равенством к канонической форме
Нумерация элементов конструктивных множеств
Теоретическая модель языка программирования высокого уровня
Алгебра открытых сетей петри приложение алгебра открытых сетей петри
Все документы в формате




Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов