SAT (значения)

SAT (значения)

Аббревиатура SAT используется в следующих понятиях

Разрешение неоднозначностей

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "SAT (значения)" в других словарях:

  • SAT — У этого термина существуют и другие значения, см. SAT (значения). SAT Reasoning Test (а также «Scholastic Aptitude Test» и «Scholastic Assessment Test», дословно «Школьный Оценочный Тест»)  стандартизованный тест для приема в высшие учебные… …   Википедия

  • Задача SAT — Задача выполнимости булевых формул (SAT или ВЫП) задача распознавания, важная для теории вычислительной сложности. Экземпляром задачи SAT является булева формула, состоящая только из имен переменных, скобок и операций (И), (ИЛИ) и (HE). Задача… …   Википедия

  • Памятники национального значения в Сингапуре — объекты, обладающие особой значимостью для истории, традиций, археологии, архитектуры и искусства, зарегистрированные Управлением охраны памятников (The Preservation of Monuments Board, PMB) при Министерстве информации, коммуникаций и искусств… …   Википедия

  • DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… …   Википедия

  • Светочувствительность цифровых камер — Светочувствительность цифровой фотокамеры характеристика цифрового фотоаппарата, определяющая зависимость числовых параметров созданного им цифрового изображения от экспозиции, полученной светочувствительной матрицей. Светочувствительность… …   Википедия

  • Задача о ранце в криптографии — (англ. Knapsack problem)  это задача, на основе которой американские криптографы Ральф Меркл (англ.) и Мартин Хеллман разработали первый алгоритм шифрования с открытым ключом. Он носит название криптосистема Меркла Хеллмана. Для… …   Википедия

  • GPX — У этого термина существуют и другие значения, см. GPX (значения). GPS eXchange Format Расширение .gpx MIME application/gpx+xml Опубликован 2002 Последний выпуск 1.1 [1] / August 9 …   Википедия

  • Sennacieca Asocio Tutmonda — Флаг SAT это флаг эсперанто, в котором зелёный цвет заменен красным, цветом левых идей. Sennacieca Asocio Tutmonda (SAT, рус. Всемирная Вненациональная Ассоциация) независимая всемирная эсперанто ассоциация. Вторая по значению эсперанто органи …   Википедия

  • Японская ролевая игра — У этого термина существуют и другие значения, см. Ролевая игра (значения). Японская ролевая игра (JRPG  сокращение от англ. Japanese Role Playing Game)  поджанр ролевых компьютерных и видеоигр. Игры этого жанра имеют схожие,… …   Википедия

  • Золотая Роза (фестиваль) — У этого термина существуют и другие значения, см. Золотая роза (значения). Золотая Роза (фр. Rose d’Or)  международный фестиваль телевизионной продукции, основанный в 1964 году и с 2004 года проходящий в Люцерне в Швейцарии. В фестивале …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»