Толковый словарь
Автор - лицо, творческим трудом которого создано произведение (программа или база данных на ЭВМ).
Авторские права - права на имя, внесение изменений и имущественные права на созданное произведение.
Алгоритм - совокупность действий со строго определенными правилами выполнения.
Алгоритм массовый, если он применим для решения некоторого класса задач.
Алгоритм однозначный, если однозначны правила его выполнения.
Алгоритм правильный, если он дает правильные результаты для любых допустимых данных и ситуаций.
Алгоритм результативен, если его выполнение завершается определенными результатами.
Алгоритм содержит ошибки, если его выполнение приведет к неправильным результатам, либо не дает никаких результатов.
Алгоритмизация - составление алгоритмов для решения поставленных задач.
Алгоритмические ошибки - ошибки в методе, постановке, сценарии и реализации.
Алгоритмические языки - языки описания алгоритмов.
Антивирусные программы - программы для защиты от вирусов.
База данных - форма представления и организации совокупности данных, допускающие поиск и обработку с помощью ЭВМ.
База знаний - форма представления и организация совокупности данных и правил вывода, допускающих логический вывод и осмысленную обработку данных в ЭВМ.
Байт - 8-разрядное двоичное число (1 байт = 8 бит).
Бит - величина, принимающая значение 0 или 1.
Безошибочное программирование - составление алгоритмов и программ без ошибок.
Бейсик - диалоговый язык программирования для персональных компьютеров.
Бумажные технологии - информационные технологии, связанные с бумагой.
Вопрос в Прологе - запрос к базе знаний или программе.
Входные данные - данные, вводимые в ЭВМ.
Выходные данные - данные, выводимые из ЭВМ.
Вычислительная машина - устройство для организации автоматических вычислений и обработки информации.
Вычислительные процессы - процессы вычислений и обработки информации в вычислительных машинах и системах.
Вычислительная система - объединение вычислительных машин для организации хранения, обработки и поиска информации.
Вычислительная сеть - совокупность ЭВМ, объединенных сетью связи, позволяющей компьютерам проводить обмен информацией.
Вычислительные науки - науки об организации вычислительных процессов, а также вычислительных машин, систем и сетей.
Глобальная сеть - сеть, в которой объединены компьютеры в различных странах на различных континентах.
Дизъюнкция - логическая связка «или».
Дизъюнкция А или В истинна, когда истинно хотя бы одно из суждений А или В.
Дизъюнкция А или В ложна, когда ложны оба суждения А и В.
Дисплей - устройство отображения информации на электронном экране.
Дистанционное обучение - обучение на расстоянии с использованием учебников, персональных компьютеров и сетей ЭВМ.
Доказательство - последовательность суждений, обосновывающих некоторое утверждение.
Доказательное программирование - составление алгоритмов и программ одновременно с доказательством их правильности.
Документ - информация, зафиксированная на материальном носителе, имеющем реквизиты, позволяющие его идентифицировать.
Закон достаточных оснований: «Всякое утверждение должно предполагать наличие аргументов и фактов, достаточных для его обоснования».
Закон двойного отрицания; «Если неверно отрицание, то суждение - истинно».
Закон исключения третьего: «Истинно суждение либо его отрицание - третьего не дано».
Закон противоречия: «Не могут быть истинны одновременно суждение и его отрицание».
Закон тождества: «Предмет рассмотрения должен быть строго определен и не должен меняться до конца обсуждения».
Законы логики - общие законы логического вывода.
Защита информации - действия и средства по предотвращению утечки, хищению, искажению или подделки информации.
Импликация - логическое следование А ® В.
Импликация А ® В
ложна, когда посылка А истинна, а следствие В ложно.
Импликация А ® В
истинна, когда истинно следствие, либо ложны и следствие, и посылка.
Имущественные права - права собственности на произведение (программы и базы данных для ЭВМ).
Индукция - вывод общих суждений из частных примеров.
Интеллектуальная собственность - результаты и продукты творческого интеллектуального труда.
Интеллект - способность производить логические умозаключения и осмысленную переработку информации.
Интернет - международная компьютерная телекоммуникационная сеть.
Интерпретатор - это система интерпретации (выполнения) программ на ЭВМ.
Информатика - научная дисциплина, изучающая законы и методы накопления, обработки и передачи информации с помощью ЭВМ.
Информация - сведения о лицах, предметах, фактах, событиях, и процессах независимо от формы их представления.
Информационная культура - умение читать книги, искать данные, осмысливать информацию и предоставлять ее людям.
Информационные процессы - процессы сбора, обработки, накопления, хранения, поиска и распространения информации.
Информационные ресурсы - совокупность документов в архивах, библиотеках, фондах, банках данных и других информационных системах.
Информационная система - организация совокупности документов с использованием средств вычислительной техники и телекоммуникационной связи.
Информационные технологии - технологии передачи, накопления и обработки информации.
Информационные услуги - действия людей, организаций и служб по сбору, поиску, хранению и предоставлению информации.
Искусственный интеллект - компьютерные системы, моделирующие или воспроизводящие интеллектуальную деятельность.
Исходные данные - данные, исходные по постановке решаемых задач.
Калькуляция - таблица с определенным набором надписей, формул и данных, используемых для расчетов.
Компакт-диск - оптический диск, используемый для постоянного хранения больших объемов информации.
Компилятор - система трансляции программ с одного языка на другой.
Компьютер - электронная вычислительная машина.
Компьютерная грамотность - умение читать, писать и искать информацию с помощью ЭВМ.
Компьютерные вирусы - саморазмножающиеся программы, способные разрушать информацию на ЭВМ.
Контрпример - пример, опровергающий некоторое общее утверждение.
Конфиденциальная информация - информация, доступ к которой ограничен.
Конъюнкция - логическая связка «и».
Конъюнкция А и В истинна, когда истинны оба суждения А и В.
Конъюнкция А и В ложна, когда ложны суждения А или В.
Курсор - значок для указания места на экране ЭВМ.
Лексикон - редактор текстов для компьютеров IBM PC с операционной системой MS DOS.
Лемма - вспомогательное утверждение, предполагающее самостоятельное доказательство.
Лицензия - документ, подтверждающий права на использование программ для ЭВМ.
Логика - наука, изучающая правильность суждений, рассуждений и доказательств.
Логические функции - функции, принимающие логические значения «истина» или «ложь».
Логические элементы - устройства, на входах и выходах, на которые могут появляться сигналы 0 или 1.
Локальная вычислительная сеть - сеть, объединяющая компьютеры в комнате или соседних помещениях.
Магнитные диски - средство хранения информации, программ и данных в ЭВМ.
Массив - область машинной памяти, выделяемая для размещения совокупности данных.
Математическая индукция - принцип доказательства истинности последовательностей утверждений.
Математическая логика - дисциплина, изучающая технику математических доказательств.
Массовая информация - информация, предназначенная для неограниченного круга лиц.
Машинная программа - последовательность машинных команд и данных, реализующих определенные функции ЭВМ.
Метод - единый способ решения некоторого класса задач.
Метод правильный, если он дает правильные результаты для любой задачи данного класса.
Метод неправильный, если существует задача данного класса, для которой он дает неправильные результаты или вовсе не дает результатов.
Мобильность программ - возможность переноса программы на другую ЭВМ.
Модем - устройство связи компьютеров для передачи файлов по каналам связи.
Мышка - приспособление, которое можно перемещать по столу и которое подсоединено к ЭВМ.
Объем понятия - совокупность вещей или явлений, отвечающих данному понятию.
Операционная система - главная управляющая программа на ЭВМ.
Отказ - ситуация, когда прекращается выполнение программы.
Отладка программ - процесс поиска и исправления ошибок в программах на ЭВМ.
Паскаль - язык структурного программирования.
Персональные компьютеры - малогабаритные вычислительные машины.
Поиск данных - отбор данных по определенной комбинации признаков.
Почтовый сервер - компьютер, выделенный для переписки по электронной почте.
Постановка задачи - четкое выделение в задаче требуемого и исходного.
Правила в Прологе - правила логического вывода.
Правильность программ - правильность результатов, получаемых при выполнении программ на ЭВМ.
Предикаты - математические высказывания о некоторых объектах или их свойствах.
Представление данных - подбор массивов, переменных и других структур для размещения данных в памяти ЭВМ.
Принтеры - печатающие устройства, подсоединяемые к компьютерам.
Программа для ЭВМ - форма представления данных и команд, предназначенных для получения определенных результатов или способа функционирования ЭВМ.
Программа правильная, если она дает правильные результаты для любых допустимых исходных данных.
Программа содержит ошибки, если ее выполнение приводит к отказам, сбоям или получению неправильных результатов.
Пролог - система искусственного интеллекта, способная воспроизводить логические выводы и умозаключения.
Процессор - устройство управления компьютеров и автоматических приборов.
Псевдокод - язык для описания логики работы программ с использованием лексики родного (русского) языка.
Разработка сверху-вниз - способ последовательной разработки проектов от основной задачи к решению вспомогательных подзадач.
Региональная вычислительная сеть - сеть, связывающая компьютеры в пределах определенного региона.
Редакторы текстов - программы подготовки и редактирования текстов на ЭВМ.
Результат неправильный, если он противоречит требованиям задачи.
Результат правильный, если он отвечает поставленным требованиям.
Результирующие данные - результаты обработки данных.
Реляционные базы - базы данных, в которых информация хранится в форме таблиц.
Сбой - потеря части данных либо получение непредусмотренных данных.
Сервер - компьютер, подключенный к сети и используемый для хранения информации.
Сетевые программы - программы приема и передачи данных в сетях ЭВМ.
Электронная библиотека - совокупность электронных книг, размещенных на одном или нескольких серверах.
Электронные книги - гипертексты, размещаемые на серверах и доступные для чтения.
Электронная почта - способ передачи писем с помощью ЭВМ и средств связи.
Электронные таблицы - программы для выполнения и хранения калькуляций на ЭВМ.
Электронные технологии - информационные технологии, связанные с представлением информации в электронном виде.
Электронные учебники - программы с учебными материалами и тестами по определенному предмету.
Эффективность программ - минимальность времени выполнения программ на ЭВМ.
Языки программирования - языки для записи программ для ЭВМ.
Языки спецификаций - языки для записи спецификаций.
Excel - электронные таблицы на компьютерах IBM PC с операционной системы Windows .
IBM PC - наиболее распространенные персональные компьютеры.
Macintosh - самые удобные персональные компьютеры.
MS DOS - операционная система для компьютеров IBM PC.
Quick Basic - язык структурного программирования для компьютеров IBM PC с операционной системой MS DOS.
Visual Basic - объектно-ориентированный язык программирования для IBM PC с операционной системой Windows.
Windows - операционная система для старших моделей компьютеров IBM PC.
Word - редактор текстов для операционной системы Windows.
WWW (world-wide web) - всемирная распределенная сеть электронных библиотек.
