Главная > Документ


//В сб.: Прикладные и экспериментальные лингвистические процессоры. Новосибирск, 1982

[Кларк87] Кларк К., Маккейб Ф. Введение в логическое программирование на микро-Прологе. - М., Радио и связь, 1987, - 312 с.

[Классификация80] Классификация и кластер. - М., Мир, 1980, - 391 с.

[Клещев82] Клещев А.С., Черняховский М.Ю. Системы представления проблемно-ориентированных знаний. Изв. АН СССР, Техническая кибернетика, N 5, 1982

[Клини73] Клини С.К. Математическая логика. - М., Мир, 1973. - 480 с.

[Клини78] Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. - М., Наука, 1978, - 272 с.

[Клир90] Клир Дж. Системотология. Автоматизация решения системных задач. - М., Радио и связь, 1990, - 540 с.

[Клоксин87] Клоксин У., Меллиш К. Программирование на языке ПРОЛОГ. - М., Мир, 1987, - 336 с.

[Кнут76] Кнут Д.Е. Искусство программирования для ЭВМ. Т.1. Основные алгоритмы. - М., Мир, 1976, - 736 с. Т.2. Получисленные алгоритмы. - М., Мир, 1977, - 726 с. Т.3. Сортировка и поиск. - М., Мир, 1978, - 846 с.

[Ковальски90] Ковальски Р. Логика в решении проблем. - М., Наука, 1990, - 279 с.

[Когаловский92] Когаловский М.Р. Технология баз данных на персональных ЭВМ. - М., Финансы и статистика, 1992, - 224 с.

[Колин75] Колин А. Введение в операционные системы. - М., Мир, 1975, - 116 с.

[Коллинз86] Коллинз Г., Блэй Дж. Структурные методы разработки систем: от стратегического планирования до тестирования. - М., Финансы и статистика, 1986

[Колмогоров65] Колмогоров А.Н. Три подхода к определению понятия ";количество информации";. //В кн.: Проблемы передачи информации, т.1, вып.1, - М., 1965

[Компьютер86] Компьютерная алгебра. Символьные и алгебраические вычисления. //Сб. статей. - М., Мир, 1986, - 392 с.

[Компьютер88] Компьютерные игры. - Л., Лениздат, 1988, - 168 с.

[Компьютер90] Компьютеры и познание: очерки по когнитологии. //Сб. статетй. - М., Наука, 1990, - 128 с.

[Кондаков71] Кондаков Н.И. Логический словарь. - М., Наука, 1971, - 656с.

[Кондратов87] Кондратов А.М. Электронный разум. Очерк исследований по проблеме искусственного интеллекта. - М., Знание, 1987, - 170с.

[Кондрашина79] Кондрашина Е.Ю. Элементы семантического представления локативных связей. //В кн.: Новые задачи в информатике. Новосибирск, 1979

[Кондрашина89] Кондрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах. - М., Наука, 1989, - 328 с.

[Конторов93] Конторов Д.С., Конторов М.Д., Слока В.К. Радиоинформатика. - М., Радио и связь, 1993, - 296 с.

[Косарев89] Косарев Ю.А. Естественная форма диалога с ЭВМ. - Л., Машиностроение ЛО, 1989. - 144 с.

[КотовВЕ84] Котов В.Е. Сети Петри. - М., Наука, 1984. - 160 с.

[КотовВЕ91] Котов В.Е., Сабельфельд В.К. Теория схем программ. - М., Наука, 1991, - 248 с.

[КотовРГ79] Котов Р.Г., Якушин Б.В. Языки информационных систем. - М., Наука, 1979

[КотовЮВ88] Котов Ю.В. Как рисует машина. - М., Наука, 1988

[Коуги85] Коуги П.М. Архитектура конвейерных ЭВМ. - М., Радио и связь, 1985

[Коутс90] Коутс Р., Влейминк И. Интерфейс ";человек-компьютер";. - М., Мир, 1990, - 501 с.

[Коэн75] Коэн Ф., Милопулос Д., Борджиа А. Некоторые аспекты представления знаний. //Тр. IV МОКИИ, т.2, - М., 1975, т.10.

[Крайзель81] Крайзель Г. Исследования по теории доказательств. - М., Мир, 1981

[Крайзмер68] Крайзмер Л.П., Матюхин С.А., Майоркин С.Г. Память кибернетических систем (основы мнемологии). - Л., 1968

[Крамм89] Крамм Р. Системы управления базами данных dBASEII и dBASEIII для персональных компьютеров. М., Финансы и статистика, 1989, - 384 с.

[Красилов56а] Красилов А., Наголкин А.Н., Князев Б.А., Толстых Е.Т., Кукин В.И. Метод автоматического программирования на автоматической быстродействую-щей цифровой вычислительной машине. Рукопись МКБ «Стрела», 1956, 51 с.

[Красилов56б] Красилов А., Федосеев В., Закамский В., Воронова А., Ганина А., Гусева. Программа для автоматического программирования задач на машине СТ-2 (Программирующая программа № 1). Рукопись МКБ «Стрела», 1956, 64 с.

[Красилов59] Козлов С.И., Красилов А.А. Электронные вычислительные машины в подготовке производства. //Производственно технический бюллетень, N 10, 1959, - М., Дом техники, с.62-64

[Красилов67] Красилов А.А. Курс программирования на языке АЛГОЛ. Препринт ЦКБ «Алмаз», 1967, - 119 с.

[Красилов68а] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Система автоматизации программирования для вычислительной машины М-222. Алгоритм-1. Препринт ЦКБ «Алмаз», 1968, - 180 с.

[Красилов 68б] Богомаз Н.А., Красилов А.А. Система команд вычислительной машины М-220. Препринт ЦКБ ";Алмаз";, 1968, - 91 с.

[Красилов70а] Красилов А.А., Дригваль Г.П. Вопросы автоматизации программирования для ЦИМ. Тр. конф. - Таганрог., 1970

[Красилов706] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Репникова Л.А. Система автоматизации программирования для вычислительной машины М-222. Алгоритм-2. Препринт ЦКБ «Алмаз», 1968, - 116 с.

[Красилов70в] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Репникова Л.А. Система автоматизации программирования для вычислительной машины М-222. Алгоритм-3. Препринт ЦКБ «Алмаз», 1968, - 24 с.

[Красилов70г] Красилов А.А. ЯМО - язык математического обеспечения. Препринт ЦКБ «Алмаз», - М., 1970, 55 с.

[Красилов71а] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Реализация на ЭВМ М-220 языка типа Алгол 60. ЖВМиМФ, т.11, N 4, - М., 1971, с. 1075-1078

[Красилов71б] Красилов А.А., Горельков А.Л., Лейтес В.Л., Жданова Н.Л. Алгоритм синтеза тестовых и диагностических таблиц для комбинационных логических схем. Доклад на XVII научной конференции МФТИ, г. Долгопрудный, 1971

[Красилов72] Красилов А.А., Ксенофонтов Ю.И. Система автоматического программирования. Язык базовый Фортран. Препринт ЦКБ «Алмаз», - М., 1972, 87 с.

[Красилов73а] Красилов А.А., Ксенофонтов Ю.И. Библиотека стандартных программ ЭВМ ";РИТМ";. Препринт ЦКБ ";Алмаз";, 1973, - 232 с.

[Красилов73б] Красилов А.А., Герасимов Ю.А. Автоматизация аналитических выкладок на ЭВМ. Доклад на XIX научной конференции МФТИ, г. Долгопрудный, 1973

[Красилов73г] Красилов А.А. Программирование КС-языков. Доклад на XIX научной конференции МФТИ, г. Долгопрудный, 1973

[Красилов74а] Красилов А.А., Лейтес В.Л., Лоскутов В.Г. Использование свойств языка Алгол-68 в автокоде. //Тр. ХIХ Научн. конф. МФТИ, 1973, Сер. Аэромех. и процессы управления - Долгопрудный, 1974, вып.3, с.143-146

[Красилов74б] Красилов А.А., Лейтес В.Л. Формульный автокод ФРАК26 (руководство пользователю). Препринт ЦКБ ";Алмаз";, 1974, - 93с.

[Красилов74в] Красилов А.А. Программирование КС-языка. //Тр. ХIХ Научн. конф. МФТИ, 1973, Сер. Аэромех. и процессы упр. - Долгопрудный, вып.3, 1974, с.135-142

[Красилов74г] Красилов А.А., Петрушкин П.Н. Конструкторпрограмм грамматического разбора. Доклад на XX научной конференции МФТИ, г. Долгопрудный, 1974

[Красилов75а] Красилов А.А. Программирование формальных языков. Препринт ЦКБ ";Алмаз";, 1975, - 242 с.

[Красилов75б] Красилов А.А. Основные результаты и направления в студенческих работах по системному программированию. Доклад на XXI научной конференции МФТИ, г. Долгопрудный, 1975

[Красилов75в] Красилов А.А. Применение машины грамматического разбора в программировании алгоритмов АСУ. Тезисы докл. и сообщ. Семинара «Программное обеспечение задач АСУ и ЭВМ», - М., 1975, с. 14-15

[Красилов75г] Красилов А.А. Библиотека стандартных программ ЭВМ «Ритм» Препринт ЦКБ ";Алмаз";, 1975, - 232 с.

[Красилов77] Красилов А.А. О программировании классов задач. Доклад на XXIII научной конференции МФТИ, г. Долгопрудный, 1977

[Красилов78а] Красилов А.А. Система команд машины грамматического разбора. АН СССР, Программирование, - М., 1978, N 2

[Красилов78б] Красилов А.А. Формульные автокоды - высокоуровневые машинно-ориентированные языки системного программирования. //В сб. Всесоюзного симпозиума, Новосибирск, 1978

[Красилов78в] Броль В.В., Красилов А.А., Маслов А.Н. Язык программирования Алгол 68. Итоги науки и техники. Теория вероятностей. Математическая статистика. Теоретическая кибернетика. Т.15, ВИНИТИ, - М., 1978, с.165-234

[Красилов79а] Красилов А.А., Ксенофонтов Ю.И. Граф языка Алгол-68. Тр. ЦКБ ";Алмаз";, 1979, 24 с.

[Красилов79б] Красилов А.А., Горельков А.Л., Косырев В.Е. Структура математического обеспечения системы управления металлорежущими станками. Доклад на XXV научной конференции МФТИ, г. Долгопрудный, 1979

[Красилов80] Красилов А.А., Технология программирования. Доклад на XXVI научной конференции МФТИ, г. Долгопрудный, 1980

[Красилов81а] Красилов А.А., Горельков А.Л. и др. Структура операционных систем комплекса ЭВМ для управления станками. - Киев, УСиМ, 1981, N 4, с.134-139

[Красилов81б] Красилов А.А., Горельков А.Л., Львов В.М. Система команд машины диалога. Доклад на XXVII научной конференции МФТИ, г. Долгопрудный, 1981

[Красилов 81в] Горельков А.Л., Красилов А.А. и др. Структура операционных систем комплекса ЭВМ для управления станками. - Киев, УСиМ, 1981, N 4

[Красилов 81г] Красилов А.А., Лейтес В.Л. Языки в технологии разработки управляющих ЭВМ АСУ. Обмен опытом в радиопромышленности, - М., 1981

[Красилов83а] Красилов А.А. Язык программирования Ада - основа новой технологии программирования. //Тр. семинара ";Прогрессивная технология программирования";, - М., МДНТП, 1983, с.42-44

[Красилов83б] Красилов А.А., Горельков А.Л. МГР-технология разработки транслирующих систем. //В сб.: Прогрессивная технология программирования. - М., МДНТП, 1983, с.89-91

[Красилов83в] Красилов А.А., Горельков А.Л. АЛМАЗ - язык системы управления многооперационными и многокоординатными станками. Часть 1. Пус - язык программ управления станками. Препринт ЦКБ ";Алмаз";, 1983, - 179 с.

[Красилов83г] Красилов А.А., Леонова В.П., Пронина М.Ф. Англо-русский терминологический словарь по единой системе ЭВМ. Препринт ЦКБ ";Алмаз";, 1977 и 1983, - 215 с.

[Красилов 83д] Красилов А.А. Единый язык программирования. Доклад на XXIX научной конференции МФТИ, г. Долгопрудный, 1983

[Красилов85а] Красилов А.А., Герасимов Ю.А., Громов А.А., Косырева О.Е., Черных А.П., Шатилова С.С. Программирование преобразований программ в системе аналитических выкладок АНАЛИЗ. // Тр. конф.: Синтез программ. Устинов, 1985

[Красилов85б] Красилов А.А. Слово об информатике. Доклад на XXXI научной конференции МФТИ, г. Долгопрудный, 1985

[Красилов85в] Красилов А.А., Милков В.Е. Расширение языка Ада для системы синтеза программ. Доклад на XXXI научной конференции МФТИ, г. Долгопрудный, 1985

[Красилов86а] Красилов А.А., Горельков А.Л. Стили программирования. М., МФТИ, 1986, - 83 с.

[Красилов86б] Красилов А.А., Лейтес В.Л., Фадеева Е.П., Хитров В.А., Чепкасов В.П. Реализация языка Ада на ЭВМ БЭСМ-6. Программирование, - М., 1986, N 3, с.60-70

[Красилов86в] Krassilov A.A., Sukhikh A.J., Milkov V.E. Ada language extension - entrance language for program synthesis system. In:EVT, 1986, no.2, pp.78-87.

[Красилов87а] Красилов А.А. Язык Ада в основах информатики. // Тезицы докл. Применение и реализация языка программирования Ада. РПИ, - Рига, 1987, с.5

[Красилов87б] Красилов А.А., Сухих А.Ю. Расширение языка Ада - входной язык системы синтеза программ. // Тезисы докл. Применение и реализация языка программирования Ада. РПИ, - Рига, 1987, с65

[Красилов87в] Красилов А.А. Краткий терминологический словарь по информатике (с библиографией). Препринт ЦКБ «Алмаз», 1987, 74 с.

[Красилов88а] Красилов А.А. Методы информатики. Препринт ЦКБ ";Алмаз";, 1988, - 276 с.

[Красилов88б] Красилов А.А. Язык программирования Ада в технологии программирования. //В сб.: Программное обеспечение систем автоматизированного проектирования, РПИ, - Рига, 1988, с.23-30

[Красилов88в] Krassilov A.A., Sukhikh A.J., Dialog system of inference theory application in programming. In:EVT, 1988, no.2, pp.3-16.

[Красилов 88г] Богородская Н.Е., Красилов А.А. Применение и реализация языка программирования Ада. - Киев, УСиМ, N 1(93), 1988

[Красилов89а] Красилов А.А., Горельков А.Л. Математические машины в диалоговых системах. //Тезисы докл. на конф. ";Диалог ";человек-ЭВМ";. Часть 2. Теоретические методы построения диалоговых систем. Инструментальные системы. Технологические средства диалога и сети ЭВМ. - Свердловск, 1989, с.29

[Красилов89б] Красилов А.А. Интеллектуализация программирования на базе экспертных систем. Доклад на всесоюзной конф: «Теория и практика построения интеллектуальных интегрированных САПР РЭА и БИС», - Звенигород, 5-7 декабря 1989

[Красилов89в] Красилов А.А. и др. (всего 25 авторов) Язык программирования Ада. ГОСТ 27831-88 (ИСО 8652-87) // разработка и редакция, М., Госком СССР по стандартам, 1989, - 264 с.

[Красилов90а] Красилов А.А. Инструмент математической экспертной системы. //В сб.: Освоение и концептуальное проектирование интеллектуальных систем. Тезисы докладов и сообщений. - М., 1990, с.10-11

[Красилов90б] Красилов А.А. Математические экспертные системы. //Вторая всесоюзная школа. Автоматизация создания математического обеспечения и архитектуры систем реального времени. Тезисы докладов. - Иркутск, 1990, с.9

[Красилов90в] Красилов А.А. Математический подход к разработке экспертных систем. //Тезисы докл. Всесоюзной школы-семинара, - М., МАИ, 1990

[Красилов90г] Красилов А.А. Направления информатизации САПР. //Сб. Технология разработки и САПР программного обеспечения. - Рига, РТУ, 1990, с.5 - 13

[Красилов90д] Красилов А.А. Основы информатики. Определение и концепции. // Учебное пособие, МФТИ, - Долгопрудный, 1990, - 80 с.

[Красилов90е] Красилов А.А. Инструмент математической экспертной системы. //Сб. тезисов докл. Научной конф. «Освоение и концептуальное проектирование интеллектуальных систем» - М., 1990, с 10-11

[Красилов91а] Красилов А.А., Лейтес В.Л. Риюз - повторное использование программ и язык Ада. - Киев, УСиМ, 1991, N 6, с. 57 - 68

[Красилов91б] Красилов А.А. Обзор направлений в информатике. //Материалы семинара: ";Научно-технические средства информатизации, автоматизации и интеллектуализации в народном хозяйстве";, 28 - 29 октября 1991, - М., ЦРДЗ, 1991, с. 14 - 23

[Красилов91в] Красилов А.А. Классификация интеллектуальных систем. //Материалы семинара: ";Научно-технические средства информатизации, автоматизации и интеллектуализации в народном хозяйстве";, 28 - 29 октября 1991, - М., ЦРДЗ, 1991, с. 33 - 43

[Красилов92] Красилов А.А., Лейтес В.Л. Вопросы сертификации баз знаний и интеллектуальных систем. //Тезисы докладов, Всесоюзное совещание-семинар, сентябрь, МИЭМ, - М., 1992, с. 34

[Красилов93] Красилов А.А. Интеллектуальные системы (системы решения проблем). Курс лекций для 5 курса МФТИ ФУПМ, текстовый файл, 1993, 220 с.

[Красилов94а] Красилов А.А. Informatical Logic, Logical Equation Decision and Intellectual (Nonproduction) Systems in CAD. EAST-WEST International Conference ";Information Technology In Design";, Part 1, Moscow, Russia, 5-9 Sept. 1994, pp.196-198

[Красилов94б] Красилов А.А. Информатическая логика, решение логических уравнений и интеллектуальные системы в САПР. Информатика. //В сб: Автоматизация проектирования, вып.2-3, ВНИИМИ, - М., 1994, с.14-26

[Красилов96] Красилов А.А. За горизонтом экспертных систем. Открытые системы, 6, 1996, с 65 - 69

[Красилов97а] Красилов А.А. Интеллектуальное программирование, или Все невозможности возможны. PC WEEK, Russian edition, N 14, 1997, с. 52, Автоматическое построение программ по знаниям. PC WEEK, Russian edition, N 15, 1997, с. 72

[Красилов97б] Красилов А.А. Экология знания и интеллектуальные системы. //Сб: Высокие технологии в промышленности России, -М., Международная академия информатизации, 1997, с. 153-160

[Красилов97в] Красилов А.А. Семантическая грамматика русского языка. //труды конф. Интеллектуальные системы в САПР, ИТК, Минск, 1997, стр. 40-48

[Красилов98] Красилов А.А. Ecology of Knowledge and Intellectual Systems. //XV IFIP World Computer Congress, 31.08-04.09, Vienna-Budapest, 1998

[Красилов99а] Красилов А.А.,Григорьев Р.Д. Технология интеллектуального программирования. //Сб. докл.: Высокие технологии в промышленности России, -М., Международная академия информатизации, 1999, с.; и //Инженерный журнал Справочник, N 10 (31), Машиностроение, 1999, с. 34-37.

[Красилов99б] Красилов А.А.,Григорьев Р.Д. Программный комплекс «INTELLSYST». Основы использования. Руководство пользователя по инструментарию интеллектуального программирования. Система Интеллсист. Препринт корп. «Галактика», 1999, 250 с.

[Красилов00а] Красилов А.А. Язык и знание. Семантическая грамматика русского языка. //Научно-техническая информация, серия 2, № 10, ВИНИТИ, 2000, с 21-33.

[Красилов00в] Albert A. Krasilov. The 21st Century - Century of InformaticsCSIT 2000.p.p. 177-183

[Красилов01а] Красилов А.А. 21 век - век информатики, // в сб.: Высокие технологии в промышленности России, -М., Международная академия информатизации, 2001, с. 199-203

[Красилов01б] Красилов А.А.,Григорьев Р.Д. Программный комплекс «INTELLSYST». Основы использования. Руководство пользователя синтезированной программы. Система Интеллсист. Препринт корп. «Галактика», 2001, 150 с.

[Красилов02а] Красилов А.А., Григорьев Р.Д. Интеллектуальное программирование, синтез программ и интерфейсы. ";Высокие технологии в промышленности России";, материалы VIII Международной научно-технической конференции. 11-13 сентября 2002, - М., ОАО ЦНИТИ ";ТЕХНОМАШ";, с.303-307

[Красилов02б] Krasilov A. A., Grigoriev R.D. Intellectual programming, synthesis of programs and their toolbox. CSIT2002, , 18-20 сент. 2002

[Красилов03а] Красилов А.А.,Григорьев Р.Д. Интеллектуальное программирование и автоматический синтез программ. Новосибирск, 9-11 июля 2003, ИСИ СО РАН им. А.П. Ершова (в представлении)

[Красилов03б] Красилов А.А.,Григорьев Р.Д. Интеллектуальное и автоматическое программирование. Международный форум по информации. - М., ВИНИТИ, том 28, № 2, с. 30-38

[Красилов03в] Красилов А.А Информация, знание и информатика: концептуальные аспекты. Международный форум по информации. - М., ВИНИТИ, том 28, № 4, 2003, с. 10-26

[Красилов04] Красилов А.А Экология информации и знаний. в печати. - М., ВИНИТИ, 2004, 35 с.

[Кристиан89] Кристиан К. Руководство по программированию на языке Модула-2. - М., Мир, 1989. - 464 с.

[Кристофидес78] Кристофидес Н. Теория графов.Алгоритмический подход. - М., Мир, 1978, - 432 с.

[Крон78] Крон Г. Тензорный анализ сетей. - М., Советское радио,1978, - 720с.

[Кузнецов80] Кузнецов И.П. Семантические представления М., Наука, 1980. - 295 с.

[Кузнецов97] Кузнецов А.А. Базовый курс информатики. - М., Информатика и образование, 1997, N 1, с.12-17

[Кук90] Кук Д., Бейз Г. Компьютерная математика. - М., Наука, 1990, - 384 с.

[Кулагина79] Кулагина О.С. Исследования по машинному переводу. - М., Наука, 1979

[Куликовский87] Куликовский Л.Ф., Мотов В.В. Теоретические основы информационных процессов. - М., Высшая школа, 1987, - 248 с.

[Курбаков68] Курбаков К.И. Кодирование и поиск информации в автоматическом словаре. - М., 1968

[Кэмпбел-Келли78] Кэмпбел-Келли М. Введение в макросы. - М., Советское радио, 1978, - 152 с.

[Лавров82] Лавров С.С. Синтез программ. - К., Кибернетика, 1982, N 6

[Лазарев84] Лазарев В.Г., Пийль Е.И., Турута Е.Н. Построение программируемых логических устройств. - М.,Энергоатомиздат,1984,-480 с.

[Ларичев89] Ларичев О.И., Мечитов А.И., Мошкович Е.М., Фуремс Е.М. Выявление экспертных знаний. -М.: Наука. 1989. -128с.

[Левин91] Левин Р., Дранг Д., Эделсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике. - М., Финансы и статистика, 1991, - 240 с.

[Левитин89] Левитин К.Е. Прощание с АЛГОЛом. - М., Знание, 1989, - 224 с.

[Ледли61] Ледли Р.С., Ластед Л.Б. Объективные основания диагноза. Роль символической логики, теории вероятностей и теории статистических решений в анализе мышления врача. - М., ИИЛ, Кибернетический сборник, N 2, 1961

[Лейбниц] Лейбниц Г.В. Собрание сочинений. - М., Мысль. Т.1. 1982, - 638с. Т.2. 1983, - 688 с. Т.3. 1984, - 735 с. Т.4. 1989, - 556с.

[Лейчик77] Лейчик В.М., Смирнов И.П., Суслова И.М. Терминология информатики (теоретические и практические вопросы). Итоги науки и техники, сер. Информатика, т.2, ВИНИТИ, - М., 1977

[Лекции93] Лекции лауреатов премии Тьюринга за первые двадцать лет 1966-1985. - М., Мир, 1993, - 560 с.

[Липский88] Липский В. Комбинаторика для программистов. М., Мир,1988, - 216 с.

[Лисков89] Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ. - М., Мир, 1989. - 424 с.

[Ловицкий80] Ловицкий В.А. Система, понимающая естественный язык. - Киев, Кибернетика, 1980, N 6

[Логический90] Логический подход к искусственному интеллекту. От классической логики к логическому программированию. - М., Мир, 1990,-531 с.

[Логический98] Логический подход к искусственному интеллекту. От модальной логики к логике баз данных. Перевод с франц., - М., Мир, 1998, 496 с.

[Логическое88] Логическое программирование. //Сб.: - М., Мир,1988,- 368 с.

[Лозовский82] Лозовский В.С. Экстенсиональная база данных на основе семантических сетей. Изв. АН СССР, Техническая кибернетика, 1982, N 2

[Лорьер90] Лорьер Ж.-Л. Системы искусственного интеллекта. - М., Мир, 1990. - 568 с.

[Льюис79] Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. - М., Мир, 1979, 656 с.

[Любарский90] Любарский Ю.Я. Интеллектуальные информационные системы. - М., Наука, 1990. - 232 с.

[Ляпунов63] Ляпунов А.А., Яблонский С.В. Теоретические проблемы кибернетики. //Проблемы кибернетики, 1963, вып.9, с. 5-22

[Майерс80] Майерс Г. Дж. Надежность программного обеспечения. - М., Мир, 1980

[Майерс82] Майерс Г. Искусство тестирования программ. - М., Финансы и статистика, 1982

[Майерс85] Майерс Г. Архитектура современных ЭВМ. В двух томах. - М., Статистика, 1985, 365+310 с.

[Макаровский80] Макаровский Б.Н. Информационные системы и структуры данных. - М., Статистика, 1980

[Маккиман80] Маккиман У., Хорнинг Дж., Уортман Д. Генератор компиляторов. - М., Статистика, 1980, - 528 с.

[Мальковский80] Мальковский М.Г. Словарь системы. //В кн.: Представление знаний в системах искусственного интеллекта. - М., Знание, 1980

[Мальцев86] Мальцев А.И. Алгоритмы и рекурсивные функции. - М., Наука, 1986, - 368 с.

[Мальцев90] Мальцев А.И. Алгебраические системы. - М., Наука, 1990, - 392с.

[Марков84] Марков А.А., Нагорный Н.М. Теория алгорифмов. - М., Наука, 1984, - 432 с.

[Маркус70] Маркус С. Теоретико-множественные модели языков. - М., Наука, 1970, - 332 с.

[Мартин75] Мартин Дж. Сети связи и ЭВМ. Ч.1, 1974. Ч.2, - М., Связь, 1975

[Мартин80] Мартин Дж. Организация баз данных в вычислительных системах. - М., Мир, 1980. - 662 с.

[Мартин84] Мартин Дж. Планирование развития автоматизированных систем. - М., Финансы и статистика, 1984

[Мартин87] Мартин Дж. Видеотекс и информационное обслуживание общества. - М., Радио и связь, 1987, - 183 с.

[Маслов83] Маслов С.Ю. Асимметрия познавательных механизмов и ее следствия. //В кн.: Семиотика и информатика, 1983, т.20

[Маслов86] Маслов С.Ю. Теория дедуктивных систем и ее применения. - М., Радио и связь, 1986, - 134 с.

[Матемвыв67] Математическая теория логического вывода. - М., Наука, 1967

[Матеммод89] Математическое моделирование. Методы описания и исследования сложных систем. - М., Наука, 1989, - 271 с.

[Матемэнц85] Математическая энциклопедия. Т.т.1-5. - М., Советская энциклопедия, 1985

[Машина86] Машинный фонд русского языка: идеи и суждения. - М., Наука, 1986

[Мейер82] Мейер Б., Бодуэн К. Методы программирования. Т.1,2. - М., Мир, 1982, 358+368 с.

[Мейер87] Мейер Д. Теория реляционных баз данных. - М., Мир, 1987, - 608с.

[Маурер80] Маурер У. Введение в программирование на языке ЛИСП. - М., Мир, 1976, - 104 с.

[Минский78] Минский М. Структура для представления знаний. //В кн.: Психология машинного зрения. - М., Мир, 1987

[Минский79] Минский М. Фреймы и представление знаний. - М., Энергия, 1979, - 150 с.

[Минскин87] Минскин Е.М. От игры к знаниям. //Пособие для учителя. - М., Просвещение, 1987

[Михайлов68а] Михайлов А.И., Черный А.И., Гиляревский Р.С. Основы информатики. - М., Наука, 1968, - 756 c.

[Михайлов80б] Михайлов Б.М. Автоматизация процесса ведения и изготовления документации программного обеспечения в АСУ. - М., Советское радио, 1980

[Моисеев79] Моисеев Н.Н. Математика ставит эксперимент М., Наука,1979,- 223 с.

[Моисеев85] Моисеев Н.Н. Информатика: новые пути познания законов природы и общества. //Вестник АН СССР, 1985, N 5, с.128-135

[Молокова85] Молокова О.С. Формирование индивидуального объяснения в экспертных системах. //Изв. АН СССР, Техническая кибернетика,1985, N 5

[Моль75] Моль А., Фукс В., Касслер М. Искусство и ЭВМ. - М., Мир, 1975, - 558 с.

[Мульти71] Мультипроцессорные вычислительные системы. - М., Энергия, 1971

[Набебин96] Набебин А.А. Логика и Пролог в дискретной математике. - М., МЭИ, 1996, -452 с.

[Налимов74] Налимов В.В. Вероятностные модели языка. - М., Наука, 1974

[Нейлор91] Нейлор К. Как построить свою экспертную систему. - М., Энергоатомиздат, 1991, - 286 с.

[Непейвода78] Непейвода Н.Н. Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня. ДАН СССР, т.239, 1978, N 4

[Непейвода79] Непейвода Н.Н. Устойчивая истинность и вычислимость. // Кн: Исследования по теории алгорифмов и математической логике, - М., Наука, 1979, с 78 - 89

[Непейвода81] Непейвода Н.Н., Свириденко Д.И. Программирование с логической точки зрения. Т.1 и 2, Новосибирск, ИМ СО АН СССР, 1981

[Непейвода82] Непейвода Н.Н., Свириденко Д.И. К теории синтеза программ. //В сб.: Математическая логика и теория алгоритмов. М., Наука, 1982

[Нечаев75] Нечаев В.И. Числовые системы. - М., Просвещение, 1975, - 200с.

[Нечеткие86] Нечеткие множества и теория возможностей. - М., Советское радио, 1986, - 406 с.

[Николов89] Николов Р., Сендова Е. Начала информатики. Язык ЛОГО. - М., Наука, 1989. - 176 с.

[Нильсон73а] Нильсон Н.Дж. Искусственный интеллект. Методы поиска решений. - М., Мир, 1973, - 272 с.

[Нильсон73б] Нильсон Н.Дж. Методы поиска решений. - М., Мир, 1973

[Нильсон85] Нильсон Н.Дж. Принципы искусственного интеллекта. - М., Радио и связь, 1985. - 280 с.

[НовостиИИ] Новости искусственного интеллекта. - М., Российская Ассоциация искусственного интеллекта, с 1991 (4 раза в год).

[Ньюмен76] Ньюмен У., Спрулл Р. Основы машинной графики. - М., Мир, 1976, - 573 с.

[Обработка89] Обработка нечеткой информации в системах принятия решений. - М., Радио и связь, 1989. - 304 с.

[Оракл92] Сервер ORACLE7 Справочное руководство по языку SQL. Автор: Брайн Линдер, учетный номер 778-70-1292, декабрь 1992, - 680 с.

[Оре80] Оре О. Теория графов. - М., Наука, 1980, - 336 с.

[Осипов90] Осипов Г.С. Инструментарий для экспертных систем. Технология SIMER + MIR. //Программные продукты и системы, 1990, N3, с.23-32

[Осуга89] Осуга С. Обработка знаний. - М., Мир, 1989. - 293 с.

[Пайл84] Пайл Я. Ада - язык встроенных систем. - М., Финансы и статистика, 1984, - 238 с.

[Пакштас89] Пакштас А. Распределенные программные конфигурации. Анализ и разработка. Вильнюс, Мокслас, 1989. - 223 с.

[Перегудов87] Перегудов М.А., Халамайзер А.Я. Бок о бок с компьютером. - М., Высшая школа, 1987

[Першиков91] Першиков В.И., Савинков В.М. Толковый словарь по информатике. Более 10000 терминов. - М., Финансы и статистика,1991,- 543 с.

[Петров67] Петров Ю.А. Логические проблемы абстракций осуществимости. - М., Наука, 1967

[Пиотровский74] Пиотровский Р.Г. Машинная грамматика для АСУ и АИСП. Тюмень, 1974

[Пиотровский75] Пиотровский Р.Г. Текст, машина, человек. - Л., Наука, 1975, - 328 с.

[Питерсон84] Питерсон Дж. Теория сетей Петри и моделирование систем. - М., Мир, 1984. - 264 с.

[Поваляев87] Поваляев С.А. Основы информатики. Справочное пособие. - Минск, изд. Университетское, 1987, - 128 с.

[Пойа76] Пойа Д. Математическое открытие. Решение задач: основные понятия, изучение и преподавание. - М., Наука, 1976, - 448 с.

[Половинкин88] Половинкин А.И. Основы инженерного творчества. - М., Машиностроение, 1988. - 368 с.

[ПоповИ81] Попов И.И., Романенко А.Г. Моделирование информационных систем (теория и приложения). ВИНИТИ, Итоги науки и техники, т.5, - М.,1981

[ПоповЭ82] Попов Э.В. Общение с ЭВМ на естественном языке. - М., Наука, 1982. - 360 с.

[ПоповЮ83] Попов Ю.П., Самарский А.А. Вычислительный эксперимент. //Новое в жизни, науке, технике. Сер. Мат. кибернетика. - М., Знание, 1983, вып.11, с.64

[ПоспеловА81] Поспелов Д.А. Логико-лингвистические модели в управлении. - М., Энергоиздат, 1981

[ПоспеловГ85] Поспелов Г.С., Поспелов Д.А. Искусственный интеллект: прикладные системы. - М., Знание, 1985. - 48 с.

[ПоспеловГ86] Поспелов Г.С. Искусственный интеллект. Новая информационная технология. //Сб: Кибернетика. Становление информатики. -М., Наука, 1986, с.106-120

[Построение87] Построение экспертных систем. - М., Мир, 1987, - 443 с.

[Пратт79] Пратт Т. Языки программирования: Разработка и реализация. - М., Мир, 1979. - 574 с.

[Предстинт80] Представление знаний в системах искусственного интеллекта. //В сб.: Материалы семинаров, МДНТП, - М., 1980

[Предстсис89] Представление знаний и экспертные системы. //Сб. научных трудов. АН СССР, Ленинградский институт информатики и автоматизации. - Л., 1989. - 194 с.

[Приобрзн90] Приобретение знаний. //Под ред. С. Осуги, Ю. Саэки. - М., Мир, 1990. - 304 с.

[Проект97] Проект федерального компонента государственного образовательного стандарта начального общего, основного общего и среднего (полного) образования. Образовательная область «Информатика». - М., Информатика и образование, 1997, N 1, с.3-11

[Простое88] Простое и сложное в программировании. - М., Наука, 1988.- 176с.

[Психология78] Психология машинного зрения. - М., Мир, 1978

[Райан89] Райан Д. Инженерная графика в САПР. - М., Мир, 1989. - 392с.

[Расева72] Расева Е., Сикорский Р. Математика метаматематики. - М., Наука, 1972. - 592 с.

[Рафаэл79] Рафаэл Б. Думающий компьютер. - М., Мир, 1979, - 408 с.

[Речевая89] Речевая информатика. //Сб. ст. - М., Наука, 1989. - 130 с.

[Ржанов83] Ржанов А.В. Требуется уточнить предмет и понятие информатики //Наука в Сибире. 1983, N 35

[Робинсон70] Робинсон Дж. Машинно-ориентированная логика, основанная на принципе резолюции. //Кибернетический сборник. Новая серия.Вып.7, - М., Мир, 1970, с. 194-218

[Роджерс89] Роджерс Д. Алгоритмические основы машинной графики. - М., Мир, 1989. - 512 с.

[Розенфельд72] Розенфельд А. Распознавание и обработка изображений. - М., Мир, 1972

[Рот91] Рот М. Интеллектуальный автомат: компьютер в качестве эксперта. - М., Энергоатомиздат, 1991, - 80 с.

[Рубашкин89] Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах. - М., Наука, 1989. - 192 с.

[Рыбина79] Рыбина Г.В., Строганова Н.А. и др. Система представления понятийных знаний с использованием фреймов. //В сб.: Вопросы кибернетики. Интеллектуальные банки данных, - М., 1979

[Сакман73]Сакман Г. Решение задач в системе человек-ЭВМ. -М., Мир, 1973

[Саломаа86] Саломаа А. Жемчужины теории формальных языков. - М., Мир, 1986, 160 с.

[Семантика80] Семантика языков программирования. //Сб. статей. - М., Мир, 1980, - 397 с.

[Сильдмяэ80] Сильдмяэ И.Я. Значение и смысл. АН СССР, - М., 1980

[Сильдмяэ83] Сильдмяэ И.Я. Действительность - текст-знание. //Уч. записки Тарт. ун-та, вып. 621, Тарту, 1983

[Системное67] Системное программирование. //Сб. статей. - М., Советское радио, 1967

[Система92] Система сертификации ГОСТ. Основные положения. Требования к органу по сертификации и порядок его аккредитации. Правила проведения сертификации продукции (общие требования). Требования к испытательной лаборатории и порядке их аккредитации. Правила ведения Государственного Реестра Системы. Государственный комитет Российской Федерации по стандартизации, метрологии и сертификации при президенте Российской Федерации. - М., 1992, - 113 с.

[Системы85] Системы автоматизации проектирования. - М., Мир, 1985

[Скороходько68] Скороходько Э.Ф. и др. Информационно-поисковая система БИТ. - Киев, Наукова думка, 1968

[Скороходько74] Скороходько Э.Ф. Семантические связи в лексике и текстах. //В сб.: Вопросы информационной теории и практики. - М., ВИНИТИ, 1974, N 23

[Скэнлон91] Скэнлон Л. Персональные ЭВМ IBM PC и XT. Программирование на языке ассемблера. - М., Радио и связь, 1991, - 336 с.

[Слейгл73] Слейгл Дж. Искусственный интеллект. Подход на основе эвристического программирования. - М., Мир, 1973, - 320 с.

[Смальян81] Смальян Р. Теория формальных систем. - М., Наука, 1981, - 208с.

[Смирнов72] Смирнов В.А. Формальный вывод и логические исчисления.

- М., Наука, 1972, - 272 с.

[Советский89] Советский энциклопедический словарь. - М., Советская энциклопедия, 1989, - 1632 с.

[Современный81] Современный русский язык. В трех частях. //Учебное пособие. - М., Просвещение, 1981.Часть I. - 192с.Часть II. - 372с. Часть III. - 272с.

[Современный86] Современный компьютер. //Сб. научно-популярных статей. - М., Мир, 1986

[Сойер90] Сойер Б., Фостер Д.Л. Программирование экспертных систем на Паскале. - М., Финансы и статистика, 1990, - 192 с.

[Соколов89] Соколов Е.Н., Вайткявичюс Г.Г. Нейроинтеллект: от нейрона к нейрокомпьютеру. - М., Наука, 1989. - 238с.

[Справочная82] Справочная книга по математической логике. - М., Наука. Ч.1. Теория моделей. 1982, - 392 с. Ч.2. Теория множеств. 1982, - 376 с. Ч.3. Теория рекурсий. 1982,- 360 с. Ч.4. Теория доказательств и конструктивная математика. 1983, - 392 с.

[Справочник90] Справочник. Искусственный интеллект. В трех книгах. Кн.1. Системы общения и экспертные системы. - 462 с. Кн.2. Модели и методы. Кн.3. Программные и аппаратные средства. - М., Радио и связь, 1990

[Степанов64] Ю.С. О предпосылках лингвистической теории значения. - М., Вопросы языкознания, 1964, N 5

[Степанов71] Степанов Ю.С. Семиотика. - М., Наука, 1971

[Стерлинг90] Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М., Мир, 1990, - 235 с.

[Стефик85] Стефик М., Эйкинс Я. и др. Организация экспертных систем. //Кибернетический сборник. Вып.22, - М., Мир, 1985, с.170-220

[Тамм77] Тамм Б.Г., Тыугу Э.Х. Пакеты программ. Изв. АН СССР, Техническая кибернетика, 1977, N 5

[Тамм85] Тамм Б.Г., Тыугу Э.Х. Применение знаний в автоматизированных системах проектирования и управления. //В сб.: Прикладная информатика. Вып. 1(8), - М., Финансы и статистика, 1985

[Таунсенд90] Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. - М., Финансы и статистика, 1990,- 320 с.

[Теоринф89] Теория телетрафика в системах информатики. //Сб. научных трудов. - М., Наука, 1989

[Термин75] Терминологический словарь по информатике. МЦНИТИ, 1975

[Термин89] Терминологический словарь по автоматике, информатике и вычислительной технике. //Справочное пособие для СПТУ. - М., Высшая школа, 1989, - 192 с.

[Тиори85] Тиори Т., Фрей Дж. Проектирование структур баз данных. - М., Мир, 1985. - 230 с.

[Тихонов79] Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач.-М., Наука, 1979

[Толковый90] Толковый словарь по вычислительным системам. - М., Машиностроение, 1990

[Тоценко90] Тоценко В.Г., Александров А.В., Парамонов Н.Б. Корректность, устойчивость, точность программного обеспечения. - Киев, Наукова думка, 1990, - 199 с.

[Требования84] Требования и спецификации в разработке программ. //В сб. статей. - М., Мир, 1984

[Ту78] Ту Дж., Гонсалес Р. Принципы распознавания образов. - М., Мир, 1978,- 413c

[Турский81] Турский В. Методология программирования. - М., Мир, 1981, 68 с.

[Тыугу77] Тыугу Э.Х. Формирование модели мира в системах искусственного интеллекта. ВИНИТИ, - М., 1977

[Тыугу84] Тыугу Э.Х. Концептуальное программирование. - М., Наука, 1984. - 256 с.

[Уемов78] Уемов А.И. Системный подход и общая теория систем. - М., Мысль, 1978

[Уинстон80] Уинстон П. Искусственный интеллект. - М., Мир, 1980

[Уистоков68] У истоков классической науки. //Сб. статей. - М., Наука, 1968

[Ульман90] Ульман Дж. Базы данных на Паскале. - М.: Машиностроение, 1990,- 386c.

[Универс68] Универсальный язык программирования ПЛ/1. - М., Мир, 1968,- 352c.

[Уоллер81] Уоллер Л. Специальная машина, работающая на языке ЛИСП. Электроника, 1981, т.54, N 17

[Уолш75] Уолш Д.А. Руководство по созданию документации для математического обеспечения. - М., Наука, 1975, - 128 с.

[Уотермен89] Уотермен Д. Руководство по экспертным системам. - М., Мир, 1989, - 390 с.

[Уэзерелл82] Уэзерелл Ч. Этюды для программистов. - М., Мир, 1982, - 288с.

[Файн82] Файн В.С. Новые аспекты машинного понимания сообщений. АН СССР, Техническая кибернетика, 1982, N 5

[Фант64] Фант Г. Акустическая теория речеобразования. - М., Наука, 1964

[Фаронов92] Фаронов В.В. Турбо Паскаль (в 3-х книгах), Кн.1. Основы ТурбоПаскаля, 1992, 286 с., Кн.2. Библиотека TurboVision, 1993, 429 с. - М., МВТУ-ФЕСТО ДИДАКТИК

[Фейс71] Фейс Р. Модальная логика. - М., Наука, 1971, - 520 с.

[Феферман71] Феферман С. Числовые системы. Основания алгебры и анализа. - М., Наука, 1971, - 440 с.

[Фигурнов90] Фигурнов В.Э. IBM PC для пользователя. - М., Финансы и статистика, 1990, - 239 с.

[Фланаган68] Фланаган Дж. Анализ, синтез и восприятие речи. - М., Связь, 1968

[Фокс82] Фокс А., Пратт М. Вычислительная геометрия. Применение в проектировании и на производстве. - М., Мир, 1982, - 304 с.

[Фокс85] Фокс Дж. Программное обеспечение и его разработка. - М., Мир, 1985, - 368 с.

[Фоли85] Фоли Дж., вэн Дэм А. Основы интерактивной машинной графики. кн.1. - 368 с. кн.2. - 368 с. - М., Мир, 1985

[Фостер74] Фостер Дж. Обработка списков. - М., Мир, 1974, - 72 с.

[Фреге77] Фреге Г. Смысл и денотант. //В кн.: Семиотика и информатика. Вып.8, - М., ВИНИТИ, 1977

[Фрейденталь69] Фрейденталь Х. Язык логики. - М., Наука, 1969, - 136 с.

[Фридмен86] Фридмен М., Ивенс Л. Проектирование систем с микрокомпьютерами. - М., Мир, 1986, 405 с.

[Фу77] Фу К. Структурные модели в распознавании образов. - М., Мир,1977,- 320 с.

[Хамбли76] Хамбли Э. Программирование таблиц решений. - М., Мир, 1976, - 86 с.

[Хант78] Хант Э. Искусственный интеллект. - М., Мир, 1978, - 560 с.

[Хао62] Ван Хао. На пути к механической математике. Кибернетический сборник. Вып.5, - М., ИИЛ, 1962, с. 114-165

[Харари73] Харари Ф. Теория графов. - М., Мир, 1973, - 300 с.

[Харкевич60] Харкевич А.А. О ценности информации. Проблемы кибернетики, вып.4, 1960

[Хейес89] Хейес-Рот Ф., Уотерман Д., Ленат Д. Построение экспертных систем. -М., Мир, 1989. -430с.

[Хельбиг80] Хельбиг Г. Семантическое представление знаний в вопросно-ответной системе. //В сб.: Представление знаний и моделирование процессов понимания. Новосибирск, 1980

[Хендерсон83] Хендерсон П. Функциональное программирование. - М., Мир, 1983

[Хендрикс89] Хендрикс Д. Компилятор языка Си для микроЭВМ. - М., Радио и связь, 1989. - 240с.

[Хоар89] Хоар Ч. Взаимодействующие последовательные процессы. - М., Мир, 1989. - 264 с.

[Хоггер88] Хоггер К. Введение в логическое программирование. - М., Мир, 1988, - 348 с.

[Холл75] Холл А.Д. Опыт методологии для системотехники. - М., Советское радио, 1975, - 448 с.

[Холл78] Холл П. Вычислительные структуры. Введение в нечисловое программирование. - М., Мир, 1978, - 216 с.

[Холстед81] Холстед М.Х. Начала науки о программах. - М., Финансы и статистика, 1981, - 128 с.

[Хомский61] Хомский Н. Три модели для описания языка. Кибернетический сборник. Вып.2, - М., ИИЛ, 1961

[Хомский62] Хомский Н. О некоторых формальных свойствах грамматик. Кибернетический сборник. Вып.5, - М., ИИЛ, 1962, с. 279-311

[Хомский96] Хомский Н. Язык и проблема знания (5 Лекций в МГУ). Вестник Московского университета, серия 9, Филология, 4, 1995, с. 130-156; 6, 1995, с. 110-134; 2, 1996, с. 103-121; 4, 1996, с. 133-162, 6, 1996, с. 157-185

[Хопгуд72] Хопгуд Ф. Методы компиляции. - М., Мир, 1972, - 160 с.

[Хорошевский86] Хорошевский В.Ф. Разработка и реализация экспертных систем - инструментальный подход. // Изв.АН СССР, Техническая кибернетика, 1986, N 5

[Хоффман80а] Хоффман Л.Дж. Современные методы защиты информации. - М., Советское радио, 1980, - 264 с.

[Хоффман80б] Хоффман Л.Дж. Структурный подход к программированию. - М., Советское радио, 1980

[Хьюз80] Хьюз ДЖ., Мичтом Дж. Структурный подход к программированию. - М., Мир, 1980, - 280 с.

[Хювенен90] Хювенен Э., Сеппянен Й. Мир Лиспа. Т.1.Введение в язык Лисп и функциональное программирование. - 448 с. Т.2. Методы и системы программирования. - 320 с. - М., Мир, 1990

[Цаленко89] Цаленко М.Ш. Моделирование семантики в базах данных. - М., Наука, 1989. - 288 с.

[Цикритзис85] Цикритзис Д., Лоховский Ф. Модели данных. - М., Финансы и статистика, 1985. - 343 с.

[Цыпкин84] Цыпкин Я.З. Основы информационной теории идентификации. - М., Наука, 1984

[Чень83] Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. - М., Наука, 1983. - 360 с.

[Черный76] Черный А.И., Жданова Г.С., Колобродова Е.С., Мышева И.А., Полушкин В.А., Садырева Р.Н. Терминология информатики (библиографический указатель работ). ВИНИТИ, Итоги науки и техники, сер. Информатика, т.5, - М., 1976

[Черч60] Черч А. Введение в математическую логику М., ИИЛ,1960, - 486 с.

[Чечкин91] Чечкин А.В. Математическая информатика. - М., Наука, 1991, - 414 с.

[Шанин65] Шанин Н.А., Давыдов Г.В., Маслов С.Ю., Минц Г.Е., Оревков В.В., Слисенко А.О. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний. - М.-Л., Наука, 1965, - 40 с.

[Шанский81] Шанский Н.М., Иванов В.В. Современный русский язык. - М., Просвещение, Часть I. Введение. Лексика. Фразеология. Фонетика. Графика и Орфография. - 192 с. Часть II. Словообразование. Морфология. - 272 с. Часть III. Синтаксис. Пунктуация. - 272 с.

[Шенк80] Шенк Р. Обработка концептуальной информации. - М., Энергия, 1980,-360 с.

[Шенфильд75] Шенфильд Дж. Математическая логика. - М., Наука, 1975, - 528 с.

[Шишмарев78] Шишмарев А.И., Заморин А.П. Англо - русско - немецко - французский толковый словарь по вычислительной технике и обработке данных, 4132 термина. - М., Русский язык, 1978, - 416 с.

[Шоу81] Шоу А. Логическое проектирование операционных систем. - М., Мир, 1981. - 360 с.

[Шураков81] Шураков В.В. Надежность программного обеспечения систем обработки данных. - М., Статистика, 1981, - 216 с.

[Ыйм78] Ыйм Х., Салувеэр М. Фреймы и понимание языка. //Уч. зап. Тартус. ун-та, N 472, 1978

[Ыйм80] Ыйм Х. Язык, значения, знания. //В кн.: Семантика и представление знаний. Уч.зап. Тартусского ун-та, вып.519, - Тарту, 1980

[ЭВМ84] ЭВМ пятого поколения. Концепции, проблемы, перспективы М., Финансы и статистика, 1984, - 110 с.

[Эксперт87] Экспертные системы: принципы работы и примеры. - М., Радио и связь, 1987, - 223 с.

[Эксперт89] Экспертные системы: состояние и перспективы. //Сб.ст. - М., Наука, 1989. - 152 с.

[Эксперт90] Экспертные системы для персональных компьютеров. Методы, средства, реализации. Справочное пособие. - Минск, Вышэйшая школа, 1990, - 198 с.

[Элти87] Элти Дж., Кумбс М. Экспертные системы: концепции и примеры. - М., Радио и связь, 1987, - 191 с.

[Эшби68] Эшби У.Р. Что такое разумная машина? //В сб.: Кибернетика ожидаемая и кибернетика неожиданная. - М., 1968

[Яблонский79] Яблонский С.В. Введение в дискретную математику. - М., Наука, 1979, -384 с.

[Яглом73] Яглом А.М., Яглом И.М. Вероятность и информация. - М., Наука, 1973

[Язык88] Язык Пролог в пятом поколении ЭВМ. //Сб. статей. - М., Мир, 1988

[Якубайтис84] Якубайтис Э.А. Информационно-вычислительные сети. - М., Финансы и статистика, 1984. - 232 с.

[Янов58] Янов Ю.И. О логических схемах алгоритмов. //Проблемы кибернетики. Вып.1, - М., Физматгиз, 1958

[Яхно80] Яхно Т.М. Описание системы, выполняющей аналитические преобразования математических выражений. Новосибирск, 1980

[Gartner99] Gartner Group: Knowledge Management Scenario: Trends and Directions for 1998-2003, 1999



Скачать документ

Похожие документы:

  1. Информатика в семи томах том 3 концептуальная информатика

    Документ
    Информатика как наука имеет свой лексикон, который еще не устоялся и находится в развитии. В томе продолжается раскрытие понятие смысла текстов, используемых в информатике, через изучение смысла понятия.
  2. Информатика в семи томах том 6 методы информатики

    Документ
    Каждая наука является коллекцией своих методов. Информатика также включает в состав своих инструментов методы изобретания, проектирования, разработки и сопровождения любого объекта с помощью средств вычислительной техники, способствующие
  3. А а красилов информатика в семи томах том 4 представление знаний

    Документ
    Излагается неформальное описание представления знаний различных видов на языке профессиональной прозы. Описание дано в полном соответствии с формальным изложением языка в томе 2.
  4. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    Книга дает начальные сведения о новом определении информатики. Они необходимы для получения представлений о возможностях СВТ и человека, использующего или желающего использовать свой компьютер для принятия интеллектуальных решений
  5. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    Книга дает начальные сведения о новом определении информатики. Они необходимы для получения представлений о возможностях СВТ и человека, использующего или желающего использовать свой компьютер для принятия интеллектуальных решений
  6. Том 7 интеллектуальные системы (системы решения проблем) москва 1997 -2003

    Документ
    Последний том посвящается проблемам интеллектуализации в деятельности человека на основе информатики. Инструментом повышения уровня интеллектуальной деятельности является Интеллсист.

Другие похожие документы..