Изобретание, проектирование, разработка и сопровождение) Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов icon

Изобретание, проектирование, разработка и сопровождение) Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов


1 чел. помогло.
Смотрите также:
Изобретание, проектирование...
Изобретание, проектирование...
Изобретание, проектирование...
Изобретание, проектирование...
Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов...
Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов...
Лекция: Этапы проектирования ис с применением uml: Основные типы uml-диаграмм...
Программа дисциплины интеллектуальные информационные системы индекс дисциплины по учебному плану...
Рабочая программа учебной дисциплины (модуля) Интеллектуальные системы принятия проектных...
Интеллект человека и искусственный интеллект...
Программа: Iдень...
Предмет и метод курса "Проектирование информационных систем"...



Загрузка...
страницы: 1   ...   6   7   8   9   10   11   12   13   ...   32
вернуться в начало
скачать

^ 7.7. Проблемы концептуальной информатики


Исследования любого типа и любого уровня всегда завершаются постановкой проблем. Ведь отсутствие проблем означает прекращение развития (или смерть науки или теории). Это в равной мере относится и к исследованиям концептуальной информатики. Разделы концептуальной информатики были рассмотрены не полно, поэтому и проблемы рассматриваются здесь только в самом общем виде и частично.


Для изучения определений крайне необходимы словари имен и терминов для построения трансляторов ЯПП и выявления слов из фраз. Словари составляются эффективно только при полной или хотя бы частичной автоматизации процессов сбора и анализа слов и словосочетаний. Для повышения эффективности Интеллсист и ее готовности решать задачи крайне необходимо создавать машинные словари. Они должны быть отлаженными и практически проверенными. Может быть в меньшей степени это относится и к машинным словарям из слов, но заслуживает самого ответственного подхода к вопросам создания машинных терминологических словарей. Конечно, полный терминологический словарь ЕЯ составить невозможно, поскольку термины имеют различные смыслы в языках различных специальностей. Поэтому речь может идти о профессиональном терминологическом словаре. Здесь еще имеются многочисленные проблемы создания машинных лексиконов по профессиям и словарей из слов в соответствии с текстами знаний. Построение единых и унифицированных словарей станет гарантом правильности передачи знаний для Интеллсист.


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


Имеется еще система проблем, связанная с анализом и синтезом текстов ЯПП. Общая формулировка проблемы такова: разработать алгоритмы распознавания по вводимой информации (текстам из символов букв, цифр и т.п.) терминов, понятий и определений понятий. Некоторые из этих проблем имеют решения, другие проблемы находятся на стадии постановки. Пожалуй, самой интересной проблемой в системе проблем является проблема распознавания понятий. Ее разрешение позволит приблизиться к автоматическому вводу знаний из учебников, пособий и руководств. Такой ввод знаний позволит контролировать точность знаний в учебниках, пособиях и руководствах. Имеющиеся в Интеллсист средства разрешают проблему поиска терминов или создания словаря из терминов по «сырому» тексту знаний, которые представляют самые различные публикации.


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


Имеются некоторые технические и алгоритмические проблемы анализа больших текстов и словарей. Сегодня анализу подвергаются тексты, которые характеризуются размерами до десятков и сотен Гб. Здесь трудно предвидеть предел роста размеров текстов. Они увеличиваются непрерывно и, как кажется, беспредельно. Словари больших размеров возникают при попытке объединения всевозможных ЯПП в единый язык. Проблема состоит в распознавании понятий с одинаковыми терминами по контексту большого размера. К этому надо добавить, что ЕЯ различных национальностей также объединяются во всеобщий язык. Размеры словарей складываются из числа внесенных слов (в нескольких регистрах букв), дат (они могут играть роль ключей для поиска), последовательностей знаков или строк. Этим не ограничивается перечень лексем, которые распознает и сохраняет та или иная система в словарях. Хорошие программы потенциально учитывают, что размеры словарей будут иметь порядок 2 - 5 млрд. единиц. Проблема заключается в поиске способов кодирования словарей для реализации эффективной идентификации их элементов с помощью большого словаря.


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


Литература


[Абрамов89] Абрамов С.А., Зима Е.В. Начала информатики М., Наука, 1989. - 256 с.

[Агафонов82] Агафонов В.Н. ^ Типы и абстракции данных в языках программирования. //В кн.: Данные в языках программирования. - М., Мир, 1982

[Агафонов87] Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск, Наука, 1987

[Айзерман90] Айзерман М.А., Алескеров Ф.Т. ^ Выбор вариантов. Основы теории. - М., Наука, 1990, - 237 с.

[Айламазян89] Айламазян А.К., Стась Е.В. Информатика и теория развития. - М., Наука, 1989. - 174с.

[Алгоритмы82] ^ Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем. - М., Наука, 1982. - 336 с.

[Алгоритмы90] Алгоритмы и программы решения задач на графах и сетях. - М., Наука, 1990, - 515с.

[Александров78] Александров В.В., Лапин А.Н. ^ К проблеме построения диалоговых систем хранения знаний. //В кн.: Автоматизация исследований и проектирования. - М., 1978

[Александров75] Александров Е.А. Основы теории эвристических решений. - М., Советское радио, 1975, - 254 с.

[Алексеев68] Алексеев П.М^ . Частотный словарь английского подъязыка электроник. //В сб.: Статистика речи. - Л., 1968

[Алексеева84] Алексеева З.Я., Стефанюк В.А. Экспертные системы - состояние и перспективы. //Изв. АН СССР, Техническая кибернетика, 1984, N 5

[Алексеева97] Алексеева Т.Н., Алексеев А.В., Гаврилин А.В., Товбис М.Б., Удалов В.А., Яковлева Т.А. ^ О региональном стандарте по информатике (предложение по разработке и внедрению). - М., Информатика и образование, 1997, N 5, с.8-10

[Алиев90] Алиев Р.А., Абдикеев Н.М., Шахназаров М.М. ^ Производственные системы с искусственным интеллектом. - М., Радио и связь, 1990, - 264 с.

[Алиев91] Алиев А.С., Восков Л.С., Ильин В.Н., Матвеев В.И., Садеков А.С., Сыпчук П.П., Чиннова И.И. ^ Интеллектуальные САПР технологических процессов в радиоэлектронике. - М., Радио и связь, 1991, 262 с.

[Альтшуллер73] Альтшуллер Г.С. Алгоритм изобретения. - М., Московский рабочий, 1973. - 296 с.

[Альтшуллер79] Альтшуллер Г.С. ^ Творчество как точная наука. Теория решения изобретательских задач. - М., Сов.радио, 1979, - 176с.

[Амамия93] Амамия М., Танака Ю. Архитектура ЭВМ и искусственный интеллект. - М., Мир, 1993, - 400 с.

[Амосов79] Амосов Н.М. ^ Алгоритмы разума. - Киев, Наукова думка, 1979, -220 с.

[Анализ84] Анализ и оптимальный синтез на ЭВМ систем управления. - М., Наука, 1984

[Анисимов83] Анисимов Б.В., Курганов В.Д., Злобин В.К^ . Распознавание и цифровая обработка изображени. - М., Высшая школа, 1983, - 295 с.

[Анохин73] Анохин П.К. Философский смысл проблемы естественного и искусственного интеллекта. - М., Вопросы философии, 1973, N 6

[Антонюк86] Антонюк Б.Д. ^ Экспертные системы в программе стратегической инициативы США. // В кн.: Персональные компьютеры и локальные сети. - Тбилиси, 1986, - с. 9-10.

[Апресян74] Апресян Ю.Л. ^ Лексическая семантика. - М., Наука, 1974

[Арбиб68] Арбиб М. Мозг, машина и математика. - М., Наука, 1968, - 224с.

[Аристотель] Аристотель. Сочинение. Т.1, - М., Мысль, 1976

[Арсак90] Арсак Ж. Программирование игр и головоломок.- М., Наука,1990, - 224 с.

[Атлантис] Документация по СУБД Атлантис. Препринт корпорации «Галактика», 1995

[Ахо78] Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. - М., Мир, 1978. Т.1. Синтаксический анализ. - 614с. Т.2. Компиляция. - 488 с.

[Ахо79] Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М., Мир, 1979, - 536 с.

[Баженов64] Бежанов Л.Б. О некоторых философских аспектах проблемы моделирования мышления кибернетическими устройствами. //В кн.: Кибернетика, мышление, жизнь. - М., 1964

[Базилевич89] Л.А.Базилевич. ^ Автоматизация организационного проектирования. - Л., Машиностроение ЛО, 1989. - 176 с.

[Бакланов78] Бакланов В.М., Попов Э.В. "Понимание" фраз ограниченного русского языка. - М., Изв. АН СССР, Техническая кибернетика, 1978, N 4.

[Бар88] Бар Р. ^ Язык Ада в проектировании систем. - М., Мир, 1988

[Барздинь82] Барздинь Я.М. Некоторые правила индуктивного вывода и их применения. //В сб. Семиотика и информатика, вып. 19, - М., ВИНИТИ, 1982

[Баронец86] Баронец В.Д. ^ Проектирование лингвистических устройств на основе нечеткой логики. //Автоматика и телемеханика, 1986, N 12

[Баррон74] Баррон Д. Рекурсивные методы в программировании. - М., Мир, 1974, - 80 с.

[Батурин] Батурин Ю.М. ^ Проблемы компьютерного права. - М., Юридическая литература, 1991, - 272 с.

[Бауэр76] Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс. - М., Мир, 1976

[Бауэр78] Бауэр Ф.Л., Гнац Р., Хилл У. ^ Информатика. Задачи и решения.- М., Мир, 1978, - 355 с.

[Бектаев69] Бектаев К.Б., Зубов А.В., Ковалевич Е.Ф., Машкина Л.Е., Нехай .А. К исследованию законов распределения лингвистических единиц. //В сб.: Статистика текстов. .Лингвостатистические исследования. - Минск, 1969

[Бектаев71] Бектаев К.Б., Лукьяненко К.Ф. ^ О законах распределения единиц письменной речи. //В сб.: Статистика речи и автоматический анализ текста. - Л., 1971, 1973, 1974

[Бектаев74] Бектаев К.Б., Пиотровский Р.Г., Шабес В.Я^ . Тезаурусное распознавание смысла документа в АСУ и АИС. //В сб.: Лингвистическое обеспечение автоматизированных систем управления и информационно-поисковых систем. - Тюмень, 1974

[Белецкая91] Белецкая Л.В., Липницкий С.Ф., Машковская И.П., Млынчик И.И. ^ Словарь по информатике. - Минск, Университетское, 1991, - 160 с.

[Белнап81] Белнап Н., Стил Т. Логика вопросов и ответов.- М., Прогресс,1981.- 287 с.

[Белоногов79] Белоногов Г.Г., Новоселов А.П. ^ Автоматизация процессов накопления, поиска и обобщения информации. - М., Наука, 1979

[Белый10] Белый А. Мысль и язык (философия языка А.А.Полтебни). //В сб.: Логос. - М., 1910

[Беляев86] Беляев И.П. ^ Структурная модель представления знаний. // В кн.: Психологическое обеспечение АСОУ. - Одесса, 1986. - с. 60-65.

[Бенерджи71] Бенерджи Р. Теория решения задач. Подход к созданию искусственного интеллекта. - М., Мир, 1971, - 224 с.

[Берг76] Берг А.И.,Бирюков Б.В.,Геллер Е.С.,Поваров Г.И. ^ Управление, информация, интеллект. - М., 1976

[Берж62] Берж К. Теория графов и ее применения. - М., ИЛ, 1962, - 320с.

[Берзтисс74] Берзтисс А.Т. Структуры данных. - М., Статистика, 1974, - 408 с.

[Бешенков97] Бешенков С.А., Давыдов А.Л., Матвеева Н.В. ^ Гуманитарная информатика в начальном обучении. - М., Информатика и образование, 1997, N 4, с.62-64

[Бидер76] Бидер И.Г., Большаков И.А. Формализация морфологического компонента модели "смысл-текст". 1. Постановка проблемы и основные понятия. - М., Изв. АН СССР, Техническая кибернетика, 1976, N 6

[Библиотека81] ^ Библиотека алгоритмов 151б - 200б. Справочное пособие. Вып.4. - М., Радио и связь, 1981

[Бирюков65] Бирюков Б.В. О взглядах Г.Фреге на роль знаков и исчисления в познании. //В сб.: Логическая структура научного знания. - М., 1965

[Блох87] Блох А.Ш. ^ Граф-схемы и алгоритмы. - Минск, Высшая школа, 1987, 144 с.

[Богодист74] Богодист В.И. Измерение смысловой информации лингвистической единицы французского языка. - Л., 1974

[Бойченко85] Бойченко Е.В., Кальфа В., Овчинников В.В.^ Локальные вычислительные сети. - М., Радио и связь, 1985. - 304 с.

[Бонгард67] Бонгард М.М. Проблема узнавания. - М., Наука, 1967, - 320 с.

[Бондаренко97] Бондаренко Н.В., Северова Т.С., Соколовский М.В., Толстых Г.Д. ^ О концепции обучения информатике в школе. - М., Информатика и образование, 1997, N 1, с.19-22

[Бордовский91] Бордовский Г.А., Извозчиков В.А., Исаев Ю.В., Морозов В.В. Информатика в понятиях и терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208с.

[Борисов89] Борисов А.Н., Алексеев А.В., Меркурьев Г.В., Слядзь Н.Н., Глушков В.И. ^ Обработка нечеткой информации в системах принятия решений. - М., Радио и связь, 1989. -304с.

[Бохуа82] Бохуа Н.К., Геловани В.А., Ковригин О.В., Смольянов Н.Д. Экспертная система диагностики различных форм артериальной гипертензии. - М., Изв. АН СССР, Техническая кибернетика, 1982, N 6

[Боэм85] Боэм Б.У. ^ Инженерное проектирование программного обеспечения. - М., Радио и связь, 1985, - 511 с.

[Брандон70] Брандон Д.Х. Организация работы на вычислительном центре. - М., Статистика, 1970, - 296 с.

[Братко90] Братко И. ^ Программирование на языке Пролог для искусственного интеллекта. - М., Мир, 1990, - 560 с.

[Братчиков75] Братчиков И.Л. Синтаксис языков программирования. - М., Наука, 1975

[Браун77] Браун П. Микропроцессоры и мобильность программного обеспечения. - М., Мир, 1977, - 255 с.

[Бриллюэн66] Бриллюэн Л.^ Научная неопределенность и информация. - М., Мир, - 271 с.

[Бритон79] Бритон Д.Б. Новая компьютерная архитектура, основанная на потоке данных. - М., Электроника, 1979, N 9

[Бродская81] Бродская И.М., Камынин С.С. ^ Система машинного видения для анализа сцен. //В кн.: Проблемы машинного видения в робототехнике. ИПМ АН СССР, - М., 1981

[Броуди90] Броуди Л. Начальный курс программирования на языке Форт. - М., Финансы и статистика, 1990, - 352 с.

[Брукс79] Брукс Ф.П. мл. ^ Как проектируются и создаются программные комплексы. Мифический человеко-месяц. Очерки по системному программированию. - М., Наука, 1979, - 152 с.

[Брусницов79] Брусницов Н.П. Микрокомпьютеры. - М., Наука, 1979

[Брябрин81] Брябрин В.М. Ф-язык - формализм для представления знаний в интеллектуальной системе. //В сб.: Прикладная информатика. Вып. 1, Финансы и статистика, - М., 1981

[Брябрин88] Брябрин В.М. ^ Программное обеспечение персональных ЭВМ. - М., Наука, 1988, - 271 с.

[Булос94] Дж.Булос, Р.Джеффри. Вычислимость и логика. - М., Мир, 1994, - 397 с.

[Бусленко78] Бусленко Н.П. ^ Моделирование сложных систем. - М.,Наука,1978, 399 с.

[Вагин86] Вагин В.Н. Параллельная дедукция на семантических сетях. //Изв. АН СССР, Техническая кибернетика, 1986, N 5

[Вагин87] Вагин В.Н., Захаров В.Н., Розенблюм Л.Я. ^ К логическому выводу на сетях Петри. //Изв.АН СССР, Техническая кибернетика, 1987, N 5

[Ван Дейк78] Ван Дейк Т. Вопросы прагматики текста. //В кн.: Новое в лингвистике. Вып. VIII. Лингвистика текста. - М., 1978

[Василеску90] Василеску Ю. ^ Прикладное программирование на языке Ада. - М., Мир, 1990, - 350 с.

[Вегнер83] Вегнер П. Программирование на языке Ада. - М.,Мир,1983,- 240с.

[Вейль89] Вейль Герман. ^ Математическое мышление. - М., Наука,1989,- 400с.

[Велихов86] Велихов Е.П. Информатика - актуальное направление развития советской науки. //Кибернетика. Становление информатики. - М., Наука, 1986, с.10-21

[Вельбицкий80] Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. ^ Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. - М., Статистика, 1980, - 263 с.

[Ветров68] Ветров А.А. Семиотика ее основные проблемы. - М., 1968

[Винер66] Винер Н. Творец и робот. Обсуждение некоторых проблем, в которых кибернетика сталкивается с религией. - М., Прогресс, 1966

[Винер68] Винер Н.^ Кибернетика или управление и связь в живом и машине. - М., Советское радио, 1968, - 340 с.

[Виноград76] Виноград Т. Программа, понимающая естественный язык. -М., Мир, 1976

[Виноградов86] Виноградов В.И. Информационно-вычислительные системы: Распределенные модульные системы автоматизации. - М., Энергоатомиздат, 1986. - 336 с.

[Вирт77а] Вирт Н. ^ Систематическое программирование: Введение. - М., Мир, 1977

[Вирт77б] Вирт Н. Язык программирования Паскаль (Пересмотренное сообщение). //В сб.: Алгоритмы и организация решения экономических задач. вып. 9, - М., Статистика, 1977

[Вирт85] Вирт Н. ^ Алгоритмы + структуры данных = программы. - М., Мир, 1985, - 408 с.

[Власов88] Власов В.К., Королев Л.Н., Сотников А.Н. Элементы информатики. - М., Наука, 1988. – 320 с.

[Воз84] Воз Л. ^ Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем. //Кибернетический сборник. Вып.21, - М., Мир, 1984, с.235-263

[Воронов90] Воронов Ю.П. ^ Компьютеризация: Шаг в будущее. - Новосибирск: Наука, 1990. - 336 с.

[Восилюс80] Восилюс С.К., Мачераускас В.Ю. Фреймовое представление знаний в системах управления качеством. //В кн.: Представление знаний в системах искусственного интеллекта. - М., 1980

[Вудс76] Вудс В.А. ^ Сетевые грамматики для анализа естественного языка. Кибернетический сборник, вып. 13, - М., Мир, 1976

[Вулф87] Вулф А. Модули на базе однокристального Лисп-процессора для ЭВМ военного назначения. //Электроника, 1987, т.60, N 5, с.27-31

[Высоцкий70] Высоцкий Г.Я., Рудный Б.Н., Трунин-Донской В.Н., Цемель Г.И. ^ Опыт речевого управления вычислительной машиной. Изв. АН СССР, Техническая кибернетика, 1970, N 2

[Выч67] Вычислительные машины и мышление. - М., Мир, 1967, - 552 с.

[Выч78] Вычислительная техника и обработка данных. Терминологический толковый словарь фирмы IBM. - М., Статистика, 1978, - 232 с.

[Гаврилова00] Гаврилова Т.А., Хорошевский В.Ф. ^ Базы знаний интеллектуальных систем (Учебник). Санкт-Петербург, Москва – Харьков – Минск, 2000, - 384 с.

[Гавурин63] Гавурин М.К. О ценности информации. Вестник ЛГУ. Сер. математики, механики и астрономии. N 19, вып. 4, 1963

[Гаек84] Гаек П., Гавранек Т. ^ Автоматическое образование гипотез. Математические основы общей теории. - М., Наука, 1984. - 278 с.

[Гантер81] Гантер Р. Методы проектирования программного обеспечения. - М., Мир, 1981

[Гетманова95] Гетманова А.Д. Логика. Для педагогических учебных заведений. -М., Новая школа, 1995, - 416 с.

[Ги86] Ги К. ^ Введение в локальные вычислительные сети. - М., Радио и связь, 1986. - 176 с.

[Гилой81] Гилой В. Интерактивная машинная графика: структуры данных, алгоритмы, языки. - М., Мир, 1981, - 384 с.

[Гильберт79] Гильберт Д., Бернайс П. ^ Основания математики. Логические исчисления и формализация арифметики. - М., Наука, 1979, - 558с.

[Гильберт82] Гильберт Д., Бернайс П. Основания математики. Теория доказательств. - М., Наука, 1982, - 653 с.

[Гинзбург70] Гинзбург С. ^ Математическая теория контекстно-свободных языков. - М., Мир, 1970, - 327 с.

[Гласс82] Гласс Р. Руководство по надежному программированию. - М., Финансы и статистика, 1982

[Гласс83] Гласс Р., Нуазо Р.^ Сопровождение программного обеспечения. - М., Мир, 1983, - 156 с.

[Глушков71] Глушков В.М., Гринченко Г.А. АНАЛИТИК. - К., Кибернетика,1971, N 3

[Глушков79] Глушков В.М. ^ Фундаментальные исследования и технология программирования. //В кн.: Технология программирования. - К., ИК АН УССР, 1979

[Глушков82] Глушков В.М. Основы безбумажной информатики. - М., Наука, 1982, - 552 с.

[Глушков90] Глушков В.М. Кибернетика, вычислительная техника, информатика. Избранные труды в трех томах. Т.1. Математические вопросы кибернетики. - 264 с. Т.2. ЭВМ - техническая база кибернетики. - 268 с. Т.3. - Киев, Наукова думка, 1990

[Голендер81] Голендер В.Е. Индуктивная логика и методы обнаружения закономерностей. //В кн.: Машинные методы обнаружения закономерностей. - Рига, 1981

[Головкин80] Головкин Б.А. Параллельные вычислительные системы. - М., Наука, 1980. - 520 с.

[Горстко88] Горстко А.Б. Кочковая С.В. Азбука программирования. (Информатика для всех). - М., Знание, 1988, - 144 с.

^ [ГОСТ89] ГОСТ 28195-89. Оценка качества программных средств. Общие положения. Государственный комитет СССР по стандартам. - М., Издательство стандартов, 1989, - 38 с.

[Грей89] Грей П. Логика, алгебра и базы данных.- М., Машиностроение,1989,- 368 с.

[Гренандер83] Гренандер У. Лекции по теории образов. - М., Мир. Т.1.Синтез образов. 1979, - 384 с. Т.2. Анализ образов. 1981, - 446 с. Т.3. Регулярные структуры. 1983, - 345 с.

[Грис75] Грис Д. Конструирование компиляторов для цифровых вычислительных машин. - М., Мир, 1975, - 416 с.

[Грис84] Грис Д. ^ Наука программирования. - М., Мир, 1984, - 416 с.

[Гришин82] Гришин Е.А., Билялитдинов А.Х. Структура языка представления знаний KRL. //Техника средств связи. Сер. АСИ, N 1, 1982

[Громов85] Громов Г.Р. ^ Национальные информационные ресурсы: Проблемы промышленной эксплуатации. - М., Наука, 1985, - 237 с.

[Громов87] Громов Г.Р. Игровая компонента персональных ЭВМ: стимулятор творчества, педагогический прием, жанр киноискусства. - М., Микропроцессорные средства и системы, 1987, N 3

[Гросс71] Гросс М., Лантен А. ^ Теория формальных грамматик. - М., Мир, 1971

[Гудман81] Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. - М., Мир, 1981, - 368 с.

[Гудстейн70] Гудстейн Р.Л. ^ Рекурсивный математический анализ. - М., Наука, 1970, - 472 с.

[Гутер75] Гутер Р.Ц., Полунов Ю.Л. От абака до компьютера. - М., Знание, 1975, - 208 с.

[Дал69] Дал У., Мюрхауг Б., Нюгорд К. ^ СИМУЛА 67 - универсальный язык программирования. - М., Мир, 1969

[Дал75] Дал У., Дейкстра Э., Хоор К.




оставить комментарий
страница10/32
Дата23.09.2011
Размер6.34 Mb.
ТипДокументы, Образовательные материалы
Добавить документ в свой блог или на сайт

страницы: 1   ...   6   7   8   9   10   11   12   13   ...   32
отлично
  1
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх