Більш швидкий доступ, ніж браузер!
5 відносини: AIMMS, General Algebraic Modeling System, General Problem Solver, Satisfiability Modulo Theories, Алгоритм пошуку.
AIMMS
AIMMS (Advanced Interactive Multidimensional Modeling System, буквально «система сучасного інтерактивного багатовимірного моделювання») — програмний комплекс, що призначений для моделювання і розв'язання великомасштабних задач оптимізації і планування.
Новинка!!: Розв'язувач і AIMMS · Побачити більше »
General Algebraic Modeling System
GAMS (General Algebraic Modeling System, буквально «загальна система алгебраїчного моделювання») — високорівнева система моделювання для математичної оптимізації.
Новинка!!: Розв'язувач і General Algebraic Modeling System · Побачити більше »
General Problem Solver
General Problem Solver (GPS, буквально Загальний розв'язувач задач) — комп'ютерна програма, створена в 1957 році Герберт Саймоном (Herbert Simon), Дж.
Новинка!!: Розв'язувач і General Problem Solver · Побачити більше »
Satisfiability Modulo Theories
У програмуванні, Satisfiability Modulo Theories (SMT) — це задача розв'язності для логічних формул з урахуванням теорій, які лежать в їх основі.
Новинка!!: Розв'язувач і Satisfiability Modulo Theories · Побачити більше »
Алгоритм пошуку
хеш-таблиці, структура даних, яка дозволяє зберігати інформацію. Алгоритм пошуку — алгоритм, котрий знаходить інформацію, що зберігається в певній структурі даних.
Новинка!!: Розв'язувач і Алгоритм пошуку · Побачити більше »
