Контрпример - пример, опровергающий некоторое общее утверждение.
Конфиденциальная информация - информация, доступ к которой ограничен.
Конъюнкция - логическая связка «и».
Конъюнкция А и В истинна, когда истинны оба суждения А и В.
Конъюнкция А и В ложна, когда ложны суждения А или В.
Курсор - значок для указания места на экране ЭВМ.
Лексикон - редактор текстов для компьютеров IBM PC с операционной системой MS DOS.
Лемма - вспомогательное утверждение, предполагающее самостоятельное доказательство.
Лицензия - документ, подтверждающий права на использование программ для ЭВМ.
Логика - наука, изучающая правильность суждений, рассуждений и доказательств.
Логические функции - функции, принимающие логические значения «истина» или «ложь».
Логические элементы - устройства, на входах и выходах, на которые могут появляться сигналы 0 или 1.
Локальная вычислительная сеть - сеть, объединяющая компьютеры в комнате или соседних помещениях.
Магнитные диски - средство хранения информации, программ и данных в ЭВМ.
Массив - область машинной памяти, выделяемая для размещения совокупности данных.
Математическая индукция - принцип доказательства истинности последовательностей утверждений.
Математическая логика - дисциплина, изучающая технику математических доказательств.
Массовая информация - информация, предназначенная для неограниченного круга лиц.
Машинная программа - последовательность машинных команд и данных, реализующих определенные функции ЭВМ.
Метод - единый способ решения некоторого класса задач.
Метод правильный, если он дает правильные результаты для любой задачи данного класса.
Метод неправильный, если существует задача данного класса, для которой он дает неправильные результаты или вовсе не дает результатов.
Мобильность программ - возможность переноса программы на другую ЭВМ.
Модем - устройство связи компьютеров для передачи файлов по каналам связи.
Мышка - приспособление, которое можно перемещать по столу и которое подсоединено к ЭВМ.