ГЛАВНАЯ / СЛОВАРЬ ТЕРМИНОВ |
|
А АВТОМАТ /греч. automatos/ - устройство (или совокупность устройств), выполняющее по заданной программе и без участия человека все операции в процессах получения, преобразования и использования различных видов энергии, материалов или информации. АКСИОМА /греч. axioma/ - исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательств других её положений. АЛГОРИТМ - конечный набор правил, позволяющих чисто механически решать любую конкретную задачу из некоторого множестваоднотипных задач. Б БУЛЕВА АЛГЕБРА - система объектов, для которых можно определить операции дизъюнкции, конъюнкции, отрицания и где выполняются 7 законов логических операций. Примеры: компьютерные системы (есть/нет сигнал), электросхемы (есть/нет ток). В ВЕРОЯТНОСТЬ - характеристика степени возможности появления некоторого события при тех или иных определённых условиях. ВЫСКАЗЫВАНИЕ - грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. Г ГИПОТЕЗА /греч. hypothesis/ - положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Д ДИАГРАММЫ ВЕННА - геометрическая (точнее, топологическая) наглядная иллюстрация отношений между множествами с помощью кругов и иных контуров. Пример: ДИЗЪЮНКЦИЯ /лат. disjunctio/ - логическая операция - аналог употребления союза "или" в обычном языке. Обозначается "\/" ДОКАЗАТЕЛЬСТВО - рассуждение, устанавливающее истинность какого-либо утверждения путём приведения других утверждений, истинность которых уже доказана. Е Ж З ЗНАНИЕ - результат познания действительности, получивший подтверждение в практике; адекватное отражение объективной реальности в сознании человека. И ИМПЛИКАЦИЯ /лат. implicatio от implico/ - логическая связка, соответсвующая грамматической конструкции "если ..., то ..."; обозначается "->" ИМЯ - выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т.п. ИНФОРМАЦИЯ /лат. informatio/ - сообщение о чём-либо, передаваемое людьми. До середины ХХ века под информацией понимали только передачу условных знаков (символов) посредством специальных передающих и принимающих устройств. В 1949 г. в статье К.Шеннона и У.Уивера "Математическая теория связи" была сформулирована математическая теория информации, опирающаяся на понятие вероятности. Под информацией понимаются только те сообщения, которые уменьшают неопределённость. ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ - это раздел информатики, изучающий принципы действия интеллектуальных машин. Исследователи, работающие в этом направлении, надеются достичь такого понимания механизмов интеллекта, при котором можно будет составлять компьютерные программы с человеческим или более высоким уровнем интеллекта. Общий подход состоит в разработке методов решения задач, для которых отсутствуют формальные алгоритмы: понимание естественного языка, обучение, доказательство теорем, распознавание сложных образов и т.д. ИСТИНА - адекватное отражение действительности познающим субъектом, проверяемое в конечном счёте общественной практикой. К КОНЪЮНКЦИЯ /лат. conjunctio/ - логическая операция, которой соответствует союз "и"; обозначается "/\" Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я |