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