Толковый словарь - часть 2

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

Вычислительные науки - науки об организации вычислительных процессов, а также вычислительных машин, систем и сетей.

Глобальная сеть - сеть, в которой объединены компьютеры в различных странах на различных континентах.

Дизъюнкция - логическая связка «или».

Дизъюнкция А или В истинна, когда истинно хотя бы одно из суждений А или В.

Дизъюнкция А или В ложна, когда ложны оба суждения А и В.

Дисплей - устройство отображения информации на электронном экране.

Дистанционное обучение - обучение на расстоянии с использованием учебников, персональных компьютеров и сетей ЭВМ.

Доказательство - последовательность суждений, обосновывающих некоторое утверждение.

Доказательное программирование - составление алгоритмов и программ одновременно с доказательством их правильности.

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

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

Закон двойного отрицания; «Если неверно отрицание, то суждение - истинно».

Закон исключения третьего: «Истинно суждение либо его отрицание - третьего не дано».

Закон противоречия: «Не могут быть истинны одновременно суждение и его отрицание».

Закон тождества: «Предмет рассмотрения должен быть строго определен и не должен меняться до конца обсуждения».

Законы логики - общие законы логического вывода.

Защита информации - действия и средства по предотвращению утечки, хищению, искажению или подделки информации.

Импликация - логическое следование А ® В.

Импликация А ® В

ложна, когда посылка А истинна, а следствие В ложно.

Импликация А ® В

истинна, когда истинно следствие, либо ложны и следствие, и посылка.

Имущественные права - права собственности на произведение (программы и базы данных для ЭВМ).