Абстрактная информационно-поисковая система
[Abstract Information Retrieval System] — совокупность информационно-поискового языка, методов индексирования и поиска документов и данных.
математические высказывания о некоторых объектах или их свойствах.
Понятие предиката
Определение 1
Предикат - утверждение, которое содержит переменные, принимающие...
истинности предиката $I_p$....
Операции над предикатами
Рассмотрим применение операций алгебры логики к предикатам....
Например: предикат $A(x)$: «$x$ -- чётное число», предикат $B(x)$: «$x$ делится на $5$»....
истинности предиката $A(x)$.
В статье проводится критический обзор философской, психологической и лингвистической литературы, посвященной феномену веры. Особое внимание уделяется двум аспектам изучения предикатов веры в лингвистике: когнитивному и системно-семантическому.
Субъект и предикат как элементы суждения
Определение 1
Субъект и предикат – это элементы суждения...
Отношения между субъектами и предикатами суждения
Отношения между субъектами и предикатами обладают рядом...
Отношение между субъектом и предикатом являются необходимым членом суждения....
Отражением отношений в суждении являются отношения между субъектом и предикатом....
соответствующих предметов, т.е. что объем понятия, характеризуемого предикатом, шире.
Автор знакомит читателя с логикой высказываний и логикой предикатов. Разобраны примеры задач, предлагаются упражнения для самостоятельной работы.
[Abstract Information Retrieval System] — совокупность информационно-поискового языка, методов индексирования и поиска документов и данных.
[analog data] — данные, принимающие произвольные значения из заданного диапазона, и представляемые в виде непрерывно изменяющихся физических величин, например напряжения, длительности сигнала и т.п.
процедура приближенного формализованного представления сложных геометрических многообразий через совокупность более простых. Например, замена произвольных кривых ломаными линиями, состоящими из прямолинейных отрезков; произвольных криволинейных поверхностей – системой сопряженных плоских граней, тел сложной конфигурации – многогранниками. Процедура А. позволяет упрощать математические описания объектов виртуального мира и, соответственно, создание системы виртуальной реальности.