А. А. Красилов информатика в семи томах том Информатика смысла Машинная лингвистика



страница21/23
Дата01.08.2016
Размер4.61 Mb.
1   ...   15   16   17   18   19   20   21   22   23
Часть текста (предложение или фраза) называется мыслишкой. Из них состоит вся мысль, если смысл текста можно установить по контексту этой части. Полный текст или его часть (мыслишка) состоят из лексических элементов - чисел, строк, символов, терминов (представляющих понятия), комментариев, прагм и ограничителей. Их синтаксис определяется в ЯЛ. Выделение лексических элементов важно (это видно по грамматикам ЕЯ). Только полная лексема передает мысль или ее часть - мыслишку. Система реализует два параллельных просмотра исходного текста. Мыслишка должна быть правильной. При обнаружении ошибок в мыслишках (как в лексических элементах) трансляция данной мыслишки считается не состоявшейся. Если мыслишки в совокупности не определяют мысли, то система делает попытку уточнения некоторых мыслишек, которых недостает для формирования смысла. Для уточнения смысла система формирует вопросы для пользователя и по ответу доформировывает мысль.
Сущность анализа мыслишек состоит в том, что исходный текст анализируется до появления какой-либо ошибки. Ошибка запоминается, а вместо ошибочной конструкции подставляется «правильная». Анализ текста продолжается до следующей ошибки. Процесс подстановок псевдотекстов продолжается рекурсивно. Одновременно анализируется контекст, с помощью которого уточняются мыслишки, а «псевдотекст» заменяется на истинный. Если такая процедура не приводит в конечном счете к положительному результату, то ошибка «легализуется» и указывается пользователю. Конечно, пользователю сообщаются все места с псевдотекстами и причины их подстановок. Пользователь сам принимает окончательное решение о правильности анализа текста. Он может отменить подобные сообщения, доверяя Интеллсист и ее анализу текста (это важно при решении задач в реальном времени). Показанная сущность анализа мыслишек остается только идеей, которая вполне заслуживает внимания и требует детальной проработки и реализации.
Каждый символ или каждый лексический элемент инициируют несколько мыслишек. Все они поддерживаются диспетчером мыслишек. Каждый языковый элемент ведет или отменяет мыслишки. В итоге работы (по смысловому концу мыслишек) диспетчер формирует в результате следующие ситуации:

  • каждый лексический элемент может порождать начало новой мыслишки, которая может и не закончиться;

  • осталась одна законченная мыслишка - это благоприятный вариант грамматического анализа;

  • не осталось ни одной законченной мыслишки - это порождает ошибку, которую можно назвать смысловой;

  • осталось две и более мыслишек (неоднозначность толкования запроса), что приводит к ошибкам в запросе, которые интерпретируются отсутствием договоренности пользователя с Интеллсист (можно продолжить рассмотрение текста, но с отрицательным конечным результатом).

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


Литература
[Абрамов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 с.

[Атлантис] Документация по СУБД Атлантис.

[Ахо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] Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М., Мир, 1975, - 248 с.

[Дейкало84] Дейкало Г.Ф., Новиков Б.А., Рухлин А.П., Терехов А.Н. Новые средства программирования на ЕС ЭВМ. Транслятор с языка Алгол 68 и диалоговая система JEС. - М., Финансы и статистика, 1984, - 208 с.

[Дейкстра78] Дейкстра Э. Дисциплина программирования. - М., Мир, 1978, - 277 с.

[Дейт80] Дейт К. Введение в системы базы данных. - М., Наука, 1980

[Дейт88] Дейт К. Руководство по реляционной СУБД DB2. - М.: Финансы и статистика, 1988. - 320 с.

[Дембаускас87] Дембаускас А.П. Финансовая информатика. - М., Финансы и статистика, 1987, 207 с.

[Деметрович89] Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. - М., Мир, 1989. - 115 с.

[Денинг84] Денинг В., Эссиг Г., Маас С. Диалоговые системы "человек-ЭВМ". Адаптация к требованиям пользователя. - М., Мир, 1984

[Джадд75] Джадд Д.Р. Работа с файлами. - М., Мир, 1975

[Джехани88] Джехани Н. Язык Ада. - М., Мир, 1988, - 552 с.

[Джордж63] Джордж Ф. Мозг как вычислительная машина. - М., ИИЛ,1963, - 546 с.

[Добровольский89] ДобровольскийВ.Ю. Текстовый процессор microsoft WORD (для IBM совместимых персональных компьютеров). Версия 4.0, руководство по эксплуатации. - М., 1989, 122 с.

[Доорс90] Доорс Дж., Рейблейн А.Р., Вадера С. ПРОЛОГ - язык программирования будущего. - М., Финансы и статистика, 1990, - 143 с.

[Дородницын85] Дородницын А.А. Информатика: Предмет и задачи. Вестник АН СССР, N 2, 1985, с.85-89

[Дрейфус78] Дрейфус Х. Чего не могут вычислительные машины? Критика искусственного разума. - М., Прогресс, 1978

[Дробушевич78] Дробушевич Г.А. Справочник программиста. - Минск, Вышятная школа, 1978, - 192 с.

[Дуда76] Дуда Р., Харт П. Распознавание образов и анализ сцен. - М., Мир, 1976

[Дэвис82] Дэвис Д., Барбер Д., Прайс У., Соломонидес С. Вычислительные сети и сетевые протоколы. - М., Мир, 1982. - 562 с.

[Дюбуа90] Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике. - М., Радио и связь, 1990, - 287 с.

[Евстигнеев85] Евстигнеев В.А. Применение теории графов в программировании. - М., Мир, 1985

[Ершов72а] Ершов А.П. О человеческих и эстетических факторах в программировании. - К., Кибернетика, N 5, 1972

[Ершов72б] Ершов А.П. Технология разработки систем программирования. //В кн.: Системное и теоретическое программирование. Новосибирск, ВЦ СО АН СССР, 1972

[Ершов77] Ершов А.П. Введение в теоретическое программирование. Беседы о методе. - М., Наука, 1977, - 288 с.

[Ершов82] Ершов А.П., Ильин В.П. Пакеты программ как методология решения прикладных проблем. //В сб.: Пакеты прикладных программ; проблемы и перспективы. - М., Наука, 1982

[Ершов83] Ершов А.П.


Каталог: files
files -> Чисть I. История. Введение: Предмет философии науки Глава I. Философия науки как прикладная логика: Логический позитивизм
files -> Занятие № Философская проза Ж.=П. Сартра и А. Камю. Философские истоки литературы экзистенциализма
files -> -
files -> Взаимодействие поэзии и прозы в англо-ирландской литературе первой половины XX века
files -> Эрнст Гомбрих История искусства москва 1998
files -> Питер москва Санкт-Петарбург -нижний Новгород • Воронеж Ростов-на-Дону • Екатеринбург • Самара Киев- харьков • Минск 2003 ббк 88. 1(0)
files -> Антиискусство как социальное явлеНИе
files -> Издательство
files -> Список иностранных песен
files -> Репертуар группы


Поделитесь с Вашими друзьями:
1   ...   15   16   17   18   19   20   21   22   23


База данных защищена авторским правом ©uverenniy.ru 2019
обратиться к администрации

    Главная страница