Информатика


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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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




Начало  Назад  Вперед