-
1 аксиоматизация
-
2 аксиоматизация
Русско-английский словарь по вычислительной технике и программированию > аксиоматизация
-
3 постулирование
Русско-английский словарь по вычислительной технике и программированию > постулирование
-
4 формулирование аксиом
Русско-английский словарь по вычислительной технике и программированию > формулирование аксиом
-
5 аксиоматизация
-
6 аксиоматизация
Русско-английский научно-технический словарь Масловского > аксиоматизация
-
7 аксиоматизация
-
8 аксиоматизация
Русско-английский новый политехнический словарь > аксиоматизация
-
9 аксиоматизация
Русско-английский словарь по информационным технологиям > аксиоматизация
-
10 аксиоматизация
-
11 стратегия аксиоматизации
Русско-английский словарь по вычислительной технике и программированию > стратегия аксиоматизации
-
12 стратегия выдвижения аксиом
Русско-английский словарь по вычислительной технике и программированию > стратегия выдвижения аксиом
-
13 аксиоматизация
Русско-английский словарь математических терминов > аксиоматизация
-
14 аксиоматизируемость
1) axiomatizability
2) axiomatization -
15 аксиоматизация
Mathematics: axiomatization -
16 аксиоматизируемость
Mathematics: axiomatizability, axiomatizationУниверсальный русско-английский словарь > аксиоматизируемость
-
17 аксиоматизуемость
Mathematics: axiomatizability, axiomatization -
18 конечная аксиоматизация
Mathematics: finite axiomatizationУниверсальный русско-английский словарь > конечная аксиоматизация
-
19 процесс аксиоматизации
Mathematics: axiomatization processУниверсальный русско-английский словарь > процесс аксиоматизации
-
20 синтаксическая аксиоматизация
Mathematics: syntactic axiomatizationУниверсальный русско-английский словарь > синтаксическая аксиоматизация
- 1
- 2
См. также в других словарях:
axiomatization — (Amer.) n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also axiomatisation) … English contemporary dictionary
axiomatization — noun Date: 1931 the act or process of reducing to a system of axioms • axiomatize transitive verb … New Collegiate Dictionary
axiomatization — noun a) The act of making axiomatic. b) The act or process of establishing a concept within a system of axioms. See Also: axiom, axiomatic, axiomatize … Wiktionary
axiomatization — ax·i·om·a·ti·za·tion … English syllables
axiomatization — ˌaksēˌäməd.ə̇ˈzāshən, məˌtīˈz noun ( s) : the act or process of axiomatizing compare formalization … Useful english dictionary
Tarski's axiomatization of the reals — In 1936, Alfred Tarski set out an axiomatization of the real numbers and their arithmetic, consisting of only the 8 axioms shown below and a mere four primitive notions: the set of reals denoted R, a binary total order over R, denoted by infix … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Ontology double articulation — The notion of Ontology Double Articulation refers to a methodological principle in ontology engineering. The idea is that an ontology should be built as separate domain axiomatizations and application axiomatization(s). In other words an… … Wikipedia