Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Mathematics containing логик | all forms
RussianEnglish
аддитивная логикаadditive logic
алгебра логикиBoolean logic
алгебра логикиlogical algebra (ssn)
алгебраическая логикаalgebraic logic
алгоритмическая логикаalgorithmic logic
аппарат логикиlogical apparatus
аристотелева логикаAristotelian logic
ассоциация символической логикиassociation of symbolic logic
бесконечнозначная логикаinfinite-valued logic
брауэрова логикаBrowerian logic
внешняя логикаexternal logic
внутренняя логикаintrinsic logic
вполне полная логикаquite full logic
временная логикаtense logic
временная логикаlogic of process
вспомогательная логикаauxiliary logic
встроенной логикиlogic in memory
двоичная логикаdyadic logic (бинарная)
двойственная логикаdual logic (к данной)
двузначная логикаbivalent logic
дедуктивная логикаdeductive logic
деривативная логикаderivative logic (выводимая)
детерминированная логикаdeterministic logic
диалектическая логикаdialectical logic
естественная логикаnatural logic
закон логикиlogical law
значная логикаn-valued logic n-
избыточная логикаredundant logic
императивная логикаlogic of commands
императивная логикаimperative logic
импликативная логикаimplicational logic (ssn)
импликационная логикаimplicational logic
индуктивно порождённая логикаinductively generated logic
интенсиональная логикаintensional logic
инфинитарная логикаinfinitary logic
Исследование законов мышления, на которых основываются математические теории логики и вероятностейan investigation into the laws of thought on which are founded the mathematical theories of logic and probabilities (труд английского математика Джорджа Була (George Boole) Elmir Mamedov)
итеративная логикаiterative logic
классическая логикаclassical logic (Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. WK Alexander Demidov)
клеточная логикаcellular logic
конечнозначная логикаfinite-valued logic
конструктивная логикаconstructive logic
логика без тождестваlogic without identity
логика верификацииlogic of verification
логика высказыванийassertion-level logic (ssn)
логика высказыванийproposition logic (ssn)
логика высшего порядкаlogic of higher order
логика вычислительной машиныcomputer logic
логика действияlogic of action
логика декодированияdecoding logic
логика доказательстваlogic of evidence
логика достоверностиlogic of certainty
логика n из mn-out-of-m logic
логика информацииlogic of information
логика истинностиlogic of truth
логика квантовой теорииlogic of quantum theory
логика кибернетикиcybernetic logic
логика классовlogic of classes (omsksp)
логика классовclass logic
логика машиныmachine logic (вычислительной)
логика методаlogic of method
логика модальностейlogic of modalities
логика нормlogic of norms
логика обоснованияlogic of justification
логика объясненияlogic of explanation
логика отношенийlogic of relations
логика первого порядкаFOL (first order logic Andy K.)
логика первого порядкаfirst-order logic
логика переключательных схемswitching logic
логика поискаsearch logic
логика предикатовquantificational logic
логика предикатов первого порядкаfirst-order predicate logic (ssn)
логика предикатов первого порядкаfirst-order logic (= first-order predicate logic ssn)
логика предпочтенияlogic of preference
логика рассужденийlogic of reasoning
логика решенийdecision logic
логика с тождествомlogic with identity
логика системыsystem logic
логика словесных рассужденийliterary logic (логические рассуждения без использования формул и математических символов A.Rezvov)
логика строгой импликацииlogic of strict implication
логика теорииlogic of theory
логика типовtype logic (ssn)
логика целогоlogic of whole
логика частиlogic of part
математическая логикаlogistics
минимальная логикаminimal logic
многозначная логикаpolyvalent logic
многозначная логикаMVL (multiple-valued logic)
модальная логикаmodal logic
монадическая логикаmonadic logic
нарушение логикиparalogism
неклассическая логикаnonclassical logic
неконструктивная логикаnonconstructive logic
неортодоксальная логикаunorthodox logic
непрерывная логикаcontinuous logic
неспециализированная логикаunspecialized logic
неупорядоченная логикаunordered logic
нормативная логикаnormative logic
обобщённая логикаgeneralized logic
обобщённая стохастическая логикаgeneralized stochastic logic
общая модальная логикаgeneral modal logic
объектная логикаobject logic
ортодоксальная логикаorthodox logic
основная логикаbasic logic
первопорядковая логикаfirst-order logic (vitalinew)
полуполная логикаsemicomplete logic
предельная логикаlimit logic
преобразовательная логикаtransforming logic
приведённая логикаreduced logic
прикладная логикаapplied logic
проективно порождённая логикаprojectively generated logic
проектирование логикиlogical design
промежуточная логикаintermediate logic
пропозитивная логикаproposition logic (ssn)
пропозициональная логикаsentential logic
разделимая логикаseparable logic
расширенная логикаextended logic
свободная логикаfree logic
силлогистическая логикаsyllogistic logic
сильно строгая логикаstrongly strict logic
символическая логикаSL (symbolic logic)
символическая логикаmathematical logic (ssn)
символическая логикаsymbolical logic
ситуациональная логикаsituational logic (логика математического творчества)
специалист по логикеlogician
статическая логикаstatic logic
стохастическая логикаstochastic logic
строгая логикаstrict logic
суперинтуиционистская логикаsuperintuitionistic logic
счётно полная логикаcountably complete logic
теоретико-множественная логика предикатовset-theoretic predicate logic
теоретико-множественная логика предикатовset predicate logic
теоретико-решёточная логикаlattice-theoretic logic
техническая логикаtechnical logic
топологическая логикаtopological logic
традиционная логикаtraditional logic
троичная логикаtrivalent logic (трёхзначная)
троичная логикаthree-valued logic (трёхзначная)
упорядоченная логикаorder logic
учетверённая логикаquadded logic
формальная логикаformal logic
функции алгебры логикиBoolean functions
цифровая логикаdigitizing logic
чистая логикаpure logic
эвристическая логикаheuristic logic
эквациональная логикаequational logic
экзистенциональная логикаlogic of existence
экстенсиональная логикаextensional logic
элементарная логикаelementary logic
эмпирическая логикаempirical logic
эффективная логикаeffective logic

Get short URL