Решатель | это... Что такое Решатель? (original) (raw)

Решатель

Решатель (англ. solver) — программное обеспечение, предназначенное для решения рассматриваемой математической задачи. На вход решателю поступает описание задачи в некоторой заданной форме, а на выходе он выдает решение задачи. Виды решаемых задач:

SAT Solvers — решают задачи выполнимости булевых формул. На выходе у них ответ — выполнима ли заданная формула и если выполнима, то выдается набор значений, на котором она выполнена (истинна).
SMT Solvers — решают задачи из теорий представленных в библиотеке SMT-LIB (англ. Satisfiability Modulo Theories), которая включает например теорию списков, массивов, линейной арифметики, неинтерпретируемых функций и т. д.
Линейные и нелинейные уравнения и их системы
Линейные и нелинейные оптимизационные проблемы
Дифференциальные уравнения и их системы
Нахождение минимального пути
Нахождение минимального остовного дерева
Также бывают решатели, предназначенные для решения головоломок, кроссвордов и задач по бриджу и преферансу.

См. также

Категории:

Математическое программное обеспечение
Формальные методы

Wikimedia Foundation.2010.

Синонимы:

Полезное

Смотреть что такое "Решатель" в других словарях:

решатель — решающая программа; расчетчик Словарь русских синонимов. решатель сущ., кол во синонимов: 2 • расчетчик (2) • … Словарь синонимов
решатель — Syn: решающая программа … Тезаурус русской деловой лексики
Геометрический решатель САПР — Эта статья слишком короткая. Пожалуйста … Википедия
Универсальный решатель задач — General Problem Solver (GPS , буквально Общий Решатель задач) компьютерная программа, созданная в 1957 году Гербертом Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), и Алленом Ньюэллом (Allen Newell), предназначена для работы в качестве… … Википедия
УНИВЕРСАЛЬНЫЙ РЕШАТЕЛЬ ЗАДАЧ (УРЗ) — Одна из первых компьютерных программ, предназначенная для выполнения значительной части работы по моделированию некоторых ограниченных аспектов человеческих когнитивных процессов. В УРЗ, разработанном в 1959 г. А. Ньюэллом и сотрудниками,… … Толковый словарь по психологии
NX Nastran — NX Nastran инструмент для проведения компьютерного инженерного анализа (CAE) проектируемых изделий методом конечных элементов (МКЭ) от компании Siemens PLM Software. NX Nastran вместе с дополнительными решателями предназначен для решения… … Википедия
Satisfiability Modulo Theories — В программировании, Satisfiability Modulo Theories (SMT) это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков,… … Википедия
Phi Brain: Kami no Puzzle — ファイ・ブレイン神のパズル Жанр приключения, комедия … Википедия
Список систем интерактивной геометрии — Содержание 1 Сравнение интерактивных геометрических систем 1.1 Лицензиро … Википедия
искусственный интеллект — ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ (от лат. intellectus познание, понимание, рассудок) направление исследований в современной компьютерной науке, целью которого является имитация и усиление интеллектуальной деятельности человека посредством… … Энциклопедия эпистемологии и философии науки