Литература - intellsyst

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