Автоматизированное индексирование
[computer-aided indexing, automated indexing] — индексирование с использованием формальных процедур, выполняемых вычислительной техникой, и интеллектуальных процедур, выполняемых человеком при формировании ПОД.
когда истинно хотя бы одно из суждений А или В.
Дизъюнкция или логическое сложение (в теории множеств это объединение)
Дизъюнкция является сложным логическим...
Таблица истинности для дизъюнкции
Рисунок 2....
Свойства дизъюнкции:
Если хотя бы одно из подвыражений дизъюнкции истинно на некотором наборе значений...
переменных, то и вся дизъюнкция принимает истинное значение для данного набора подвыражений....
и вся дизъюнкция этих выражений тоже ложна.
На примере занимательных задач авторы знакомят читателей с математической логикой, с понятиями истинного и ложного высказывания, отрицания, конъюнкции, дизъюнкции, таблицы истинности. В приводимых случаях решение получается однозначно и автоматически. В качестве примеров использованы задачи из книг Раймонда М. Смаллиана "Как же называется эта книга?", "Принцесса или тигр?", "Алиса в стране смекалки".
Такая дизъюнкция двух высказываний истинна тогда, когда истинно хотя бы одно из этих высказываний....
Во втором случае исключающая дизъюнкция двух высказываний истинна тогда, когда истинна только одна из...
Символом ∪ обозначим дизъюнкцию в неисключающем смысле, для исключающего "или" (дизъюнкции в исключающем...
Таблица истинности для обоих видов дизъюнкции показывает, что неисключающая дизъюнкция истинна, тогда...
, когда истинна хотя бы одна из её составляющих; исключающая дизъюнкция истинна тогда, когда истинным
Автором для работы с векторами истинности предложены операции композиционного умножения и сложения. На их основе определены две формы связок конъюнкции и дизъюнкции и предложены схема расчета истинности заключений, сделанных по правилам modus ponens и modus tollens. Для моделирования рассужденийвведены понятия содержательного и формального выводов. Сформулировано понятие нестрого случайного события и введены основные операции и отношения над ними. Разработана и исследована модель множеств с неопределенным и противоречивым содержанием.
[computer-aided indexing, automated indexing] — индексирование с использованием формальных процедур, выполняемых вычислительной техникой, и интеллектуальных процедур, выполняемых человеком при формировании ПОД.
[bibliographic search/retrieval] — вид информационного поиска по массивам библиографических описаний документов.
зрение, обусловленное наличием у человека двух пространственно разнесенных глаз. Благодаря Б.з. человек воспринимает глубину пространства. Основные факторы Б.з.: диспаратность и конвергенция. Диспаратность и угол конвергенции увеличиваются по мере приближения объектов к наблюдателю. Наличие Б.з. создает у человека рельефную объемную картину видимого внешнего мира. Б.з. является важным фактором восприятия видимого пространства, особенно объектов, находящихся на близких расстояниях.
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне