Информатика
совокупность ЭВМ, объединенных сетью связи,
Вычислительная сеть - совокупность ЭВМ, объединенных сетью связи, позволяющей компьютерам проводить обмен информацией.
Вычислительные науки - науки об организации вычислительных процессов, а также вычислительных машин, систем и сетей.
Глобальная сеть - сеть, в которой объединены компьютеры в различных странах на различных континентах.
Дизъюнкция - логическая связка «или».
Дизъюнкция А или В истинна, когда истинно хотя бы одно из суждений А или В.
Дизъюнкция А или В ложна, когда ложны оба суждения А и В.
Дисплей - устройство отображения информации на электронном экране.
Дистанционное обучение - обучение на расстоянии с использованием учебников, персональных компьютеров и сетей ЭВМ.
Доказательство - последовательность суждений, обосновывающих некоторое утверждение.
Доказательное программирование - составление алгоритмов и программ одновременно с доказательством их правильности.
Документ - информация, зафиксированная на материальном носителе, имеющем реквизиты, позволяющие его идентифицировать.
Закон достаточных оснований: «Всякое утверждение должно предполагать наличие аргументов и фактов, достаточных для его обоснования».
Закон двойного отрицания; «Если неверно отрицание, то суждение - истинно».
Закон исключения третьего: «Истинно суждение либо его отрицание - третьего не дано».
Закон противоречия: «Не могут быть истинны одновременно суждение и его отрицание».
Закон тождества: «Предмет рассмотрения должен быть строго определен и не должен меняться до конца обсуждения».
Законы логики - общие законы логического вывода.
Защита информации - действия и средства по предотвращению утечки, хищению, искажению или подделки информации.
Импликация - логическое следование А ® В.
Импликация А ® В
ложна, когда посылка А истинна, а следствие В ложно.
Импликация А ® В
истинна, когда истинно следствие, либо ложны и следствие, и посылка.
Имущественные права - права собственности на произведение (программы и базы данных для ЭВМ).
