Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 14.05.2024 - 12:54
Категории

Формула логическая количественная, истинная

Формула логическая количественная, истинная — в теории вычислительной сложности язык TQBF — это формальный язык, состоящий из истинные количественные булевы формулы. (Полностью) количественная логическая формула — это формула в кванти фицированной логике высказываний, где каждая переменная количественно определена (или привязана) с использованием либо экзистенциального или универсальные кванторы в начале предложения. Такая формула эквивалентна истинному или ложному (поскольку не существует свободных переменных). Если такая формула истинна, то эта формула написана на языке TQBF. Он также известен как QSAT (количественно SAT).

[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]

44 просмотров

Правообладателям! В случае если свободный доступ к данному термину является нарушением авторских прав, составители готовы, по требованию правообладателя, убрать ссылку, либо сам термин (определение) с сайта. Для связи с администрацией воспользуйтесь формой обратной связи.