-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
Lindenbaum
Übersetzung von "lindenbaum" ins Russisch
Lindenbaum
Eigenname
UK
/ˈlɪndənbaʊm/
US
/ˈlɪndənbaʊm/
Surname of German origin; used as a family name and in references to people or families.
Линденбаум
Фамилия немецкого происхождения; передаётся транслитерацией. Professor Lindenbaum gave the lecture on modal logic.
Профессор Линденбаум прочитал лекцию по модальной логике.
Definitionen
Lindenbaum
Eigenname
UK
/ˈlɪndənbaʊm/
US
/ˈlɪndənbaʊm/
A surname of German origin.
Professor Lindenbaum gave the lecture on modal logic.
Redewendungen und Phrasen
Lindenbaum theorem
The Lindenbaum theorem is often used to extend a consistent set of formulas to a complete one.
Теорема Линденбаума
Теорема Линденбаума часто используется для расширения непротиворечивого множества формул до максимального непротиворечивого (полного) множества формул.
Lindenbaum lemma
The proof relied on the Lindenbaum lemma to build a maximal consistent theory.
лемма Линденбаума
Доказательство опиралось на лемму Линденбаума для построения максимальной непротиворечивой теории.
Lindenbaum algebra
In logic, the Lindenbaum algebra helps compare formulas that are equivalent under a theory.
алгебра Линденбаума
В логике алгебра Линденбаума помогает сравнивать формулы, эквивалентные в рамках данной теории.
Lindenbaum-Tarski algebra
The Lindenbaum-Tarski algebra provides an elegant algebraic view of propositional logic.
Алгебра Линденбаума — Тарского
Алгебра Линденбаума — Тарского предоставляет изящную алгебраическую трактовку исчисления высказываний.
Lindenbaum-Tarski theorem
Researchers cited the Lindenbaum-Tarski theorem when discussing completeness.
теорема Линденбаума—Тарского
Исследователи ссылались на теорему Линденбаума—Тарского при обсуждении полноты.
Lindenbaum-Tarski semantics
The course introduced Lindenbaum-Tarski semantics as a bridge between syntax and algebra.
семантика Линденбаума — Тарского
Курс представил семантику Линденбаума — Тарского как мост между синтаксисом и алгеброй.
Lindenbaum extension
Every consistent theory can be expanded by a Lindenbaum extension.
расширение Линденбаума
Любую непротиворечивую теорию можно дополнить до расширения Линденбаума.
Lindenbaum construction
The model was obtained through a careful Lindenbaum construction.
построение Линденбаума
Модель была получена посредством тщательного построения Линденбаума.
Lindenbaum model
The lecturer showed how a Lindenbaum model can be derived from a maximally consistent set.
модель Линденбаума
Лектор показал, как модель Линденбаума можно вывести из максимально непротиворечивого множества.
Lindenbaum method
The Lindenbaum method is a standard technique in completeness proofs.
метод Линденбаума
Метод Линденбаума — стандартная техника в доказательствах полноты.