| Information | |
|---|---|
| has gloss | (noun) a thinker who focuses on the problem as stated and tries to synthesize information and knowledge to achieve a solution problem solver, solver, convergent thinker |
| has gloss | eng: A solver is a generic term indicating a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that solves a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculate their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type. |
| lexicalization | eng: convergent thinker |
| lexicalization | eng: problem solver |
| lexicalization | eng: solver |
| subclass of | (noun) someone who exercises the mind (usually in an effort to reach a decision) thinker |
| has subclass | c/SAT solvers |
| has subclass | c/SMT solvers |
| Meaning | |
|---|---|
| Czech | |
| lexicalization | ces: řešitel |
| German | |
| lexicalization | deu: Löser |
| lexicalization | deu: Problemlöser |
| Finnish | |
| lexicalization | fin: ratkaisija |
| French | |
| lexicalization | fra: résolveur |
| Hindi | |
| lexicalization | hin: samAXAnakarwA |
| Croatian | |
| lexicalization | hrv: razrješivač |
| Show unreliable ▼ | |
| lexicalization | hrv: rastvarač |
| Hungarian | |
| Show unreliable ▼ | |
| lexicalization | hun: megfejtõ |
| Italian | |
| lexicalization | ita: solutore |
| Show unreliable ▼ | |
| lexicalization | ita: risolutore |
| Polish | |
| has gloss | pol: Solver - to funkcja w kalkulatorach naukowych lub programach komputerowych, umożliwiająca po uprzednim wprowadzeniu równania, wyznaczenie wartości dowolnej zmiennej szukanej, gdy są dane wartości pozostałych zmiennych; bądź też wyznaczenie wartości zmiennej, przy której całe wyrażenie jest równe zeru. W niektórych przypadkach, gdy nie istnieje wzór odwrotny (nie ma możliwości przekształcenia równania), kalkulator lub program komputerowy z solverem jest jedyną drogą obliczenia szukanej wartości. Bardziej zaawansowane solvery wykorzystywane są w problemach optymalizacyjnych. |
| lexicalization | pol: solver |
| Russian | |
| has gloss | rus: Решатель — программное обеспечение, предназначенное для решения рассматриваемой математической задачи. На вход решателю поступает описание задачи в некоторой заданной форме, а на выходе он выдает решение задачи. Виды решаемых задач: * SAT Solvers — решают задачи выполнимости булевых формул. На выходе у них ответ — выполнена ли заданная формула и если выполнена, то выдается набор значений, на котором она истинна. * SMT Solvers — решают задачи из теорий представленных в библиотеке , которая включает например теорию списков, массивов, линейной арифметики, неинтерпретируемых функций и т. д. * Линейные и нелинейные уравнения и их системы * Линейные и нелинейные оптимизационные проблемы * Дифференциальные уравнения и их системы * Нахождение минимального пути * Нахождение минимального остовного дерева * Также бывают решатели, предназначенные для решения головоломок, кроссвордов и задач по бриджу и преферансу. |
| lexicalization | rus: Решатель |
| Castilian | |
| lexicalization | spa: solucionadora |
| lexicalization | spa: solucionador |
| Links | |
|---|---|
| Show unreliable ▼ | |
| similar | e/Solver (computer science) |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint