« А.А. Красилов ИНФОРМАТИКА В СЕМИ ТОМАХ Том 1. Основы информатики (Введение в информатику) ...»

[Блох87] Блох А.Ш. Граф-схемы и алгоритмы. - Минск, Высшая школа, 1987, 144 с.

[Богодист74] Богодист В.И. Измерение смысловой информации лингвистической единицы французского языка. - Л., 1974

[Бойченко85] Бойченко Е.В., Кальфа В., Овчинников В.В. Локальные вычислительные сети. - М., Радио и связь, 1985. - 304 с.

[Бонгард67] Бонгард М.М. Проблема узнавания. - М., Наука, 1967, - 320 с.

[Бондаренко97] Бондаренко Н.В., Северова Т.С., Соколовский М.В., Толстых Г.Д. О концепции обучения информатике в школе. - М., Информатика и образование, 1997, N 1, с.19-22

[Бордовский91] Бордовский Г.А., Извозчиков В.А., Исаев Ю.В., Морозов В.В. Информатика в понятиях и терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208с.

[Борисов89] Борисов А.Н., Алексеев А.В., Меркурьев Г.В., Слядзь Н.Н., Глушков В.И. Обработка нечеткой информации в системах принятия решений. - М., Радио и связь, 1989. -304с.

[Бохуа82] Бохуа Н.К., Геловани В.А., Ковригин О.В., Смольянов Н.Д. Экспертная система диагностики различных форм артериальной гипертензии. - М., Изв. АН СССР, Техническая кибернетика, 1982, N 6

[Боэм85] Боэм Б.У. Инженерное проектирование программного обеспечения. - М., Радио и связь, 1985, - 511 с.

[Брандон70] Брандон Д.Х. Организация работы на вычислительном центре. - М., Статистика, 1970, - 296 с.

[Братко90] Братко И. Программирование на языке Пролог для искусственного интеллекта. - М., Мир, 1990, - 560 с.

[Братчиков75] Братчиков И.Л. Синтаксис языков программирования. - М., Наука, 1975

[Браун77] Браун П. Микропроцессоры и мобильность программного обеспечения. - М., Мир, 1977, - 255 с.

[Бриллюэн66] Бриллюэн Л. Научная неопределенность и информация. - М., Мир, - 271 с.

[Бритон79] Бритон Д.Б. Новая компьютерная архитектура, основанная на потоке данных. - М., Электроника, 1979, N 9

[Бродская81] Бродская И.М., Камынин С.С. Система машинного видения для анализа сцен. //В кн.: Проблемы машинного видения в робототехнике. ИПМ АН СССР, - М., 1981

[Броуди90] Броуди Л. Начальный курс программирования на языке Форт. - М., Финансы и статистика, 1990, - 352 с.

[Брукс79] Брукс Ф.П. мл. Как проектируются и создаются программные комплексы. Мифический человеко-месяц. Очерки по системному программированию. - М., Наука, 1979, - 152 с.

[Брусницов79] Брусницов Н.П. Микрокомпьютеры. - М., Наука, 1979

[Брябрин81] Брябрин В.М. Ф-язык - формализм для представления знаний в интеллектуальной системе. //В сб.: Прикладная информатика. Вып. 1, Финансы и статистика, - М., 1981

[Брябрин88] Брябрин В.М. Программное обеспечение персональных ЭВМ. - М., Наука, 1988, - 271 с.

[Булос94] Дж.Булос, Р.Джеффри. Вычислимость и логика. - М., Мир, 1994, - 397 с.

[Бусленко78] Бусленко Н.П. Моделирование сложных систем. - М.,Наука,1978, 399 с.

[Вагин86] Вагин В.Н. Параллельная дедукция на семантических сетях. //Изв. АН СССР, Техническая кибернетика, 1986, N 5

[Вагин87] Вагин В.Н., Захаров В.Н., Розенблюм Л.Я. К логическому выводу на сетях Петри. //Изв.АН СССР, Техническая кибернетика, 1987, N 5

[Ван Дейк78] Ван Дейк Т. Вопросы прагматики текста. //В кн.: Новое в лингвистике. Вып. VIII. Лингвистика текста. - М., 1978

[Василеску90] Василеску Ю. Прикладное программирование на языке Ада. - М., Мир, 1990, - 350 с.

[Вегнер83] Вегнер П. Программирование на языке Ада. - М.,Мир,1983,- 240с.

[Вейль89] Вейль Герман. Математическое мышление. - М., Наука,1989,- 400с.

[Велихов86] Велихов Е.П. Информатика - актуальное направление развития советской науки. //Кибернетика. Становление информатики. - М., Наука, 1986, с.10-21

[Вельбицкий80] Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. - М., Статистика, 1980, - 263 с.

[Ветров68] Ветров А.А. Семиотика ее основные проблемы. - М., 1968

[Винер66] Винер Н. Творец и робот. Обсуждение некоторых проблем, в которых кибернетика сталкивается с религией. - М., Прогресс, 1966

[Винер68] Винер Н. Кибернетика или управление и связь в живом и машине. - М., Советское радио, 1968, - 340 с.

[Виноград76] Виноград Т. Программа, понимающая естественный язык. -М., Мир, 1976

[Виноградов86] Виноградов В.И. Информационно-вычислительные системы: Распределенные модульные системы автоматизации. - М., Энергоатомиздат, 1986. - 336 с.

[Вирт77а] Вирт Н. Систематическое программирование: Введение. - М., Мир, 1977

[Вирт77б] Вирт Н. Язык программирования Паскаль (Пересмотренное сообщение). //В сб.: Алгоритмы и организация решения экономических задач. вып. 9, - М., Статистика, 1977

[Вирт85] Вирт Н. Алгоритмы + структуры данных = программы. - М., Мир, 1985, - 408 с.

[Власов88] Власов В.К., Королев Л.Н., Сотников А.Н. Элементы информатики. - М., Наука, 1988. - 320 с.

[Воз84] Воз Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем. //Кибернетический сборник. Вып.21, - М., Мир, 1984, с.235-263

[Воронов90] Воронов Ю.П. Компьютеризация: Шаг в будущее. - Новосибирск: Наука, 1990. - 336 с.

[Восилюс80] Восилюс С.К., Мачераускас В.Ю. Фреймовое представление знаний в системах управления качеством. //В кн.: Представление знаний в системах искусственного интеллекта. - М., 1980

[Вудс76] Вудс В.А. Сетевые грамматики для анализа естественного языка. Кибернетический сборник, вып. 13, - М., Мир, 1976

[Вулф87] Вулф А. Модули на базе однокристального Лисп-процессора для ЭВМ военного назначения. //Электроника, 1987, т.60, N 5, с.27-31

[Высоцкий70] Высоцкий Г.Я., Рудный Б.Н., Трунин-Донской В.Н., Цемель Г.И. Опыт речевого управления вычислительной машиной. Изв. АН СССР, Техническая кибернетика, 1970, N 2

[Выч67] Вычислительные машины и мышление. - М., Мир, 1967, - 552 с.

[Выч78] Вычислительная техника и обработка данных. Терминологический толковый словарь фирмы IBM. - М., Статистика, 1978, - 232 с.

[Гаврилова00] Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем (Учебник). Санкт-Петербург, Москва – Харьков – Минск, 2000, - 384 с.

[Гавурин63] Гавурин М.К. О ценности информации. Вестник ЛГУ. Сер. математики, механики и астрономии. N 19, вып. 4, 1963

[Гаек84] Гаек П., Гавранек Т. Автоматическое образование гипотез. Математические основы общей теории. - М., Наука, 1984. - 278 с.

[Гантер81] Гантер Р. Методы проектирования программного обеспечения. - М., Мир, 1981

[Гетманова95] Гетманова А.Д. Логика. Для педагогических учебных заведений. -М., Новая школа, 1995, - 416 с.

[Ги86] Ги К. Введение в локальные вычислительные сети. - М., Радио и связь, 1986. - 176 с.

[Гилой81] Гилой В. Интерактивная машинная графика: структуры данных, алгоритмы, языки. - М., Мир, 1981, - 384 с.

[Гильберт79] Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М., Наука, 1979, - 558с.

[Гильберт82] Гильберт Д., Бернайс П. Основания математики. Теория доказательств. - М., Наука, 1982, - 653 с.

[Гинзбург70] Гинзбург С. Математическая теория контекстно-свободных языков. - М., Мир, 1970, - 327 с.

[Гласс82] Гласс Р. Руководство по надежному программированию. - М., Финансы и статистика, 1982

[Гласс83] Гласс Р., Нуазо Р. Сопровождение программного обеспечения. - М., Мир, 1983, - 156 с.

[Глушков71] Глушков В.М., Гринченко Г.А. АНАЛИТИК. - К., Кибернетика,1971, N 3

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

[Глушков82] Глушков В.М. Основы безбумажной информатики. - М., Наука, 1982, - 552 с.

[Глушков90] Глушков В.М. Кибернетика, вычислительная техника, информатика. Избранные труды в трех томах. Т.1. Математические вопросы кибернетики. - 264 с. Т.2. ЭВМ - техническая база кибернетики. - 268 с. Т.3. - Киев, Наукова думка, 1990

[Голендер81] Голендер В.Е. Индуктивная логика и методы обнаружения закономерностей. //В кн.: Машинные методы обнаружения закономерностей. - Рига, 1981

[Головкин80] Головкин Б.А. Параллельные вычислительные системы. - М., Наука, 1980. - 520 с.

[Горстко88] Горстко А.Б. Кочковая С.В. Азбука программирования. (Информатика для всех). - М., Знание, 1988, - 144 с.

[ГОСТ89] ГОСТ 28195-89. Оценка качества программных средств. Общие положения. Государственный комитет СССР по стандартам. - М., Издательство стандартов, 1989, - 38 с.

[Грей89] Грей П. Логика, алгебра и базы данных.- М., Машиностроение,1989,- 368 с.

[Гренандер83] Гренандер У. Лекции по теории образов. - М., Мир. Т.1.Синтез образов. 1979, - 384 с. Т.2. Анализ образов. 1981, - 446 с. Т.3. Регулярные структуры. 1983, - 345 с.

[Грис75] Грис Д. Конструирование компиляторов для цифровых вычислительных машин. - М., Мир, 1975, - 416 с.

[Грис84] Грис Д. Наука программирования. - М., Мир, 1984, - 416 с.

[Гришин82] Гришин Е.А., Билялитдинов А.Х. Структура языка представления знаний KRL. //Техника средств связи. Сер. АСИ, N 1, 1982

[Громов85] Громов Г.Р. Национальные информационные ресурсы: Проблемы промышленной эксплуатации. - М., Наука, 1985, - 237 с.

[Громов87] Громов Г.Р. Игровая компонента персональных ЭВМ: стимулятор творчества, педагогический прием, жанр киноискусства. - М., Микропроцессорные средства и системы, 1987, N 3

[Гросс71] Гросс М., Лантен А. Теория формальных грамматик. - М., Мир, 1971

[Гудман81] Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. - М., Мир, 1981, - 368 с.

[Гудстейн70] Гудстейн Р.Л. Рекурсивный математический анализ. - М., Наука, 1970, - 472 с.

[Гутер75] Гутер Р.Ц., Полунов Ю.Л. От абака до компьютера. - М., Знание, 1975, - 208 с.

[Дал69] Дал У., Мюрхауг Б., Нюгорд К. СИМУЛА 67 - универсальный язык программирования. - М., Мир, 1969

[Дал75] Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М., Мир, 1975, - 248 с.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[Ершов83] Ершов А.П. Информатика. Предмет и понятие. //Наука в Сибире. - Новосибирск, 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, с.60-70

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

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

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

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

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

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

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

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

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

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

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

[Красилов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

[Красилов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б] Красилов А.А., Григорьев Р.Д., Бричев Ю.В. Программный комплекс «INTELSYS». Основы использования. Руководство пользователя по инструментарию интеллектуального программирования. Система Интеллсист. Препринт корп. «Галактика», 1999, 250 с.

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

[Красилов00б] Красилов А.А., Григорьев Р.Д., Бричев Ю.В. Программный комплекс «INTELSYS». Основы использования. Руководство пользователя синтезированной программой. Система Интеллсист. Препринт корп. «Галактика», 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, с. 30-38

[Красилов03в] Красилов А.А Информация, знание и информатика: концептуальные аспекты. в печати, - М., ВИНИТИ, 2003, 35 с.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[Фаронов92] Фаронов В.В. Турбо Паскаль (в 3-х книгах), Кн.1. Основы Турбо Паскаля, 1992, 286 с., Кн.2. Библиотека 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. Программы школьных и институтских занятий

Учиться учиться!

Школьное преподавание информатики в 21 веке

Целесообразно сформулировать причины, побудившие взглянуть критически на преподавание информатики. Их несколько. Первая причина - это результат изучения статей журнала «Информатика и образование», в котором обращено особое внимание на интересные статьи, представляющие программы и методы обучения информатике в школе. Предложение по стандарту [Проект97] связано с фиксацией существующего положения: преподавание информатики - это передача учащемуся методов работы с алгоритмическими знаниями и программированием. Однако имеется и другой взгляд на стандарт, который должен быть опережающим и ставить интересные вопросы учителю для развития творческого подхода к изучаемому предмету в классе. Некоторые идентичные взгляды отражены и в [Кузнецов97]. Также отличительные особенности взглядов на информатику в школе изложены в статьях [Бондаренко97 и Бешенков97], но относительно требований к программам. Вторая причина: к настоящему времени накоплен некоторый опыт экспериментального преподавания информатики в частной школе. В этом процессе выявлены положительные стороны восприятия элементов новой информатики у учеников начальной школы. Однако в действительности информатику необходимо преподавать, начиная с 5 класса, существенно изменив взгляды, как на информатику, так и на программы обучения. Третья причина: разработка технологии ИП и Интеллсист показала на необходимость изменения взглядов на программирование, которое должно стать интеллектуальным и доступным каждому пользователю компьютера на его профессиональном языке без привлечения ФЯ (не исключая самих программистов). Четвертая причина: зададимся вопросом: «Нужно ли перепроизводство программистов?». Вероятно, что пора переходить к решению проблемы: каждый должен быть «программистом». Вспомним историю с телефонистами, бурный рост потребности в телефонистках привел к необходимости создания огромной армии работников телефонных коммутаторов. Пятая причина: многолетняя работа в информатике (50 лет) позволила создать и обосновать новое определение информатики, включающее проблемы передачи ВМ не только алгоритмического знания, но и еще шести видов представления знаний. Шестая причина: проведены эксперименты по составлению программы по информатике для средней школы. И седьмая причина: вызвать огонь на себя (на новое определение информатики) от преподавателей информатики, информатиков и родителей учащихся. Время требует серьезного обсуждения проблем информатизации и обучения информатике. Ведь необходимо осознать, что только в 1997 году в мире создано 80 млн. компьютеров (число производимых в год компьютеров непрерывно увеличивается), а домашний компьютер уже никого не удивляет. Обобщая сказанное можно сформулировать общий вопрос: какое место должна занимать информатика в школе?

Констатируем, что школьное обучение информатике по современным программам сводится к освоению работы с ВМ на основе программирования. Навыки программистов важны для каждого, так как они повышают уровень внимания и алгоритмическое мышление, которого так недостает в практической деятельности человека. Но ведь чисто программистские приемы могут для большинства детей оказаться обременительными. Даже создание преподавателем игровых ситуаций при изучении школьниками информатики (см. замечательные статьи в «Информатика и образование») не является панацеей от обременительности. С наших позиций сущность и методология информатики находится несколько в стороне от процессов программирования, которые способствуют пониманию информатики, являются даже очень самостоятельной дисциплиной для специализированной школы. Не избежать в любой программе по информатике обучения смыслу процессов программирования и общения с ВМ. Программированию необходимо отводить положенное время для освоения относительно нового вида знания - алгоритмического. Рассмотрим здесь фундаментальные вопросы преподавания информатики в школе с иллюстрацией схемы программы по информатике.

Школьное обучение информатике должно начинаться с пятого класса (в отличие от предложения в [Кузнецов97]) и продолжаться до окончания школы. Следует признать, что начальные классы вынужденно уже занимаются элементами информатики, что следует из приводимой в статье программы, и это весьма положительно. Основной целью обучения информатике является выработка у школьника навыков, способствующих выполнению правила: научиться учиться или учиться учиться (а не довольно нудного правила - учиться, учиться и учиться). Школьнику необходимо знать, как приобретаются знания, как использовать СВТ для усиления интеллектуальных способностей человека.

Отличие предлагаемой ниже программы от существующих программ состоит в следующем. Кроме алгоритмических (или процедурных) знаний человек обычно использует такие представления знаний как

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

Чтобы понять место и роль информатики, надо иметь в виду, что в соответствии с видами знаний науки классифицируются на следующие направления:

• естественные (зоология, биология и др.),
• гуманитарные (например, языкознание),
• информатические (информатика биологии, информатика языкознания, информатика архитектуры, информатика физики, информатика производства, информатика системы управления и т.п.),
• искусствоведческие (архитектура и др.),
• фундаментальные (математика, физика и химия),
• технологические
• и системологические науки.

От известной классификации данная ниже программа отличается только введением класса информатических наук, которые будут внедряться в XXI веке. В той или иной степени они охватываются имеющимися программами обучения и рассматриваются по многим школьным дисциплинам. В работе обязательно каждый столкнется с информатикой, но не через программирование или ФЯ, а с помощью своего профессионального языка. В таком взгляде просматривается глубокая связь всех программ средней школы. Но информатика связана с компьютером и с проблемой знания о знании. В силу этих и других обстоятельств нами сформулировано новое определение информатики.

Информация является предметом кибернетики. Ее передача, хранение и обработка интересует кибернетика. Это понятие перенесено в информатику кибернетиками, а в информатике интересны только осмысленные сообщения, передающие знания, которые и является предметом информатики. Потоки сообщений (может быть и не имеющие смысла) изучает кибернетика, они передаются для управления в системах. Объектом информатики является система человек-ВМ и человек-человек. С помощью информатики человек стремится к общению с компьютером такими же средствами, которые он использует при общении человека с человеком, охватывая все способы представления знаний из всех областей деятельности.

Учебная программа по информатике каждого учителя может расходиться с общепринятыми программами, она может отличаться по составу конкретного знания и во многом определяться наличием технических средств обучения. Информатику можно и необходимо преподавать и в условиях отсутствия компьютеров в школе. Каждая учебная программа составляется с учетом следующих требований:

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

Эти требования к учителю являются дополнительными к известным предписаниям. С учетом изложенных требований и определения информатики ниже предлагается схематический проект программы по информатике для средней школы. Конечно же, начальные сведения по информатике необходимо давать раньше, как предлагается в [Бондаренко97] и как практически уже реализуется по действующим программам.

В этом приложении совсем кратко рассматриваются вопросы преподавания информатики в средней школе и институте (здесь приведены примеры "игры" в семерку, объявленную во введении). Поскольку обучение связано с познавательной работой школьника или студента, многие приводимые перечисления факторов состоят из семи пунктов в соответствии с ранее высказанной договоренностью. Сами перечисления заимствованы из литературы по педагогике, которые в ней представлены меньшим или большим числом. «Причесывание» перечислений к семерке проводилось продуманно и большей частью обоснованно. В связи с этим указанные ниже разделы надо понимать как анализ известных учителю методик, но несколько модифицированных «под давлением» или игры в 7. Даваемые ниже перечисления родились при освоении педагогической литературы.

Цели обучения информатике. Обучение информатике преследует цели выработке навыков работы со знаниями, наблюдению за реальным миром, нахождению взаимосвязей предметов, определению и сбору фактов действительности, обобщению фактов и построению поведения для поиска нового знания. Этим целям должны быть подчинены все занятия, домашние задания, упражнения на уроках и игры с учащимися. При этом учебная программа должна обеспечить выполнение следующих требований:

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

Навыки в программировании здесь не предусматриваются.

Чему и как учить ребенка. Из литературы известны достаточно подробные классификации материала и работы с учащимися. Рассматривая [Бешенков97, Бондаренко97, Информатика5, Проект97] видим, что школа уделяет внимание главным направлениям деятельности человека в будущем и стимулирует следующие дисциплины: общеобразовательные, психолого-педагогические, общественно-политические, специальные, курсовые, научно-исследовательские работы, практика и профориентация, экзамены. Все эти дисциплины важны, и ни одна из них не должна превалировать. Ориентация школы может определить только особенности программы реализации обучения и прививания навыков и умения по выбранному направлению.

Функции учебной программы. Учебная программа учителя по информатике может расходиться с общепринятыми учебниками по приемам изложения. Программа может отличаться по составу от общепринятой программы обучения, но при этом она должна преследовать указанные выше цели. Каждая учебная программа составляется с учетом следующих требований. Она должна использовать известную символику, отражать новое содержание, иметь ясные определения и ясное представление материала, отражать задачи, методы и области применения, управлять учебным процессом. Программа в обязательном порядке должна включать описание фактов, их взаимосвязи, определения каждого нового для учащегося понятия с указанием его термина и значений (смыслов), фактические материалы по разделам, характеристики теорий и методов с приложениями к реальным или воображаемым предметам и систему выводов, которые следуют из каждого положения.

Методика использования знания. В основу методики использования знаний закладываются следующие атрибуты школьного обучения:

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

Такова кратко рубрикация процесса использования знаний. Она не является исчерпанной, здесь огромное поле деятельности для просвещения.

Подготовка учителя. Учитель определяет стиль проведения обучения в классе. При этом он обязан реализовать:

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

Это только общие требования к учителю.

Активность учителя. Активность учителя должна быть постоянной и преследовать главные цели воспитания:

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

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

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

Для учителя важно преподать учащемуся то, как его обучают:

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

Приемы логического мышления базируются на сопоставлении следующих пар понятий:

Рассуждение	Нелогичность (их поиск)
Индукция	Дедукция
Конкретизация	Абстракция
Систематизация	Расчленение
Классификация	Обобщение
Сравнение	Поиск различия
Анализ	Синтез

При этом работает не слово, а термин, который преподносится по всем своим атрибутам: описание термина, увязывание терминов друг с другом, примеры определения термина, рассмотрение понятий словаря и лексикона, важно знать о способах определения термина, применение термина - основа для глубокого его понимания, термин как система его атрибутов.

Формы проверки. Известны, но не всегда соблюдаются формы проверки усвоенного материала. Известны также и методы проверок:

- опрос короткий, но почти каждого,

- язык учащегося - важная сторона усвоения,

- письменная работа на уроке и дома,

- умение читать с учетом количества, скорости и интонации,

- формулировка законов (пусть даже неправильных) - важная часть усвоения,

- диалог - основа окончательного усвоения материала,

- умение постановки проблемы или вопроса.

Качество обучения. Качество обучения оценивается умением учащегося:

- включать в рассуждения неформальные методы,

- делать занятия открытыми и понятными,

- все понятия должны быть определенными,

- конкретно иллюстрировать знания,

- реалистично рассуждать об изученном,

- самоконтролировать знания,

- управлять процессами познания.

Все показатели зависят от учителя, от умения его внушить учащимся такие способности. При этом необходимо применять приемы самоконтроля:

сбор сведений и данных, эмоциональная ориентация, концентрация внимания, актуализация знаний, формирование мотивов и целей, планирование деятельности, контроль с оценкой хода усвоения.

Функции учебника. Известно, что любой учебник является носителем содержания, а в нашем случае - содержания информатики как технологии по обработке знаний. Учебник является средством усвоения материала в дополнении к материалу, преподносимому учителем. В основе учебник должен содержать сведения, подтверждающие факты, учебные задачи и отражать тесную связь с жизнью. Если следовать новому определению информатики, то можно так сформулировать требования к учебнику по информатике и характеристики содержания:

• Дать описательное понимание информатики, ее предмета и объекта изучения.
• Указать на средства общения между людьми и человека с ВМ и рассказать об имеющихся средствах.
• Рассмотреть терминологию и основные понятия в информатике с иллюстрациями примеров их использования.
• Раскрыть понятие факта как первичного элементарного знания.
• Изучить известные операции и законы для свойств операций. Дать понятие утверждения и логического уравнения. Показать примеры их решения.
• Изучение методической основы информатики.
• Преподнести основы интеллектуального программирования.

Учебник по информатике не обязан быть идентичным руководству для программиста, как это сейчас наблюдается повсеместно. Он должен предназначаться для передачи точных и систематизированных научных и практических сведений, быть доступным читателю-школьнику, последовательным и понятным, без неожиданностей. В учебнике должны отсутствовать сложные или неопределенные понятия, определения должны быть простыми, все понятия должны определяться и иллюстрироваться. Учебник должен выдерживать прочную связь известного и незнакомого с пометкой того, что является новым, он должен вырабатывать навыки самостоятельной умственной деятельности, содержать общие положения, которые должны использоваться в конкретных ситуациях, иметь увязку с другими предметами. Понимание действительности должно преподноситься в учебнике не назойливо, своевременно и убедительно, с подсказками и «шпаргалками». Учебник должен содержать краткие исторические справки, а изложение должно соответствовать возрастному и интеллектуальному уровню ученика, который может повышаться со временем, и, конечно, обязательно должна быть связь с практикой и жизнью. В качестве приложений в учебнике следует помещать словари терминов (лексикон знаний по информатике), иллюстрации, справочники и подсказки, задания по освоению деловых игр. Современные учебники по информатике не удовлетворяют многим из перечисленных требований.

Роль учебника. Учебник играет важную роль в познании. Можно выделить несколько ролей. Учебник играет информационную роль, роль усвоения накопленного знания по информатике. Учебник играет интерпретирующую роль, устанавливающую соотношение знания для человека и знания, передаваемого ВМ для решения задач. Учебник играет следующие роли:

• направляющую,
• воспитательную,
• мотивационную,
• стимулирующую,
• потребительскую,
• рационализаторскую,
• активную,
• развивающую,
• закрепляющую,
• самоконтролирующую,
• трудовую
• и трансформационную роли.

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

Основными методами обучения являются (в перечислении имеются повторы из перечислений, данных выше): наблюдение, применение эвристик, аналитические выкладки, репродукция знания, теоретические рассуждения, практическая работа и исследовательский подход.

• Причем необходимо учитывать усваиваемые понятия, которые так или иначе представлены в текстах всех школьных предметов и дисциплин:
• логические символы,
• язык логики,
• определение высказываний,
• набор фактов,
• формулы логики,
• истинность формул,
• построение новых формул.
• Надо отметить важные стороны умения:
• распознавание знаков,
• связка знаков,
• интерпретация,
• подборка фактов,
• вычисление истинности,
• применение принятого знания,
• распознавание нового знания.
• Образование и подготовка учебного материала должны включать:
• отбор дополнительных сведений,
• выбор языка изложения материала,
• демонстрацию зависимостей,
• определение предметов, явлений и процессов,
• систематизацию знаний,
• формулировку вопросов, заданий и проблем,
• выбор методов, методик и решений, управление вниманием и познавательной деятельностью;
• При этом важна правильная организация диалога:
• установление контакта,
• распознавание «кода» сообщения,
• определение цели диалога,
• установление лексикона диалога,
• согласование плана общения,
• обмен результативными сведениями,
• оценка результатов общения.
• Признаками хорошего диалога являются:
• полные сведения о материале,
• объяснение ошибок,
• одобрение знаний,
• правильность ответов,
• последовательность ответов,
• выполнение диалога,
• управление диалогом.

Этими перечислениями завершается игра в 7.

Программа по информатике в средней школе.

Программа может уточниться и детализироваться. Необходимо выделить научную и прикладную части. Основной упор в программе сделан на представление знаний и только частично и в соответствии с весом их использования на представление алгоритмического знания. Опыт рукописи «Информатика» подсказывает пути совершенствования программы и точной привязки к имеющимся программам других дисциплин. Если данный набросков программы получит положительный отклик, то целесообразно представить полное описание программы по существующим правилам.

Полное описание программы необходимо, поскольку она является нормативным документом, средством фиксации процесса обучения, отражением содержания учебного предмета, распределения ресурсов учащегося. Главное, что необходимо учесть в программе по информатике - это выработку у учащегося наблюдательности, навыков, активности, работоспособности и умения, знания и стремления к самообучению.

Широко известные методы преподавания в школе должны учитываться при создании конкретной программы по информатике. В частности необходимо учитывать следующее. Приемами самоконтроля учащегося являются: сбор сведений и данных, эмоциональная ориентация, концентрация внимания, актуализация знаний, формирование мотивов и целей, планирование деятельности, контроль с оценкой хода усвоения. Образование и подготовка учебного материала состоит из следующих разделов: отбора учителем дополнительных сведений, демонстрации зависимостей, определения предметов, явлений или процессов, систематизация знаний, формулировка вопросов, заданий и проблем, выбор методов, методик и решений, управление вниманием и познавательной деятельностью. Признаками положительности диалога между учителем и учениками являются: полные сведения о материале, объяснение ошибок, одобрение, правильность ответов, последовательность ответов, выполнение диалога, управление диалогом. Ниже дан набросок программы по информатике для учащихся средней школы.

1 Программа для пятого класса

Глава 1. Возможности человека (информатическая концепция) по приобретению знаний. Органы чувств - инструмент познания мира. Зрение (передача зрительных сведений - картинок). Слух (передача звуковых сведений - музыка). Обоняние (передача зрительных сведений - картинок). Осязание. Вкус. Знаки и наборы знаков.

Глава 2. Факты - основа знания человека через органы чувств. Предметы, явления и процессы (объекты). Связи объектов, источники фактов. События - повторяемость явлений. Опыты - добывание новых фактов. Обоснование фактов. Понятие о системах человек-компьютер. Связи явлений, действия, процессы.

Глава 3. Понятие о знании. Фиксация знаний. Связность знаний. Четкость знаний. Представление знаний. Научность знаний. Применимость знаний. Новации из знаний

Глава 4. Описательное определение информатики. Мир знаний. Описание знаний. Понимание смысла. Определение понятия. Представления знаний. Закономерности. Использование фактов. Новые знания.

Глава 5. Знание - сила, усиление способностей человека. Логические высказывания. Естественный язык. Что такое понятие. Слова и термины. Основы логики, аксиомы.

Глава 6. Важность знания для жизни, для обучения, для производства, для сельского хозяйства, для информирования, для вычислений, для игры. Правила преобразования

Глава 7. Как добывается новое знание. Методика, практика, внеклассные занятия - игры. Схемы действий в жизненных ситуациях. Графы, формулы, переменная, лабиринт. Приложения: Морзе, Брайль, Катакана.

2. Программа шестого класса

Глава 1. Язык - основа общения людей. Знаки и символы. Алфавиты древнего, слепого человека. Современные алфавиты. Азбука флажкового семафора. Слова и словари. Представление данных - предметная область.

Глава 2. Осмысление фактов. Использование органов чувств. Усилители органов чувств. Языки и грамматики. Грамматические машины. Алгоритмы.

Глава 3. Связь обучения с жизнью. Определение языка. Что такое естественный язык. Количество естественных и искусственных языков. Основы семантической грамматики - правила вычисления смысла фраз.

Глава 4. Искусственные языки. Язык слов, простой язык Эллочки. Язык правил, порождения текстов. Примеры языков данных, знания и смысла. Слова и словари, синонимы и антонимы. Профессиональные слова, заимствованные слова. Представление дат и времени.

Глава 5. Переход к формальным языкам. Развитие семантической грамматики. Языки целых и рациональных чисел. Связь с естественными языками. Основы распознающей грамматики.

Глава 6. Применение языков: порождение, распознавание принадлежности языку, понятие грамматической ошибки. Перевод математических задач в формулы. Правила преобразования.

Глава 7. Поиски смысла. Игра в языки и графы, языки формул. Игра в алгоритмы. Какая-нибудь ПЭВМ, синонимы, антонимы, профессиональные слова, заимствованные слова. Упражнение деревья, массивы, простейшие записи, части речи в русском языке Красота чисел Фибоначчи

3. Программа седьмого класса

Глава 1. Описание фактов в изученных науках. Формальное представление фактов.

Глава 2. Смысл, передаваемый письменностью и текстами. Книга - основа знаний.

Глава 3. Понятие и его определение. Примеры из информатики и других дисциплин.

Глава 4. Представление определений. Игра в запоминание слов. Синонимы, антонимы, профессиональные слова, заимствованные слова. Части речи в семантической грамматике русского языка.

Глава 5. Аксиомы - средство определения. Истина. Имена предметов, явлений и процессов. Термины. Естественные или синтаксические, языковые или семантические, структурные или прагматические, концептуальные, логические или рассудительные, прикладные или алгоритмические и системные аксиомы.

Глава 6. Использование терминов, словарей и аксиом. Мы говорим истинами.

Глава 7. Системы понятий. Словари. Специальные словари. Классы словарей. Таблицы. Игры в слова.

4. Программа восьмого класса

Глава 1. Понятие графа. Вершины и дуги в графе. Определение графа. Классы графов. Понятие о матрице смежности. Игры на графах.

Глава 2. Запись и рисунок графа. Гамак. Граф языка, порождение и распознавание слов и формул по графу.

Глава 3. Виды знаний. Примеры представления знаний. Переход от одного способа представления к другому.

Глава 4. Представления знаний текстами, таблицами, графами. Представление знаний рисунками, графически и предметно.

Глава 5. Средства обработки знаний. Математические машины. Машина Минского и Тьюринга. определение и классификация ЭВМ, устройства, дисплей, клавиатура, система команд.

Глава 6. Использование представлений, управление, потоки данных. Различные схемы систем. Исходные данные, результат, алгоритм, понятие программы.

Глава 7. Систематизации и классификации понятий и знания. Примеры из известных дисциплин и наук.

5. Программа девятого класса

Глава 1. Науки и роль их в жизни. Обобщение фактов. Правила получения новых фактов.

Глава 2. Назначение науки. Языки науки. Отношение к миру. Понятия смысла.

Глава 3. Определение науки. Определение информатики. Информатические науки.

Глава 4. Понятие логического уравнения. Решение логических уравнений. Понятие отношений и предикатов.

Глава 5. Теории. Сложные логические уравнения. Основы информатической логики. Аксиомы и правила вывода решений логического уравнения.

Глава 6. Применения - алгоритмы решения логических уравнений и правила вывода решений.

Глава 7. Системы знаний. Вера и разум. Отношение к действительности.

6. Программа десятого класса

Глава 1. Значение и применение информатики и компьютера. Понятие методологии. Приобретение знаний и ввод в память компьютера.

Глава 2. Естественные и искусственные языки для записи алгоритмов. Соотношение знаний и алгоритмов. Взаимный переход от одного вида знаний к другому.

Глава 3. Методология информатики и этапы работ: изобретание, проектирование, разработка и сопровождение объектов (и программ) в деятельности человека. Фазы и работы - составные части этапов.

Глава 4. Данные и программы. Базы данных. Базы знаний. Системы управления данными и знаниями.

Глава 5. Методы в изобретании, проектировании, разработке и сопровождении любого продукта (на примерах).

Глава 6. Инженерное программирование, понятие технологии изготовления программ.

Глава 7. Понятие об интеллектуальных системах. Определения и классификация. Понятие о системах программирования.

7. Программа одиннадцатого класса

Глава 1. Понятие о законах в жизни и в науках. Мировоззрение. Философия - знание. Религия - вера. Законы природы и диалектики: материальность мира, взаимосвязь всего, единство противоположностей, количество в качество, отрицание отрицания, все в движении, изменении и развитии, философия информатики.

Глава 2. Языки в информатике и в интеллектуальных системах. Языки представления законов и закономерностей.

Глава 3. Понятие о законах в информатике. Формулировки законов информатики. Интеллект, интеллектуальность и интеллектуализации.

Глава 4. Понятие о лексиконах по областям знаний и в науках. Стандартная и пользовательская части лексикона. Использование систем Интернета для получения знаний.

Глава 5. Обоснование законов на основе информатической логики.. Отладка знаний. Непротиворечивость, независимость и полнота знаний.

Глава 6. Применение законов о видах знаний. Понятие о формализации знаний.

Глава 7. Понятие о теории и методах изобретательства. Интеллектуальные системы, их назначение, структура и применение.

Вузовское преподавание информатики.

Институтское направление: «Вычислительное дело и информатика»

Каждый выпускник вуза должен уметь использовать ВМ в своей работе. Ныне это обязательное требование жизни, не зависящее от профиля института. Объем получаемых студентом знаний по информатике определяется возможностями преподавательского состава института, оснащенностью СВТ и пониманием важности новой информатики для работы со знаниями. Если рассмотреть спектры курсов по информатическому направлению в различных институтах, то можно определить перечень основных курсов, способствующих образованию по информатике. Ниже приведен примерный перечень курсов, который может приниматься полностью, с развитием или с некоторым сокращением. Некоторые курсы могут выступать объединенным курсом, если профиль института имеет гуманитарное направление. Некоторые курсы могут быть факультативными.

Перечень курсов по информатизации

Ключевые слова: автомат, алгоритм, базы данных, базы знаний, вычислительная геометрия, вычислительная техника, данные, жизненный цикл, знания, интерфейс, информатика, логика, изобретание, интеллектуальные системы, моделирование, представления, программа, проектирование, разработка, системы, сопровождение, структуры, теории, управление от ЭВМ, языки.

1. Введение в компьютеризацию

(Институтский цикл, 1 семестр, 75 часов)

1.1. История вычислительной техники

1.2. Классификация и использование ЭВМ

1.3. Экономика и маркетинг ЭВМ

1.4. Авторское право, патентование, стандартизация, верификация и сертификация

1.5. Направления в информатике, история развития информатики

1.6. Образование и библиография

1.7. Персоналия

2. Основы теории структур и комплексов ЭВМ

(Факультетский цикл, 1-2 семестры, 100 часов)

2.1. Архитектура средств вычислительной техники (СВТ): память, процессоры, внешние устройства ввода, хранения и вывода данных, каналы связи.

2.2. Основы проектирования СВТ, жизненный цикл проекта структуры, узлов, блоков и элементной базы.

2.3. Микропроцессоры и микропрограммирование.

2.4. Характеристики СВТ: память, быстродействие и размеры.

2.5. Принципы организации ЭВМ: арифметика, адаптируемость, надежность, ориентация на языки высокого уровня, эффективность. Структуры СВТ: потоковые, стековые, гибридные, распределенные, встраиваемые, персональные и сетевые.

2.6. Развитие структур ЭВМ: представлений данных, переключательных схем, каналов передачи сообщений, интерфейсов, комплексов и сетей ЭВМ.

2.7. Системы автоматизации проектирования СВТ (САПР). Информационное, лингвистическое, техническое и технологическое обеспечение.

3. Программное обеспечение ЭВМ

(Факультетский цикл, 1,2,3,4 семестры, 280 часов)

1. Методология программирования: наука информатики, технология

программирования и фольклор (прагматика). Жизненный цикл программы. Человеческий фактор. Инженерное программирование.

1. Методы изобретания.

3.2. Проектирование программного обеспечения. Методы представления и структурирования множеств данных, проблемное, логическое, объектно-ориентированное и декларативное программирование, создание, ведение и управление проектами и библиотеками программ, программирование в спецификациях.

3.3. Разработка программ. Тестирование и отладка. Методы информатики ( на основе методов программирования): модульное, блочное, последовательное, параллельное, структурное, сверху вниз, снизу-вверх, программирование реального времени, временных диаграмм и астрономического времени.

3.4. Сопровождение программ. верификация. Методы обеспечения надежности, эффективности и переносимости, доступа к ресурсам ЭВМ, сопряжения языков программирования, машинной зависимости и независимости, повторного использования, унификации процедур обмена, читаемости и документируемости программ и процессов программирования.

3.5. Инструментальное программное обеспечение. Среда и окружение систем программирования. Методы создания интерфейса человек-ЭВМ.

3.6. Наука программ. Метрика программ.

3.7. Автоматизированное и автоматическое программирование. Языки высокого и сверхвысокого уровней, системы проектирования и синтеза программ.

4. Теория вычислений

(Институтский цикл, 3-6 семестры, 210 часов)

4.1. Моделирование. Физическое, лингвистическое, концептуальное, информационное, математическое, вычислительное (алгоритмическое) и системное моделирование.

4.2. Автоматы. Линейные, стековые и ленточные, вероятностные автоматы.

4.3. Алгоритмы: формализм, методы построения, алгоритмизация, формализация вычислений.

4.4. Вычислимость и сложность вычислений.

4.5. Стили вычислений: последовательное, параллельное, вероятностное, недетерминированное, иерархическое; нечисловые вычисления.

4.6. Правильность и корректность алгоритмов и программ.

4.7. Виды вычислений: функциональное, логическое, таблицы решений, геометрическое, графовое, графическое, интеллектуальное.

5. Вычислительная математика

(Институтский цикл, 4 и 5 семестры, 140 часов)

5.1. Теория погрешностей.

5.2. Аппроксимация, интерполяция, экстраполяция, сглаживание.

5.3. Численное интегрирование и дифференцирование.

5.4. Решение трансцендентных уравнений и систем.

5.5. Решение алгебраических уравнений.

5.6. Решение дифференциальных уравнений.

5.7. Решение интегральных уравнений.

5.8. Решение уравнений в частных производных.

5.9. Статистические методы.

5.10. Численная оптимизация и основы математического программирования.

6. Логика и формальные языки

(Институтский цикл, 6-7 семестры, 100 часов)

6.1. Языки исчисления высказываний.

6.2. Языки исчисления предикатов.

6.3. Алгоритмы дедукции, индукции и традукции.

6.4. Языки рекурсивных функций.

6.5. Алгоритмические языки: синтаксис, семантика и прагматика.

6.6. Функциональные языки, ЛИСП.

6.7. Логические языки, Пролог.

6.8. Порождающие и распознающие грамматики.

6.9. Классы распознавателей языков.

7. Структуры данных

(Факультетский цикл, 5 семестр, 80 часов)

7.1. Основные типы данных.

7.2. Основные структуры данных: массивы, записи, списки, деревья, графы, тексты, подпрограммы.

7.3. Базы данных и системы управления базами данных.

7.4. Словари, кодирование, хеширование, защита данных.

7.5. Редакторы данных, упаковка данных и распределение в памяти.

7.6. Языки и системы представления и преобразования данных, лингвистические процессоры.

8. Математика информатики

(Факультетский цикл, 6 семестр, 80 часов)

8.1. Множества: операции над множествами, отношения, формализации.

8.2. Арифметика и комбинаторика: малые и большие числа, масштабирование, операции с двоичными и многозначными числами.

8.3. Представления векторов и матриц: малые и большие размерности, разреженные и сверхбольшие матрицы.

8.4. Основы теории графов: представления, маршруты, циклы и связность, функции на графах, алгоритмы с графами.

8.5. Теория отношения.

8.6. Интуиционистская и информатическая логики.

8.7. Основы аналитических выкладок с помощью ЭВМ.

8.8. Вычислительная геометрия.

9. Системное программирование

(Факультетский цикл, 7 семестр, 80 часов)

9.1. Системы программирования: интерпретаторы, компиляторы, трансляторы, ассемблеры, загрузчики.

9.2. Интерфейс: меню, пиктограммы, методы доступа.

9.3. Операционные системы: основы теории, безопасность, сегментация данных и программ, синхронизация, файловые системы, управление заданиями, распределение ресурсов ЭВМ.

9.4. Программирование вычислений в реальном времени.

9.5. Основы технической документалистики.

9.6. Системы автоматизации документирования.

10. Машинная графика

(Базовый цикл, 6 семестр, 80 часов)

10.1. Устройства ввода, хранения и вывода графической информации и их классификация.

10.2. Графические языки, интерфейс пользователя.

10.3. Геометрические и графические объекты: точки, линии, поверхности. Операции преобразования: отображения, размерности, сечения, масштабирования, проекции, стерео, сдвига и переноса.

10.4. Представления графической информации: литеры, кадры, фигуры, мультикадры.

10.5. Вычислительная геометрия.

10.6. Алгоритмы обработки графической информации: генераторы изображений, затенения, прозрачность, тени и цвет, построение поверхностей, фильтрация информации.

10.7. Системы обработки графической информации.

11. Основы информатики

(Базовый цикл, 9-10 семестры, 160 часов)

11.1 Знания. Виды знаний: лингвосемиотические, семантические, концептуальные, фактографические, теоретические, алгоритмические, кибернетические.

11.2. Теория распознающих грамматик: граф языка, машины грамматического разбора, классификация языков.

11.3. Концептуальная информатика.

11.4. Представление знаний, системы управления базами знаний, формальные языки представления знаний.

11.5. Теоретические основы информатики, методы решения логических уравнений.

11.6. Методы информатики: изобретание, проектирование, разработка и сопровождение предметов, явлений и процессов.

11.7. Системы программирования на основе знаний: доказательное, эвристическое, логическое, интеллектуальное, продукционное и аксиоматическое программирование, программирование без программистов.

12. Интеллектуальные системы

(Базовый цикл, 10 семестр, 80 часов)

12.1. Базы знаний и системы управления базами знаний, формальные языки генерации баз знаний.

12.2. Языки профессиональной прозы и лексиконы.

12.3. Формирование запросов интеллектуальной системе, вопросы интеллектуальной системы.

12.4. Свойства интеллектуальных систем в зависимости от вида знаний.

12.5. Логические исчисления и машины логического вывода решения логических уравнений.

12.6. Многозначные логики и модификации машин логического вывода.

12.7. Структуры интеллектуальных систем, видеотексов, экспертных систем, трансляторов естественных языков и языков профессиональной прозы.

12.8. Автоматизация обучения с помощью ЭВМ.

Базовые курсы по специализации кафедры

«Прикладная информатика»

1. Системы управления от ЭВМ и обработки сигналов (6-8 семестры, 150 часов).

2. Теория цифровых систем управления (7-8 семестры, 80 часов).

3. Проектирование ВМ и СБИС: информационное, лингвистическое, концептуальное, предметное, логическое, техническое и технологическое проектирование (7-8 семестры, 130 часов).

4. Операционные системы управления объектами сложной организации

(8 семестр, 50 часов).

5. Сети и комплексы ЭВМ заданного направления использования (5 семестр, 40 часов).

6. Информатика технических систем для исследований, конструирования и производства (7-8 семестры, 100 часов).

7. Анализ и синтез электронных схем автоматики (9 семестр, 80 часов).

8. Методы обеспечения надежности и эффективности производства и эксплуатации ЭВМ (6 семестр, 80 часов).

9. Диалоговые языки и системы (9-10 семестры, 80 часов).

10. Специальные системы программирования: моделирование, аналитические выкладки, масштабирование программ, программы синтеза и др. (7 семестр, 50 часов).

11. Технология программирования систем реального времени (6 семестр, 50 часов).

Знания = (Люди + Информация)Распространение