 |
 |
 |
 |
|
 |
 |
176
Контрпример — пример, опровергающий некоторое общее утверждение.
Конфиденциальная информация — информация, доступ к которой ограничен.
Конъюнкция — логическая связка «И».
Конъюнкция А и В истинна, когда истинны оба суждения А и В.
Конъюнкция А и В ложна, когда ложны суждения А или В.
Курсор — значок для указания места на экране ЭВМ.
Лемма — вспомогательное утверждение, предполагающее самостоятельное доказательство.
Лицензия — документ, подтверждающий права на использование программ для ЭВМ.
Логика — наука, изучающая правильность суждений, рассуждений и доказательств.
Логические функции — функции, аргументами и значениями которых могут быть 0 или 1.
Логические элементы — устройства, обрабатывающие двоичные сигналы 0 и 1.
Локальная вычислительная сеть
— сеть, объединяющая компьютеры в комнате или соседних
помещениях.
Магнитные диски — средство хранения информации, программ и данных в ЭВМ,
Массив — область машинной памяти, выделяемая для размещения совокупности данных.
Математическая индукция
— принцип доказательства истинности последовательностей
утверждений.
Математическая логика — дисциплина, изучающая технику математических доказательств.
Массовая информация — информация, предназначенная для неограниченного круга лиц.
Машинная программа
— последовательность машинных команд и данных, реализующих
определенные функции ЭВМ.
Метод — единый способ решения некоторого класса задач.
Метод правильный, если он дает правильные результаты для любой задачи данного класса.
Метод неправильный, если существует задача данного класса, для которой он дает неправильные
результаты или вовсе не дает результатов.
Мобильность программ — возможность переноса программы на другую ЭВМ.
Модем — устройство связи компьютеров для передачи файлов по каналам связи.
Мышка — приспособление, которое можно перемещать по столу и которое подсоединено к ЭВМ.
Новостной сайт — ежеминутно обновляемая электронная газета.
Объем понятия — совокупность вещей или явлений, отвечающих данному понятию.
Операционная система — главная управляющая программа на ЭВМ.
Отказ — ситуация, когда прекращается выполнение программы.
Отладка программ — процесс поиска и исправления ошибок в программах на ЭВМ.
Паскаль — язык структурного программирования.
Персональные компьютеры — малогабаритные вычислительные машины.
Поиск данных — отбор данных по определенной комбинации признаков.
Поисковые системы — системы поиска информации в сети Интернет.
Почтовый сервер — компьютер, выделенный для переписки по электронной почте.
Постановка задачи — четкое выделение в задаче требуемого и исходного.
Правила в Прологе — правила логического вывода.
Правильность программ — правильность результатов, получаемых при выполнении программ на
ЭВМ.
Предикаты — математические высказывания о некоторых объектах или их свойствах.
Представление данных — подбор массивов, переменных и других структур для размещения данных
в памяти ЭВМ.
Принтеры — печатающие устройства, подсоединяемые к компьютерам.
Провайдер — организация, предоставляющая подсоединение и доступ в Интернет.
Программа для ЭВМ
— форма представления данных и команд, предназначенных для получения
определенных результатов или способа функционирования ЭВМ.
Программа правильная, если она дает правильные результаты для
любых допустимых исходных
данных.
Программа содержит ошибки, если ее выполнение приводит к отказам, сбоям или получению
неправильных результатов.
Пролог
— система искусственного интеллекта, способная воспроизводить логические выводы и
умозаключения.