Sta znaci na Engleskom ТЕОРИЈЕ СКУПОВА - prevod na Енглеском

• set theory

Примери коришћења Теорије скупова на Српском и њихови преводи на Енглески

Теорије скупова.
Set Theory.

Основне теорије скупова.
Foundations of Set Theory.

Веза исказног рачуна и теорије скупова.
Connection between propositional calculus and set theory.

Основни концепти теорије скупова се користе у целој математици.
The basic concepts of set theory are now used throughout mathematics.

У математици, аксиома избора, или АИ, је аксиома теорије скупова.
In mathematics, the axiom of choice, or AC, is an axiom of set theory.

Основни појмови теорије скупова се сада користе у целој математици.
The basic concepts of set theory are now used throughout mathematics.

Упознат је са основним теоремама из теорије скупова и математичке логике.
The students know fundamental theorems of Set theory and Mathematical Logic.

Ова ситуација не може да се избегне са било којим првим редом формализације теорије скупова.
This situation cannot be avoided with any first-order formalization of set theory.

Међутим, у нестандардном моделу теорије скупова, то може бити ненстандардни модел ПА.
However, in a nonstandard model of set theory, it may be a nonstandard model of PA.

Квајнова докторска теза и ране публикације били су из области формалне логике и теорије скупова.
Quine's Ph.D. thesis and early publications were on formal logic and set theory.

Моменат теорије скупова је био такав да дебата о парадоксима није довела до њеног напуштања.
The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment.

Скулем( 1934) је био пионир у конструкцији нестандардног модела аритметике и теорије скупова.
Skolem(1934) pioneered the construction of non-standard models of arithmetic and set theory.

У стандардном моделу теорије скупова, овај најмањи модел ПА је стандардни модел ПА;
In the standard model of set theory, this smallest model of PA is the standard model of PA;

Основни појмови савремене математике-основни појмови математичке логике и теорије скупова, реални бројеви, комплексни бројеви.
Basic elements of modern mathematics-mathematical logic, set theory, real numbers, complex numbers.

За разлику од већине теорема у геометрији, доказ овог резултата зависи од изабраних аксиома из теорије скупова.
Unlike most theorems in geometry, the proof of this result depends in a critical way on the choice of axioms for set theory.

Корисност теорије скупова је довела до чланка„ Mengenlehre“, који је Артур Шенфлис написао за Клајнову енциклопедију 1898. године.
This utility of set theory led to the article"Mengenlehre" contributed in 1898 by Arthur Schoenflies to Klein's encyclopedia.

Хипотеза континуума и аксиома избора су биле међу првим математичким исказима, за које је показано да су независни од ЗФ теорије скупова.
The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory.

Оба аспекта теорије скупова, као математичке науке о бесконачном и као основе математике, имају своје филозофско значење.
Both aspects of set theory, namely, as the mathematical science of the infinite, and as the foundation of mathematics, are of philosophical importance.

Абелове групе бесконачног ранга могу имати веома сложену структуру, и још увек постоји пуно отворених питања, често блиско везаних за питања теорије скупова.
Infinite-rank abelian groups can be extremely complex and many open questions exist, often intimately connected to questions of set theory.

Они су еквивалентни у смислу да, у присуству осталих основних аксиома теорије скупова, они имплицирају аксиому избора, и аксиома избора имплицира њих.
These are equivalent in the sense that, in the presence of other basic axioms of set theory, they imply the axiom of choice and are implied by it.

Thoralf Albert Skolem, ˈtuːɾɑlf ˈskuːləm; 23. мај 1887- 23. март 1963 био је норвешки математичар који је радио на пољима математичке логике и теорије скупова.
Thoralf Albert Skolem(23 May 1887- 23 March 1963)(Swedish pronunciation:) was a Norwegian mathematician who worked in mathematical logic and set theory.

Сазнајте више о правим линијама и линеарних једначина, теорије скупова и вероватноће, статистике, линеарног програмирања, индекси и логаритми и експерименталних закона.
You will study straight lines and linear equations, set theory and probability, statistics, linear programming, indices and logarithms as well as experimental laws.

Thoralf Albert Skolem, ˈtuːɾɑlf ˈskuːləm; 23. мај 1887- 23. март 1963 био је норвешки математичар који је радио на пољима математичке логике и теорије скупова.
Thoralf Albert Skolem(Norwegian:[ˈtùːralf ˈskùːlɛm]; 23 May 1887- 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.

У математици, аксиоматска теорија скупова је ригорозна реформулација теорије скупова у логици првог реда настала да реши парадоксе наивне теорије скупова..
In mathematics, axiomatic set theory is a rigorous reformulation of set theory in first-order logic created to address paradoxes in naive set theory….

Значи одлука да ли је или није прикладно да се у доказима користи аксиома избора не може да буде донета позивањем на остале аксиоме теорије скупова.
So the decision whether or not it is appropriate to make use of the axiom of choice in a proof cannot be made by appeal to other axioms of set theory.

Релациона алгебра користи унију скупова, разлику скупова и Декартов производ из теорије скупова, али уводи и ограничења за ове операторе.
The relational algebra uses set union, set difference, and Cartesian product from set theory, but adds additional constraints to these operators.

Кантор је, осим што је поставио основне идеје теорије скупова, такође разматрао скупове тачака у Еуклидском простору, у склопу проучавања Фуријеових редова.
Cantor, in addition to setting down the basic ideas of set theory, considered point sets in Euclidean space, as part of his study of Fourier series.

У аксиоматској теорији скупова и областима логике, математике, и рачунарства које се њоме користе, аксиома упаривања је једна од аксиома Зермело-Френкел теорије скупова.
In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo- Fraenkel set theory.

Франклова хипотеза из екстремалне теорије скупова тврди да у свакој коначној фамилији затвореној за унију постоји елемент који се појављује у барем половини скупова фамилије.
Frankl's conjecture from the extremal set theory states that for every family closed under union there exists an element contained in at least half of the sets of the family.

Акерман је касније саставио доказе конзистентности за теорију скупова( 1937), потпуну аритметику( 1940), логику слободног типа( 1952), и нове аксиоматизације теорије скупова( 1956).
Ackermann went on to construct consistency proofs for set theory(1937), full arithmetic(1940), type-free logic(1952), and a new axiomatization of set theory(1956).