Translation of "logic solver" to Russian language:

Dictionary English-Russian

Logic - translation :

логика

Logic solver - translation :

логическое устройство

Solver - translation :

решающее устройство

Keywords : логика логики логике логику логикой решаю решал решаешь решаете умеете

Examples (External sources, not reviewed)

Solver	Поиск решенияPropertyName
Equation Solver	Решение уравнений
Equation Solver...	Решение уравнений... WhatsThis Help
Solver type	Тип поиска решенияPropertyName
Solver Calculating...	Помощник вычисление...
Enable Solver	Воспользоваться помощником
Freecell Solver	Игра
Tools Equation Solver...	Панели инструментов Решение уравнений...
Chemical Solver Help	Помощь по химическом калькулятору
Change solver type	Изменение типа решения
GSL generic solver	ObjectClass
GSL adaptive solver	ObjectClass
Generic Euler solver	ObjectClass
Adaptive Euler solver	ObjectClass
Initial patience solver	Начал делать помощника для решения пасьянсов
the Equation Solver Dialog	Диалоговое окно Решение уравнений
EqChem, the equation solver	Разработчик EqChem, модуля решения уравнений
GSL non adaptive solver	ObjectClass
Non adaptive Euler solver	ObjectClass
Math Expression Solver and Plotter	Решение и построение графиков математических выражений
Open the Equation solver dialog.	Открыть диалоговое окно решения уравнений.
Math Expression Solver and Plotter	Решение и построение графиков математических выраженийName
Solver This game is lost.	Помощник эта игра проиграна.
Solver This game is winnable.	Помощник эту игру можно выиграть.
A powerful mathematical equation solver	Полноценное решение математических уравненийName
Solver error estimation errors introduced by the solver is calculated and added to user entered errors	Оценка погрешности розв' язувача погрешности, которые возникают вследствие применения числовых методов решения задач, исчисляются и добавляются к введенным пользователем погрешностей
GNUDoQ, Su Doku generator and solver.	GNUDoQ, генератор и решатель судоку.
Pocket Math Expression Solver and Plotter	Карманное решающее устройство и графопостроитель
Solver This game cannot be won.	Нет, вы больше не сможете победить в этой игре.
Solver This game is no longer winnable.	Помощник эту игру можно выиграть.
He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theory Machine (1956) and the General Problem Solver (1957) (with Herbert A. Simon).	Работал в исследовательском центре RAND и Университете Карнеги Меллон, участвовал в разработке языка программирования IPL и двух самых ранних программ искусственного интеллекта Logic Theory Machine (1956) и General Problem Solver (1957) (совместно с Гербертом Саймоном).
Runge Kutta second order solver from GSL library	ObjectClass
It's not logic, that logic Libby	Это не логика, логика, что Либби
Adaptive Runge Kutta second order solver from GSL library	ObjectClass
Runge Kutta classical fourth order solver from GSL library	ObjectClass
Runge Kutta implicit second order solver from GSL library	ObjectClass
Runge Kutta implicit fourth order solver from GSL library	ObjectClass
Solver Unable to determine if this game is winnable.	Помощник невозможно определить возможность выигрыша.
The logic you're looking for. And the logic is that there is no logic.	Логика, которую вы ищете, эта логика в том, что здесь нет никакой логики.
Adaptive Runge Kutta classical fourth order solver from GSL library	ObjectClass
Adaptive Runge Kutta implicit second order solver from GSL library	ObjectClass
Adaptive Runge Kutta implicit fource order solver from GSL library	ObjectClass
Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.	В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Mathematical Logic.	Математическая логика.
Mathematical Logic .	Mathematical Logic .

Показать эту страницу на русском языке