Помощь в написании студенческих работ
Антистрессовый сервис

Инструментальные средства символьной обработки данных в АСУ

Диссертация: Инструментальные средства символьной обработки данных в АСУ
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Работы в области символьной обработки данных интенсивно ведутся как в нашей стране (Вельбицкий И.В., Задыхайло И. Б., Ершов А. П., Бычков С. П., Пилыциков В. Н., Лавров С. С., Сшьагад-зе Г. С., Смирнов В. И., Хорошевский В. Ф., Эйсымонт А. К., Юфа В. М., и т. д.), так и за рубежом (ЕЕудс В., Грис Д., МакКарти Д., Беркли Э., Бобров Д., Баррон Д., Бердж В., Кнут Д., Вирт Н., Виноград Т., Хьюитт К… Читать ещё >

Инструментальные средства символьной обработки данных в АСУ (реферат, курсовая, диплом, контрольная)

Содержание

  • ГЛАВА I. Особенности инструментальных средств символьной обработки данных в АСУ
    • 1. 1. Задачи символьной обработки данных в АСУ и методы их решения
    • 1. 2. Средства автоматического возврата и поиска по образцу в языках обработки символьных данных
    • 1. 3. Требования, предъявляемые к инструментальным средствам символьной обработки данных в АСУ
  • Выводы
  • ГЛАВА 2. Теоретические основы построения инструментальных средств символьной обработки данных с возвратами
    • 2. 1. Исчисление общего вида как формальная модель поиска с возвратами
    • 2. 2. Внешнее представление структур данных. Состав и семантика базисных операций и предикатов
    • 2. 3. Графовое представление процедур поиска вывода
    • 2. 4. Денотационная семантика программ, представленных на языке (Ж.-функций
  • Выводы
  • ГЛАВА 3. Инженерные основы проектирования инструментальных средств поиска вывода в исчислениях общего вида
    • 3. 1. Язык Рекурсивных Функций над Символьными выражениями (РФС-язык)
    • 3. 2. Общая схема трансляции РФС-языка
    • 3. 3. Выбор внутреннего представления данных
    • 3. 4. Абстрактная машина для интерпретации базисного языка. ЮЗ
    • 3. 5. Методика программирования типовых процедур поиска вывода средствами РФС-языка
  • Выводы
  • ГЛАВА 4. Реализация, внедрение, экспериментальная проверка
    • 4. 1. Общая схема программной реализации РФС-системы
    • 4. 2. Реализация транслирующих модулей РФС-системы и организация управления памятью
    • 4. 3. Внедрение РФС-системы в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос
    • 4. 4. Внедрение РФС-системы в Главном научно-методическом центре ЩИИНТЙ для решения задачи анализа и синтеза сквозной программы специальности
  • Выводы

Задача создания и внедрения автоматизированных систем управления на уровне отраслей, объединений, предприятий с постепенным переходом к общегосударственной автоматизированной системе на базе государственной сети вычислительных центров и общегосударственной системы передачи данных была четко сформулирована в Директивах ХХ1У съезда КПСС/1/.

Интенсивному внедрению вычилительной техники во всех областях народного хозяйства уделялось большое внимание в материалах ШТ съезда КПСС /2/.

К настоящему времени автоматизированные системы управления претерпели серьезные изменения, связанные со значительным усложнением и расширением круга решаемых задач. Этому в значительной мере способствовало появление более мощных средств вычислительной техники с развитым математическим обеспечением, успехи в области математической лингвистики и средств программирования, а также накопление опыта разработки и эксплуатации АСУ.

В то же время определенные трудности в области разработки и эксплуатации АСУ отчетливо наблюдаются как у нас в стране, так и за рубежом /4,5,6,7,87/.

Одна из основных причин неудач заключается в том, что создаваемые АСУ предъявляют к пользователю повышенные требования в области знания систем программирования и средств вычислительной техники. Отсутствие интеллектуальности у систем, предлагаемых пользователю, является в настоящее время главным тормозом на пути дальнейшего развития и совершенствования автоматизированных систем управления.

В постановлении ЦК КПСС и Совета Министров СССР от 28 авг. 1983 года указывается на необходимость интенсификации работ в области искусственного интеллекта и, в частности, об использовании этого направления для автоматизации программирования.

Начавшийся процесс интеллектуализации АСУ привел к смещению аспекта использования ЭВМ в АСУ. Если на ранних этапах развития АСУ электронно-вычислительные машины использовались в основном для обработки числовой информации, для проведения громоздких однообразных расчетов, то в современных АСУ центр тяжести использования ЭВМ все более смещается в сторону обработки символьной информации. Эта тенденция наблюдается как в области системного математического обеспечения, так и среди решаемых прикладных задач.

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

Работы в области символьной обработки данных интенсивно ведутся как в нашей стране (Вельбицкий И.В., Задыхайло И. Б., Ершов А. П., Бычков С. П., Пилыциков В. Н., Лавров С. С., Сшьагад-зе Г. С., Смирнов В. И., Хорошевский В. Ф., Эйсымонт А. К., Юфа В. М., и т. д.), так и за рубежом (ЕЕудс В., Грис Д., МакКарти Д., Беркли Э., Бобров Д., Баррон Д., Бердж В., Кнут Д., Вирт Н., Виноград Т., Хьюитт К., Сассман Г., Макдермотт Д., Фостер Д., и т. д.). Большое внимание инструментальным средствам символьной обработки данных уделяется в японском проекте ЭВМ пятого поколения /8/.

Данная диссертационная работа выполнялась в соответствии с координационным планом научно-исследовательских работ АН СССР по проблеме «Искусственный интеллект» (шифр 1.12.9) на 1981;1985 г. г., раздел «Программно-математическое обеспечение систем искусственного интеллекта» (шифр 1.12.9.6.Б) — разработка языков программирования сверхвысокого уровня и трансляторов с них.

Работа посвящена разработке эффективных инструментальных средств, с помощью которых удобно решается широкий класс задач формально-логического характера в АСУ. Основу этих средств составляет РФС-язык (язык Рекурсивных Функций над Символьными выражениями). При его разработке была поставлена цель совместить высокую вычислительную эффективность, универсальность в области символьных преобразований с выразительными возможностями, характерными для языков высокого уровня, используемых в системах искусственного интеллекта.

На защиту выносится:

1. Модель вычислений с возвратами, базирующаяся на расширении схем программ для случая неудачного завершения вычислений.

2. Р1С-язык как эффективное средство для решения задач символьной обработки данных в АСУ.

3. Метод реализации инструментальных средств символьной обработки данных в АСУ, включающий выбор внутреннего представления структур данных, определение состава и семантики базисных операций, разработку архитектуры стековой машины и алгоритмов трансляции. Транслятор с РФС-языка.

4. Методика реализации типовых процедур символьной обработки данных в АСУ средствами РФС-системы.

5. Пакет прикладных программ для анализа и синтеза сквозных программ специальности, система генерации ответов на нерегла-ментированный запрос, реализованные средствами РЗЮ-системы.

Работа состоит из четырех глав. В первой главе проводится обзор задач символьной обработки данных в АСУ, в том числе задач, требующих перебора альтернативных вариантов в процессе своего решения. Анализируются имеющиеся языковые средства для решения перечисленных задач. Формулируются основные требования к инструментальным средствам, предназначенным для решения задач данного класса.

Во второй главе предлагается в качестве формальной модели задачи с возвратами использовать исчисление общего вида. Вводится математическая модель инструментальных средств, базирующаяся на расширении традиционных схем программ на случай неудачного завершения вычислений. Для представления расширенных схем программ вводятся процедуры-функции специального вида — 6К:-функции. Доказывается транслируемость вЕ-функций в язык функциональных эквивалентов.

Третья глава посвящена инженерным основам проектирования инструментальных средств для решения задач поиска вывода в произвольных исчислениях. Приводится описание синтаксиса и семантики РФС-языка, предлагаемого для решения задач данного класса. Определяется общая схема трансляции РФС-языка. В целях повышения эффективности реализации трансляция с РФС-языка ведется через промежуточный этап. Вводится абстрактная машина со стековой организацией памяти как средство для интерпретации промежуточного языка. Приводятся основные алгоритмы трансляции РФС-программ в последовательность команд стековой машины. Для типовых процедур поиска вывода приводится методика программирования на базе РФС-системы.

В четвертой главе приведено описание программной реализации РФС-системы. Указан состав библиотек, приводятся характеристики компонент системы. Описываются результаты внедрения РШС-системы для построения синтаксического и семантического анализаторов сети логической взаимосвязи дисциплин для решения задачи многоцелевой оптимизации учебных планов.

Результаты работы неоднократно докладывались на ежегодных научных конференциях МИШИ (1973 г., 1977 г.) — на научных семинаpax в ЦЦНТП /9, 10/ (1976 г., 1981 г.) — публиковались в сборнике «Проектирование интеллектуальных систем» / II/ (1980 г.)" были представлены в работе 4-й школы-семинара «ШТЕРАКТИШЫЕ СИСТЕМЫ» Тбилиси, 1982 г./ 12/.

Результаты работы отражены также в научных отчетах по темам: гос. per. № 75 046 635 — «Автоматизированные системы управления высшей школой» / 13, 14, 15/- гос.рег. № 79 036 982 — «Разработка автоматизированной системы проектирования АСУ» / 16/- гос. per. № 80 044 346 — «Разработка методики построения интеллектуальной системы моделирования» / 17, 18/- гос. per. № 81 098 866 — «Разработка и применение математических методов для построения интеллектуальных вопросно-ответных систем и систем моделирования / 19, 20/.

Выводы.

I.Реализация текущей версии РФС-системы выполнена для ЕС ЭВМ. В качестве языка, на который ведется трасляция РФС-программ, используется язык Ассемблера. Трансляция РФС-программ может выполняться в двух режимах: режиме компиляции и режиме интерпретации. РФС-программа, транслируемая в режиме компиляции, после ассемблирования и редактирования связей может непосредственно выполняться под управлением ОС ЕС ЭВМ. Программа, транслируемая в режиме интерпретации, после ассемблирования и редактирования связей выполняется под управлением специальной программы — РФС-интерпретатора. Программное обеспечение РФС-системы включает библиотеку транслирующих модулей (ЕРЗ.ТНАЫЗИВ-! СУЬ накопителя ЕС-5061), библиотеку машинных операций (ВРБ.МОРЫВ- 2 СУЬ), библиотеку процедур (ЕГб.РБЮСЫВ — I СУЬ), библиотеку исходных текстов и инструкций (ВГб.ТЕХТ — 5 СУЬ).

2. В целях более экономного использования памяти, а также для расширения возможностей системы, перечень команд стековой машины, определенный в разделе 3.4, дополнен рядом команд, учитывающих специфику конкретной реализации РФС-системы.

3. Транслирующие модули РФС-системы выполнены на языке РЕФАЛ. Общий объем исходного текста транслирующего блока составляет: РЕМЛ-предложений — 225, строк — 1100, символов — 55 тыс.

4. Методика проектирования синтаксических анализаторов средствами РФС-системы внедрена в АСУ МШИ для реализации выдачи ответов на нерегламентированный запрос в подсистемах «Учет учебной нагрузки преподавателей» и «Успеваемость» .

5. РФС-система внедрена в Главном научно-методическом центре ЦНИИНТИ для решения задачи анализа и синтеза сквозной программы специальности.

6. Сравнение характеристик РЕФАЛ-программы и РФС-программы, выполняющих решение одной и той же задачи, требующей возвратов в процессе своего решения, показало, что использование встроенных средств автоматического возврата увеличивает быстродействие программыв 3 раза по сравнению с моделированием этого механизма на языке РЕШАЛ.

— 162 -ЗАКЛЮЧЕНИЕ.

В процессе выполнения диссертационной работы были получены следующие основные результаты:

1. Проанализирован класс задач символьной обработки данных в АСУ. В результате анализа выявлена важная роль задач символьной обработки данных с возвратами, что является следствием сформировавшейся тенденции к интеллектуализации математического обеспечения АСУ. Сформулированы основные требования, предъявляемые к инструментальным средствам, предназначенным для решения выделенного класса задач. На основании результатов анализа имеющихся средств автоматического возврата и символьного сопоставления с образцом показана необходимость создания инструментальных средств, ориентированных на обработку символьных данных с возвратами.

2. Разработана теоретическая основа для создания инструментальных средств символьной обработки данных с возвратами. Выделенный класс задач формализован в терминах аппарата исчислений общего вида. На основе методов решения задач поиска вывода в исчислениях общего вида разработана формальная модель описания процесса вычислений с возвратами, представляющая собой расширение схем программ на случай неудачного завершения вычислений. Для представления расширенных схем программ введены процедуры-функции специального вида (С11-функции). Приведена их графовая интерпретация. Систематизированы управляющие конструкции, применяемые при реализации процедур поиска вывода. Введено понятие ограниченного и неограниченного возврата.

3. На основе общей модели вычислений разработан РФС-язык (язык Рекурсивных Функций над Символьными выражениями), представляющий I собой конкретизацию расширенных схем программ. Определены формальный синтаксис и семантика языка. Разработана методика программирования типовых процедур поиска вывода средствами РФС-языка.

— 163.

Разработан и реализован транслятор с РФС-языка для машин ЕС ЭВМ. Объем транслирующего блока составляет: РЕМЛ-предло-жений — 225, строк — 1100, символов — 55 тыс. В целях повышения мобильности программного обеспечения трансляция ведется через промежуточную стадию. В качестве промежуточного языка используется язык функциональных эквивалентов. Для интерпретации функциональных эквивалентов разработана архитектура стековой машины. Определен состав команд стековой машины и их семантика.

5. Методика программирования синтаксических анализаторов средствами РФС-системы внедрена в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос в подсистемах «Учет учебной нагрузки преподавателей», «Успеваемость». Разработанные средства позволили обеспечить службы института нерегламентиро-ванной информацией по контингенту профессорско-преподавательского состава, а также сведениями об успеваемости студентов. Средствами РФС-системы реализован пакет прикладных программ, предназначенный для решения задачи анализа и синтеза сквозной программы специальности. Пакет внедрен в Главном научно-методическом центре ЦНИЙНТИ, использовался для анализа сквозной программы специальности 0620 для средних специальных учебных заведений. РФС-система использовалась в процессе разработки макроязыка при создании генератора вывода для задач учетно-статистического характера в ГВЦ РКСО. По результатам внедрения получены соответствующие акты (приложение 4).

Показать весь текст

Список литературы

  1. Директивы ХХ1У съезда КПСС по пятилетнему плану развития народного хозяйства СССР на 1971 — 1975 г. г. — М.: Политиздат, 1971.
  2. Постановление ЦК КПСС и СМ СССР от 28 августа 1983 г. «О мерах по ускорению научно-технического прогресса в народном хозяйстве». Коммунист, 1983, № 13.
  3. В.А. Задачи и перспективы развития производства и использования вычислительной техники в народном хозяйстве страны. В сб.: Алгоритмы и организация решения экономических задач. — М.: Статистика, вып. 13, 1979, с.6−28.
  4. В.Ю., Фомина А. Л. Некоторые проблемы математического обеспечения АСУ на современном этапе. В сб.: Алгоритмы и организация решения экономических задач. — М.: Статистика, вып. II, 1978, с.5−19.
  5. Вопросы эффективности систем управления, базирующихся на вычислительной технике (зарубежный опыт). М.: Йнформэлек-тро, 1975.
  6. Вычислительная техника за рубежом в 1982 г. Под общей редакцией В. С. Бурцева. М.: ИТМ и ВТ АН СССР, 1983.
  7. ЭВМ пятого поколения: Концепции, проблемы, перспективы. Предисл. Е. П. Велихова. М.: Финансы и статистика, 1984.
  8. Г. М., Петрова Т. В. О построении динамически расширяемого синтаксического анализатора по примерам предложений КС-языка. В сб.: Машинное обучение с помощью диалога. -М.: МДНТП, 1976, с.66−70.- 165
  9. Г. М., Петрова Т. В., Розова Е. Б. Об одном подходе к реализации расширяемого множества языков искусственного интеллекта. В сб.: Диалог в автоматизированных системах. — М.: МДНТП, 1981, с.90−96.
  10. Г. М., Петрова Т. В. Символьный процессор для анализа предложений на естественном языке. В сб.: Проектирование интеллектуальных систем. — М.: Атомиздат, 1980, с.94−104.
  11. Учет учебной нагрузки преподавателей. Технический и рабочий проект. Отчет НИР МИФИ. Гос. per. № 75 046 635, 1974.
  12. Подсистема АСУ МИФИ «Расчет нагрузки кафедр по отрезкам учебных планов». Рабочий проект. Отчет НИР МИФИ. Гос. per. Р 75 046 635, 1979.
  13. Подсистема АСУ МИФИ «Успеваемость». Рабочий проект. -Отчет НИР МИФИ, Гос. per. № 75 046 635, 1979.
  14. Разработка языка высокого уровня для анализа естественных языков. Отчет НИР МИФИ. Гос. per. Р 79 036 982, 1979.
  15. Разработка универсального языка преобразований для программирования интеллектуальной системы моделирования. Отчет НИР МИФИ. Гос. per. № 80 044 346, 1980.
  16. Методику построения интеллектуальной системы моделирования. Отчет НИР МИФИ. Гос. per. Р 80 044 346, 1980.
  17. Разработка математических основ имитационной модели.- 166
  18. Отчет НИР МШИ. Гос. per. № 81 098 899, 1981.^
  19. Построение формального описания имитационной модели. -Отчет НИР МИФИ. Гос. per. № 81 098 866, 1982.
  20. B.JI. и др. Информационная система ИНЭС. -Автоматика и телемеханика, № 6, 1979, с.109−121.
  21. И.В. и др. Программная система управления базами данных СИНБАД. В сб.: Алгоритмы и организация решения экономических задач. — М.: Статистика, вып. 6, 1975.
  22. Банк данных универсальной структуры. Калинин: Центр-программсистем, 1975.
  23. В.М., Назаров М. С., Рысевич S3.K. Использование систем управления базами данных в АСУ. В сб.: Алгоритмы и организация решения экономических задач. — М.: Статистика, вып. 13, 1979, с.29−38.
  24. Специализированный комплекс телеобработки разнородных баз данных. СУБД СПЕКТР. М.: НПО АСУ «Москва», 1982.
  25. Э.В. Общение с ЭШ на естественном языке. М.: Наука, 1982.
  26. Э.В., Фирдман Г. Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976.
  27. А.В., Хорошевский В. Ф., Преображенский А. Б. Программирование лингвистических процессоров. В сб.: Информационно-программное обеспечение систем искусственного интеллекта. М.: МДНТП, 1978, с.51−56.
  28. В.М., Родионов Е. В. Система, воспринимающая запросы на естественном языке: семантика и формирование ответа. В сб. Вопросы кибернетики. — М.: изд. АН СССР, вып.55, 1979, с.183−191.- 167
  29. Формальное описание структуры естественного языка.
  30. Сб.науч.труд, под ред. А. С. Нариньяни.-Новосибирск:Щ СО АН СССР, 1980.
  31. Т. Программа, понимающая естественный язык.-М.: Мир, 1976.
  32. П. Искусственный интеллект.- М.: Мир, 1980.
  33. Л.Т. Основы кибернетики. Том 2. Основы кибернетических моделей.- М.: Энергия, 1979.
  34. Л.Т. Интеллектуальные банки данных (ИБД).-В сб: Вопросы кибернетики., Вып.55, М.: АН СССР, 1979, с.5−17.
  35. Л.Т., Храмов A.A. Вопросы использования метаязыков для программного обеспечения системы искусственного интеллекта.- В сб.: Инж.-мат. методы в физ. и кибернет., М.: Атом-издат, 1977, вып.6, с.39−43.
  36. Л.Т. Интеллектуальные банки данных ИБД-84. Состояние и перспективы.- В сб.: Тезисы докладов 4-го семинара «Интеллектуальные банки данных», Нальчик, 1984, с.5−7.
  37. В.М. Основные принципы построения автоматизированных систем управления.- Киев: Унр. НИИНТИ, 1969.
  38. Л.Т., Щукин Б. А. Общие вопросы проектирования автоматизированных систем управления.- М.: МИФИ, 1975
  39. Гусев И.Т., Мухин Э.В."Сорокин A.C."Сумароков Л. Н. Методика разработки учебного плана.- В сб.: Использование ЭВМ в организации и планировании учебного процесса, М.: Высшая школа, I972, c. I76-I95.
  40. О.Г., Ситникова A.B. Оптимизация учебного плана.-В сб.: Кибернетика и исследование операций в управлении учебным процессом.-Рига: РПИ, 1984, с.40−43.
  41. .В. «Савельев А.Я., Власов В. П. «Карпов В. П. Применение ЭЦВМ для автоматизации процессов составления учебных- 168 планов и расписаний. В сб.: Использование ЭШ в организации и планировании учебного процесса. М.: Высшая школа, 1972, с.121−142.
  42. Методические рекомендации по составлению (совершенствованию) учебных планов средних специальных учебных заведений. -Отчет НИР НИИПВШ. Гос. per. № 79 070 030, 1979.
  43. Т.А., Г*убарь С.П., Стоянова Р. Д. Оптимизация учебного плана специальности вуза. В сб.: Кибернетика и исследование операций в управлении учебным процессом. — Рига- ЕЛИ, 1984, с.24−26.
  44. Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973.
  45. Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975.
  46. Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.
  47. Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
  48. С.Ю. Теория поиска вывода и некоторые ее применения. Кибернетика, 1975, Р4, с.134−144.
  49. Э. Искусственный интеллект. М.: Мир, 1978.
  50. Э., Нивергельт D., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980.
  51. Д. Искусство программирования для ЭВМ. T.I. Основные алгоритмы. М.: Мир, 1976.
  52. Дк. Обработка списков. М.: Мир, 1974.
  53. Лавров С*С., Силагадзе Г. С. Автоматическая обработка Язык ЛИСП и его реализация. М.: Наука, 1978.
  54. У. Введение в программирование на языке ЛИСП. -М.: Мир, 1976.- 169
  55. М.А., Габович Ю. Р., Пантелеев А. Г. Методические рекомендации по программированию и эксплуатации интерпретатора для алгоритмического языка ЛИСП в ОС ЕС. Киев: НИИАС, 1981.
  56. С.С. СНОБОЛ-А, язык для обработки строк. В сб.: Сообщения по вычислительной математике, вып.4, М.: ВЦ АН СССР, 1968.
  57. Программирование на языке РЕФАЛ (препринт). М.: ИПМ АН СССР, 1971, № 41, 43−44, 48−49.
  58. Базисный РЕФАЛ. Описание языка и основные приемы программирования. Труды ЦНИПИАСС, вып. У-33. М.: ЦНИПИАСС, 1974.
  59. Базисный РЕФАЛ и его реализация на вычислительных машинах. Труды ЦНИПИАСС, вып. У-40. М.: ЦНИПИАСС, 1977.
  60. В.Н. Язык программирования ПЛЭНЕР БЭСМ. -М.: МГУ, 1978.
  61. В.Н. Система программирования ПЛЭНЕР-БЭСМ. -М.: МГУ, 1982.
  62. В.Н. Язык ПЛЭНЕР. М.: Наука, 1983.
  63. В. Сетевые грамматики для анализа естественного языка. В кн.: Кибернетический сборник. Новая серия, вып. 13, М.: Мир, 1976, с.120−158.
  64. В.Ф. АТЫЬ язык представления лингвистических знаний в естественно-языковых системах. — В сб.: Вопросы кибернетики, вып. 55, М.: АН СССР, 1979, с.158−167.
  65. П., Футо И. ПРОЛОГ. Будапешт- Институт координации вычислительной техники, 1979.
  66. ., Патрик X. Недостатки логики. В кн.: Кибернетический сборник. Новая серия, вып. 13, М.: Мир, 1976, с.168−183.
  67. В.М., Вельбицкий И. В. Технология программирова- 170 ния и проблемы ее автоматизации, — Управляющие системы и машины, 1976, № 6, с.59−65.
  68. И.В. «Ходаковский В.Н., Шолмов Л. И. Технологический комплекс производства программ на машинах ВС ЭВМ и БЭСМ-6. М.: Статистика, 1980.
  69. Г. Надежность программного обеспечения.- М.:Мир, 1980.
  70. М., Лантен А. Теория формальных грамматик.- М.: Мир, 1971.
  71. С.Ю. О поиске вывода в исчислениях общего типа.-Зап. научн. семинаров ЛОМИ АН СССР, 1972, 32, с.59−65.
  72. С.Ю. Теория поиска вывода и вопросы психологии творчества.- Семиотика и информатика, 1979, 13, с.17−46.
  73. Г. Исследования по теории доказательств.- М.: Мир, 1981.
  74. А. Определение языков программирования интерпретирующими автоматами.- М.:Мир, 1977.
  75. П. Функциональное программирование. Применение и реализация.- М.: Мир, 1983.
  76. Г. М. Семантический подход к построению систем искусственного интеллекта.- В сб.: Тезисы докладов и сообщений 4-го семинара «Интеллектуальные банки данных».-Нальчик, 1984, с.45−48.
  77. П. Синтаксически ориентированный транслятор М.: Мир, 1969.
  78. Л. Методы построения компиляторов.-В сб.: Языки программирования.-М.:Мир, 1972, с.87−277.
  79. В.Н. Введение в системы программирования.- М.: Статистика, 1975.
  80. В.Ф. Автоматизация проектирования трансля- 171 торов на базе мета-алгоритмических языков. Дис. на соиск. учен, степени канд. техн. наук. М.: МИФИ, 1975.
  81. П. Вычислительные структуры. Введение в нечисловое программирование. М.: Мир, 1978.
  82. Д. Рекурсивные методы в программировании. М.: Мир, 1974.
  83. В. Методы рекурсивного программирования. М.: Машиностроение, 1983.
  84. Н. Систематическое программирование. Введение. -М.: Мир, 1977.
  85. Разработка методологии и моделей построения интеллектуальных диалоговых систем. Отчет НИР МИФИ. Гос. per. № 7 936 982, 1979.
  86. Методические рекомендации по разработке структурно-логических схем предметов и сквозных программ подготовки специалистов со средним специальным образованием. Киев: РНМК по ССО, 1979.
  87. Лалйп X a/yp^cdum Denr^fme-nt иглШшк Рчхи^ъошг-тт. i^fwW CUffa (N.3.)'- Pv"dtie,-HiM) 1982 ^ ?o. 350.
  88. НшМ Л., R Jn I ydwcUvction to Iy^imcUCn^ PwUbUrtf -V, CACM, 3) id6D, Л/% p.205~ZH.
  89. SQ.NwMA. ЪтжепМмугь of IPL-V. САСМ, 6} ±963, A/°3- p.86.
  90. W.Gdvmtw Л/. Я FORTRfiN c>wnpUw (, iid рысшнму? ctMfMbffe, ЖМ, 7, 4960, Л/% pJf-iOi.
  91. JicCotMy J. famctivn of afndouo Mbjowotwmoml ttitib wnfwtcdum Sf machine. CACM, 3} d960) р. Ú-k-i95.еЛ d. LISP iS Pwjwwwmi
  92. GpiWt**^, Лт. M.I.T. Ptju, d963.fifflwrM. Ш pvHfruvmminf Ьшумф,
  93. S P.- (Mmiiid^e, Лещ.: InfonmctUm Intewwtiu&ncU? ?96 к.94. wMw B.M. msP Щшш* Tech, fi/oteHuhl Mmlo PktA, UpuUf- № 6*
  94. Ynyw Ш OOMITj СйС-М, 6, me, M, /X 83.
  95. GiioucM A. et td> SN ОВОЩ ¡-НоутттСну to^^puf^-Nwr УочА — h&nbuu -ИиМ, ?968.
  96. ИшШ> t. P town vi: со Kwnywoocp, pi PwiUn-y, TUuiMvui Ro4o?6} Pwc- Id Intwь fonf. tm IydeU.- Budfcwlj
  97. Sw>iwwm
  98. JfavM 203, AI Lui. МГ. Т C, wyneucUfi) Лс*41.} i9H.102. 0. popler is нф^им moment ttriswi-uty o^ ftdmewiy } ScMoWsd) ?993.
  99. ЪУАмк X M-ifi J ZomyuMcp IntUfofenU-Uomfond Rmcvwi Institute} «Mmb РоиА} C, uM4>, ^993.
  100. VimiM* PtnM>wb. PROLOG-* Яц, fe^y ошЖ uh Imphn&rdcdifiH towpotswd -wtU LISP, — SI&PLAN NoUm} V.?2)N°8J1. W4, p- m-us.
  101. PiAHpMnmuviy, m PROLOG-. Spitnyw-Vebtny, i92?} p.279.106.
  102. Pulo у ИосцЖ Рыумтптьпу ^см^оос^ o<{ nfr&t уе-пе. -wbfopt,.- Computet, itfuafy} ?982 } и 33- ijvfi) //815} p. ?5.107. 5-th lUvw, &-KЫ Omf. w? ?iniif. 1нШ. г Рчосшкиу* of.
  103. ЬЫ и^епшеб) V. i}2.} MJ.T.} tovMinidojt, Jfom.^ 4944.
Заполнить форму текущей работой

Сессия? Спокойно!