[Уистоков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, с. 110-134; 2, 1996, с. 103-121; 4, 1996, с. 133-162, 6, 1996, с. 157-185
[Хопгуд72] Хопгуд Ф. Методы компиляции. - М., Мир, 1972, - 160 с.
[Хорошевский86] Хорошевский В.Ф. Разработка и реализация экспертных систем - инструментальный подход. // Изв.АН СССР, Техническая кибернетика, 1986, N 5
[Хоффман80а] Хоффман Л.Дж. Современные методы защиты информации. - М., Советское радио, 1980, - 264 с.
[Хоффман80б] Хоффман Л.Дж. Структурный подход к программированию. - М., Советское радио, 1980
[Хьюз80] Хьюз ДЖ., Мичтом Дж. Структурный подход к программированию. - М., Мир, 1980, - 280 с.
[Хювенен90] Хювенен Э., Сеппянен Й. Мир Лиспа. Т.1.Введение в язык Лисп и функциональное программирование. - 448 с. Т.2. Методы и системы программирования. - 320 с. - М., Мир, 1990
[Цаленко89] Цаленко М.Ш. Моделирование семантики в базах данных. - М., Наука, 1989. - 288 с.
[Цикритзис85] Цикритзис Д., Лоховский Ф. Модели данных. - М., Финансы и статистика, 1985. - 343 с.
[Цыпкин84] Цыпкин Я.З. Основы информационной теории идентификации. - М., Наука, 1984
[Чень83] Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. - М., Наука, 1983. - 360 с.
[Черный76] Черный А.И., Жданова Г.С., Колобродова Е.С., Мышева И.А., Полушкин В.А., Садырева Р.Н. Терминология информатики (библиографический указатель работ). ВИНИТИ, Итоги науки и техники, сер. Информатика, т.5, - М., 1976
[Черч60] Черч А. Введение в математическую логику М., ИИЛ,1960, - 486 с.
[Чечкин91] Чечкин А.В. Математическая информатика. - М., Наука, 1991, - 414 с.
[Шанин65] Шанин Н.А., Давыдов Г.В., Маслов С.Ю., Минц Г.Е., Оревков В.В., Слисенко А.О. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний. - М.-Л., Наука, 1965, - 40 с.
[Шанский81] Шанский Н.М., Иванов В.В. Современный русский язык. - М., Просвещение, Часть I. Введение. Лексика. Фразеология. Фонетика. Графика и Орфография. - 192 с. Часть II. Словообразование. Морфология. - 272 с. Часть III. Синтаксис. Пунктуация. - 272 с.
[Шенк80] Шенк Р. Обработка концептуальной информации. - М., Энергия, 1980,-360 с.
[Шенфильд75] Шенфильд Дж. Математическая логика. - М., Наука, 1975, - 528 с.
[Шишмарев78] Шишмарев А.И., Заморин А.П. Англо - русско - немецко - французский толковый словарь по вычислительной технике и обработке данных, 4132 термина. - М., Русский язык, 1978, - 416 с.
[Шоу81] Шоу А. Логическое проектирование операционных систем. - М., Мир, 1981. - 360 с.
[Шураков81] Шураков В.В. Надежность программного обеспечения систем обработки данных. - М., Статистика, 1981, - 216 с.
[Ыйм78] Ыйм Х., Салувеэр М. Фреймы и понимание языка. //Уч. зап. Тартус. ун-та, N 472, 1978
[Ыйм80] Ыйм Х. Язык, значения, знания. //В кн.: Семантика и представление знаний. Уч.зап. Тартусского ун-та, вып.519, - Тарту, 1980
[ЭВМ84] ЭВМ пятого поколения. Концепции, проблемы, перспективы М., Финансы и статистика, 1984, - 110 с.
[Эксперт87] Экспертные системы: принципы работы и примеры. - М., Радио и связь, 1987, - 223 с.
[Эксперт89] Экспертные системы: состояние и перспективы. //Сб. ст. - М., Наука, 1989. - 152 с.
[Эксперт90] Экспертные системы для персональных компьютеров. Методы, средства, реализации. Справочное пособие. - Минск, Вышэйшая школа, 1990, - 198 с.
[Элти87] Элти Дж., Кумбс М. Экспертные системы: концепции и примеры. - М., Радио и связь, 1987, - 191 с.
[Эшби68] Эшби У.Р. Что такое разумная машина? //В сб.: Кибернетика ожидаемая и кибернетика неожиданная. - М., 1968
[Яблонский79] Яблонский С.В. Введение в дискретную математику. - М., Наука, 1979, -384 с.
[Яглом73] Яглом А.М., Яглом И.М. Вероятность и информация. - М., Наука, 1973
[Язык88] Язык Пролог в пятом поколении ЭВМ. //Сб. статей. - М., Мир, 1988
[Якубайтис84] Якубайтис Э.А. Информационно-вычислительные сети. - М., Финансы и статистика, 1984. - 232 с.
[Янов58] Янов Ю.И. О логических схемах алгоритмов. //Проблемы кибернетики. Вып.1, - М., Физматгиз, 1958
[Яхно80] Яхно Т.М. Описание системы, выполняющей аналитические преобразования математических выражений. Новосибирск, 1980
[Gartner99] Gartner Group: Knowledge Management Scenario: Trends and Directions for 1998-2003, 1999
Нужны машинные терминологические словари.
Потребность процессов информатизации
Приложение 1.
Терминологический словарь по информатике
Бурное развитие вычислительного дела в мире за сорок лет привело к ускорению развития всех отраслей экономики, науки, культуры и быта. Широкое применение средств вычислительной техники вызвало рост и ускорение производства ВМ и программ их работы. Все это увеличило отряд лиц, занимающихся изобретанием, проектированием, разработкой и сопровождением техники и программ. Совокупность всех знаний вычислительного дела возродили информатику и позволили представить ее в новом свете. Накопленные знания по применению средств вычислительной техники помогли сформулировать новое определение информатики. Оно является естественным развитием имеющихся определений, как было показано в томе 1. В новом определении информатика вскрывает не только новые возможности синтеза нового знания, но и выдвигает новые интересные и практически полезные проблемы применения средств вычислительной техники. Определение информатики вытекает из общей деятельности человека, которую именуют общим термином «вычислительное дело», включающее информатику, электронику и схемотехнику.
Вычислительное дело - это две тесно связанные между собой стороны: элементная база, платы, узлы, блоки, устройства, ВМ и комплексы ВМ - тело вычислительного дела; данные, программы, программные системы, БД и БЗ, Интеллсист, программное обеспечение систем - душа вычислительного дела. Тело вычислительного дела обслуживается наукой, называемой электроникой, душа вычислительного дела - науками, называемыми ныне программированием и информатикой. За последние десятилетия постепенно указанные три науки преобразовались в завершенные с достаточной степенью области знаний с четкими границами, разделяющими отрасли деятельности человека на кибернетические, электронные (и электротехнические) и информатические науки. Кибернетика ныне возрождается как наука об управлении на основе информационной обратной связи. Электроника встает на крепкие ноги науки о создании приборов на основе взаимодействия заряженных частиц. Информатика рождается как наука о процессах преобразования знаний на основе переработки информации. Многолетнее разделение сфер деятельности указанных наук позволяет более четко и осмысленно представить определение информатики.