Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Logic containing логика | all forms | exact matches only
RussianEnglish
в области нечёткой логикиin the fuzzy logic domain (Alex_Odeychuk)
высказывание логики первого порядкаfirst-order sentence (ssn)
гёделева логикаGodel logics (Alex_Odeychuk)
диалектическая логикаdialectical logic
исключительно на основе логикиpurely on logical grounds (Alex_Odeychuk)
логик-метафизикlogicalist
логика предикатов с равенствомpredicate logic with equality (Alex_Odeychuk)
логика пучковых импликацийlogic of bunched implications (Alex_Odeychuk)
многосортная логикаmany-sorted logic (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk)
многосортная логика первого порядкаmany-sorted first-order logic (Alex_Odeychuk)
на основе логикиon logical grounds (Alex_Odeychuk)
не подтверждаемый логикой и доказательствамиunsupported by evidence or logic (Alex_Odeychuk)
неаксиоматическая логикаnon-axiomatic logic (Alex_Odeychuk)
нечёткая логикаfuzzy logic
параллельная логика разделенияconcurrent separation logic (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk)
паранепротиворечивая логикаparaconsistent logic (bryu)
понять внутреннюю логикуinfer the underlying logic (чего-либо, напр., событий, алгоритма, системы Alex_Odeychuk)
порочный круг в логикеcircular reasoning (A.Rezvov)
предложение логики первого порядкаfirst-order sentence (ssn)
размытая логикаfuzzy logic
реляционная логикаrelational logic (Alex_Odeychuk)
решение задач в области нечёткой логикиproblem solving in the fuzzy logic domain (Alex_Odeychuk)
с разделением логикиshared-logic (Alex_Odeychuk)
с распределённой логикойdistributed-logic (Alex_Odeychuk)
сепарационная логикаseparation logic (Alex_Odeychuk)
сила логикиforce of logic (Alex_Odeychuk)
формализм логики первого порядкаfirst order logic formalism (quantifiers Alex_Odeychuk)
формализм логики первого порядкаfirst-order logic-based formalism (quantifiers Alex_Odeychuk)
формула логики первого порядкаformula of first-order logic (Alex_Odeychuk)
чётко определённая логикаwell-defined logic (Alex_Odeychuk)
это противоречит логикеthis defies logic (Washington Post Alex_Odeychuk)

Get short URL