|
|
|
|
|
|
|
|
|
Квантор существования
| Глоссарий по искусственному интеллекту |
Специальный указатель на то, что некоторое p имеет место (или истинно) при некоторых переменных, перечисленных в этом указателе, причем конкретные значения, обеспечивающие это, не указываются, а фиксируется лишь то, что они существуют. переменные, перечисленные в указателе, называются связанными. стандартно к.с. обозначается как где xi - имена переменных, которые являются связанными.
|
|
Квантор общности, русский
Специальный указатель на то, что некоторое содержащее переменные, распространяется на все формулы, получаемые при подстановке вместо переменных, перечисленных в этом указателе, любых значений из областей определения этих переменных. к.о. обозначает как где xi имена тех переменных, на которые распространяется его действие (связанные переменные).
Кванторы, русский
(от лат . quantum - сколько), в логике и математике - логические эквиваленты слов "все", "каждый" и т. п. (кванторы общности), "некоторый", "существует" (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений.
Существование, русский
- Существование , бытие, жизнь , вести жалкое существование, влачить жалкое существование, кончить земное существование, отравлять существование
- – см. экзистенция.
- ,1) в истории философии - понятие, обозначавшее наличное бытие вещи, которое, в отличие от сущности, постигается не мышлением, но опытом.2) центральная категория экзистенциализма.
Существования, русский
Пищи, воды, воздуха, тепла, света и др
Специальный, русский
Специальный , особенный
Существуют, русский
Способы: пункция через затылочноатлантное отверстие, атлантноэпистрофейная
|
Квантор общности, русский
Специальный указатель на то, что некоторое содержащее переменные, распространяется на все формулы, получаемые при подстановке вместо переменных, перечисленных в этом указателе, любых значений из областей определения этих переменных. к.о. обозначает как где xi имена тех переменных, на которые распространяется его действие (связанные переменные).
Беседа сократическая, русский
Специально организованный диалог, в ходе которого один из участников предлагает некоторый тезис, а второй последовательно выдвигает возражения против тезиса, на которые участник, предложивший тезис, отвечает только: "согласен" или " не согласен". целью б.с. является обучение приемам логических рассуждений.
|
|
|
|
|
|
|
