Terms for subject Mathematics containing Logic

English	Russian
additive logic	аддитивная логика
algebraic logic	алгебраическая логика
algorithmic logic	алгоритмическая логика
an investigation into the laws of thought on which are founded the mathematical theories of logic and probabilities	Исследование законов мышления, на которых основываются математические теории логики и вероятностей (труд английского математика Джорджа Була (George Boole) Elmir Mamedov)
applied logic	прикладная логика
Aristotelian logic	аристотелева логика
assertion-level logic	логика высказываний (ssn)
association of symbolic logic	ассоциация символической логики
auxiliary logic	вспомогательная логика
basic logic	основная логика
bivalent logic	двузначная логика
Boolean logic	булева алгебра
Boolean logic	алгебра логики
Browerian logic	брауэрова логика
cellular logic	клеточная логика
class 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)
complete set of logic primitives	полное множество простых логических функций (ssn)
complete sets of logic primitives	полные множества простых логических функций (ssn)
computer logic	логика вычислительной машины
constructive logic	конструктивная логика
continuous logic	непрерывная логика
countably complete logic	счётно полная логика
cybernetic logic	логика кибернетики
decision logic	логика решений
decoding logic	логика декодирования
deductive logic	дедуктивная логика
derivative logic	деривативная логика (выводимая)
deterministic logic	детерминированная логика
dialectical logic	диалектическая логика
digitizing logic	цифровая логика
dual logic	двойственная логика (к данной)
dyadic logic	двоичная логика (бинарная)
effective logic	эффективная логика
elementary logic	элементарная логика
empirical logic	эмпирическая логика
equational logic	эквациональная логика
extended logic	расширенная логика
extensional logic	экстенсиональная логика
external logic	внешняя логика
finite-valued logic	конечнозначная логика
first-order logic	первопорядковая логика (vitalinew)
first-order logic	логика предикатов первого порядка (= first-order predicate logic ssn)
first-order logic	логика первого порядка
first-order predicate logic	логика предикатов первого порядка (ssn)
formal logic	формальная логика
free logic	свободная логика
general-logic	общелогический
general modal logic	общая модальная логика
generalized logic	обобщённая логика
generalized stochastic logic	обобщённая стохастическая логика
heuristic logic	эвристическая логика
imperative logic	императивная логика
implicational logic	импликативная логика (ssn)
implicational logic	импликационная логика
inductively generated logic	индуктивно порождённая логика
infinitary logic	инфинитарная логика
infinite-valued logic	бесконечнозначная логика
intensional logic	интенсиональная логика
intermediate logic	промежуточная логика
intrinsic logic	внутренняя логика
iterative logic	итеративная логика
lack of logic	нелогичность
lattice-theoretic logic	теоретико-решёточная логика
limit logic	предельная логика
literary logic	логика словесных рассуждений (логические рассуждения без использования формул и математических символов A.Rezvov)
logic automorphism	логический автоморфизм
logic configuration	логическая схема
logic equation	логическое уравнение
logic in memory	встроенной логики
logic-mathematical calculus	логико-математическое исчисление
logic of action	логика действия
logic of certainty	логика достоверности
logic of classes	логика классов (omsksp)
logic of commands	императивная логика
logic of evidence	логика доказательства
logic of existence	экзистенциональная логика
logic of explanation	логика объяснения
logic of higher order	логика высшего порядка
logic of information	логика информации
logic of justification	логика обоснования
logic of method	логика метода
logic of modalities	логика модальностей
logic of norms	логика норм
logic of part	логика части
logic of preference	логика предпочтения
logic of process	временная логика
logic of quantum theory	логика квантовой теории
logic of reasoning	логика рассуждений
logic of relations	логика отношений
logic of strict implication	логика строгой импликации
logic of theory	логика теории
logic of truth	логика истинности
logic of verification	логика верификации
logic of whole	логика целого
logic primitive	простая логическая функция (ssn)
logic with identity	логика с тождеством
logic without identity	логика без тождества
machine logic	логика машины (вычислительной)
Markov logic network	логико-марковская сеть (ptraci)
mathematical logic	символическая логика (ssn)
mathematical logic	логистика
minimal logic	минимальная логика
modal logic	модальная логика
monadic logic	монадическая логика
natural logic	естественная логика
nonclassical logic	неклассическая логика
nonconstructive logic	неконструктивная логика
normative logic	нормативная логика
n-out-of-m logic	логика n из m
n-out-of-m logic	критерий n из m
n-valued logic n-	значная логика
object logic	объектная логика
order logic	упорядоченная логика
orthodox logic	ортодоксальная логика
polyvalent logic	многозначная логика
projectively generated logic	проективно порождённая логика
proposition logic	пропозитивная логика (ssn)
proposition logic	логика высказываний (ssn)
pure logic	чистая логика
quadded logic	учетверённая логика
quantificational logic	логика предикатов
quite full logic	вполне полная логика
reduced logic	приведённая логика
redundant logic	избыточная логика
search logic	логика поиска
semicomplete logic	полуполная логика
sentential logic	пропозициональная логика
separable logic	разделимая логика
set of logic primitives	множество простых логических функций (ssn)
set predicate logic	теоретико-множественная логика предикатов
set-theoretic predicate logic	теоретико-множественная логика предикатов
situational logic	ситуациональная логика (логика математического творчества)
static logic	статическая логика
stochastic logic	стохастическая логика
stored logic	аппаратный алгоритм
strict logic	строгая логика
strongly strict logic	сильно строгая логика
superintuitionistic logic	суперинтуиционистская логика
switching logic	логика переключательных схем
syllogistic logic	силлогистическая логика
symbolical logic	символическая логика
system logic	логика системы
technical logic	технические логические устройства (ssn)
technical logic	техническая логика
tense logic	временная логика
three-valued logic	троичная логика (трёхзначная)
topological logic	топологическая логика
traditional logic	традиционная логика
transforming logic	преобразовательная логика
trivalent logic	троичная логика (трёхзначная)
type logic	логика типов (ssn)
unordered logic	неупорядоченная логика
unorthodox logic	неортодоксальная логика
unspecialized logic	неспециализированная логика