Литература [Абрамов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 [Анин00] Анин Б.Ю. Защита компьютерной информации. - Санкт-Петербург, 2000, 342 с. [Анисимов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, с.1021 [Вельбицкий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] Ершов А.П. Информатика. Предмет и понятие. //Наука в Сибире. Новосибирск, 1983, N 32 [Ершов85] Ершов А.П. Человек и машина. - М., Знание, 1985 [Ершов86] Ершов А.П., Монахов В.М. и др. Основы информатики и вычислительной техники. Пробное учебное пособие для средних учебных заведений. В двух частях. - М., Просвещение, 1986 [Ефимов77] Ефимов Е.И., Поспелов Д.А. Семиотические модели в задачах планирования для систем искусственного интеллекта. - М., Изв. АН СССР, Техническая кибернетика, 1977, N 5 [Ефимов82] Ефимов Е.И. Решение интеллектуальных задач. - М., Наука,1982,- 320 с. [Жигарев87] Жигарев А.Н., Макарова Н.В., Путинцева М.А. Основы компьютерной грамоты. - Ленинград, Машиностроение ЛО, 1987, 255 с. [Заде74] Заде Л.А. Основа нового подхода к анализу сложных систем и процессов принятия решений. //В сб.: Математика сегодня. - М., Знание, 1974 [Зайцев85] Зайцев С.С. Транспортировка данных в сетях ЭВМ. - М., Радио и связь, 1985. - 128 с. [Закревский85] Закревский А.Д., Баландин Р.К. Задание - опознать (распознавание образов). - М., Наука, 1985 [Зализняк77] Зализняк А.А. Грамматический словарь русского языка. - М., Русский язык, 1977 [Зарипов83] Зарипов Р.Х. Машинный поиск вариантов при моделировании творческого процесса. - М., Наука, 1983. - 232 с. [Зелковиц82] Зелкович М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. - М., Мир, 1982, - 368 с. [Зикманн84] Зикманн Й., Сабо П. Универсальная унификация и классификация эквациональных теорий. //Кибернетический сборник, вып.21, - М., 1984 [Зиновьев70] Зиновьев А.А. Комплексная логика. - М., Наука, 1970, 204 с. [Ивашко86] Ивашко В.Г., Финн В.К. Экспертные системы и некоторые проблемы их интеллектуализации. //Семиотика и информатика, вып.27, - М., ВИНИТИ, 1986 [Ивин96] Ивин А.А. Логика. - М., Просвещение, 1996, - 207 с. [Ивлев92] Ивлев Ю.В. Логика. Изд. МГУ, 1992, - 272 с. [Изерман84] Изерман Р. Цифровые системы управления. - М., Мир, 1984 [Ильин91] Ильин В.П. Вычислительная информатика: открытие науки. Новосибирск, Наука СО, 1991, - 198 с. [Ильинский79] Ильинский Н.И., Кузин Л.Т., Стрижевский В.С. Интеллектуальная система программирования. //В кн.: Вопросы кибернетики, вып. 55, - М., АН СССР, 1979 [Ингерман69] Ингерман П. Синтаксически ориентированный транслятор. - М., Мир, 1969, - 175 с. [Интелл90] Интеллектуализация программных средств. //Сб. ст. Новосибирск, Наука СО ИВЦ, 1990, - 216 с. [Информ75] Информационные системы общего назначения (аналитический обзор систем управления базами данных). - М., Статистика, 1975, - 472 с. [Информ90] Информационный бюллетень. Научно-производственное объединение "ЦЕНТРПРОГРАММСИСТЕМ", Государственный испытательный центр программных средств вычислительной техники. Тверь, 1990, - 22 с. [Информатика1] Информатика. Экспресс-информация. - М., ВИНИТИ, с 1979, 48 раз в год. [Информатика2] Информатика. Научно-технический сборник, сер. Кадровое обеспечение. Отдельные выпуски с 1990 г. - М., ГК ВТИ СССР [Информатика3] Информатика и вычислительная техника за рубежом. Информационный сборник статей. По выпускам издается с 1990 г. - М. [Информатика4] Информатика. Серия Автоматизация проектирования. - М., ВИМИ, издается с 1976 сборником статей. [Информатика5] Информатика. Еженедельное приложение к газете «Первое сентября». ОАО.ПО «Пресса-1» - М., с 1995, на 32 с. [Информатика91] Информатика в понятиях м терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208 с. [Исихара92] Исихара С. Оптические компьютеры. Новый век науки. - М., Наука, 1992, - 96 с. [Искусс88] Искусственный интеллект: Применение в химии. //Сб. ст. - М., Мир, 1988. - 430 с. [Искусс91] Искусственный интеллект: Применение в интегрированных производственных системах. - М., Машиностроение, 1991, 544 с. [Йодан79] Йодан Э. Структурное программирование и конструирование программ. - М., Мир, 1979 [Калиниченко90] Калиниченко Л.А., Рывкин В.М. Машины баз данных и знаний. М., 1990, - 296 с. [Канторович72] Канторович Л.В., Гостко А.Б. Оптимальное решение в экономике. М., Наука, 1972 [Карри69] Карри Х.Б. Основание математической логики. - М., Мир, 1069, - 568 с. [Кархо81] Кархо М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). - М., Финансы и статистика, 1981, - 160 с. [Касаткин81] Касаткин Л.М. Активные семантические сети в системах знаний роботов. - Киев, Знание, 1981 [Касьянов86] Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. Новосибирск, Наука СО, 1986, - 344 с. [Кейслер77] Кейслер Г., Чэн Ч.Ч. Теория моделей. - М., Мир, 1977 [Керниган85] Керниган Б., Плоджер Ф. Инструментальные средства программирования на языке Паскаль, - М., Радио и связь, 1985, 313 с. [Кибернетика79] Кибернетика. Неограниченные возможности и возможные ограничения. Итоги развития. - М., Наука, 1979 [Кибернетика86] Кибернетика. Становление информатики. //Сб. статей. - М., Наука, 1986, - 192 с. [Кинг91] Кинг Д. Создание эффективного программного обеспечения. - М., Мир, 1991, - 288 с. [Кириллов98] Кириллов В.И., Старченко А.А. Логика. Учебник для юридических ВУЗов, - М., Юристъ, 1998, - 255 с. [Кирсанов82] Кирсанов Б.С., Преображенский А.Б. Организация вычислительного процесса на основе системы представления знаний. //В сб.: Прикладные и экспериментальные лингвистические процессоры. Новосибирск, 1982 [Кларк87] Кларк К., Маккейб Ф. Введение в логическое программирование на микро-Прологе. - М., Радио и связь, 1987, - 312 с. [Классификация80] Классификация и кластер. - М., Мир, 1980, - 391 с. [Клещев82] Клещев А.С., Черняховский М.Ю. Системы представления проблемноориентированных знаний. Изв. АН СССР, Техническая кибернетика, N 5, 1982 [Клини73] Клини С.К. Математическая логика. - М., Мир, 1973. - 480 с. [Клини78] Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. - М., Наука, 1978, - 272 с. [Клир90] Клир Дж. Системотология. Автоматизация решения системных задач. М., Радио и связь, 1990, - 540 с. [Клоксин87] Клоксин У., Меллиш К. Программирование на языке ПРОЛОГ. - М., Мир, 1987, - 336 с. [Кнут00] Кнут Д.Э. Искусство программирования. Т.1. Основные алгоритмы. - М.-СПб-Киев, Мир, 2000, - 713 с. Т.2. Получисленные алгоритмы. - М.-СПб-Киев, Мир, 2000, - 829 с. Т.3. Сортировка и поиск. - М.-СПб-Киев, Мир, 2000, - 823с. Т.4. Комбинаторные алгоритмы. Т.5. Синтаксические алгоритмы. (в печати) [Ковальски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 [Красилов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, с.6070 [Красилов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 с. [Красилов87г] Красилов А.А., Сухих А.Ю. Диалоговая система применения теории вывода в программировании. ВСР, ЭВТ, вып. 2, 1987, с. 3-17 [Красилов87д] Горельков А.Л., Красилов А.А. Лингвистическое и программное обеспечение УЧПУ Алмаз-200ПФ. ВСР, ЭВТ, вып. 2, 1987, с. 115-127 [Красилов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 [Красилов88д] Красилов А.А. Что такое информатика. ВСР, ЭВТ, вып. 2, 1988, с.3-24. [Красилов89а] Красилов А.А., Горельков А.Л. Математические машины в диалоговых системах. //Тезисы докл. на конф. "Диалог "человек-ЭВМ". Часть 2. Теоретические методы построения диалоговых систем. Инструментальные системы. Технологические средства диалога и сети ЭВМ. - Свердловск, 1989, с.29 [Красилов89б] Красилов А.А. Интеллектуализация программирования на базе экспертных систем. Доклад на всесоюзной конф: «Теория и практика построения интеллектуальных интегрированных САПР РЭА и БИС», - Звенигород, 5-7 декабря 1989 [Красилов89в] Красилов А.А. и др. (всего 25 авторов) Язык программирования Ада. ГОСТ 27831-88 (ИСО 8652-87) // разработка и редакция, М., Госком СССР по стандартам, 1989, - 264 с. [Красилов89u] Красилов А.А., Хитров В.А. Преподавание основ информатики на базе языка Ада в МФТИ. Тезисы докл. //В сб. «Методическое и программное обеспечение обучения языку ада», Рига, 3-6 апреля 1989, с.6. [Красилов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 [Красилов97г] Красилов А.А., Красилова И.Н. Книга дат. Препринт, - М., 1997, 339 с. [Красилов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б] Красилов А.А., Григорьев Р.Д. Программный комплекс «INTELLSYST». Основы использования. Руководство пользователя синтезированной программой. Система Интелсис. Препринт корп. «Галактика», 2001, 150 с. [Красилов00в] Albert A. Krasilov. The 21st Century - Century of Informatics CSIT 2000 p.p. 177-183 [Красилов01] Красилов А.А. 21 век - век информатики, // в сб.: Высокие технологии в промышленности России, -М., Международная академия информатизации, 2001, с. 199-203 [Красилов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, 2003, с. 30-38 [Красилов03в] Красилов А.А Информация, знание и информатика: концептуальные аспекты. Международный форум по информации. - М., ВИНИТИ, том 28, № 4, 2003, с. 10-26 [Красилов03г] Красилов А.А., Григорьев Р.Д. www.intellsyst.ru. Интеллектуальные системы общего назначения. 2003 [Красилов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] Лекции лауреатов премии Тьюринга за первые двадцать лет 19661985. - М., Мир, 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 [Маурер80] Маурер У. Введение в программирование на языке ЛИСП. - М., Мир, 1976, - 104 с. [Машина86] Машинный фонд русского языка: идеи и суждения. - М., Наука, 1986 [Мейер82] Мейер Б., Бодуэн К. Методы программирования. Т.1,2. - М., Мир, 1982, 358+368 с. [Мейер87] Мейер Д. Теория реляционных баз данных. - М., Мир, 1987, - 608с. [Минский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, с.106120 [Построение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. Библиотека Turbo Vision, 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, с. 110134; 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 [Черняк02] Черняк Л. Библиотека знаний Cyc. Открытые системы. СУБД. № 11 (79), М., 2002, - с. 18-21. [Черч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