Примери коришћења Axiomatic на Енглеском и њихови преводи на Српски
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
The axiomatic approach to Fredholm theory.
Foundationalists are relying on the axiomatic argument.
Фундационалисти се ослањају на аксиоматске доказе.An axiomatic system is said to be consistent if it lacks contradiction, i.e.
Каже се да је аксиоматски систем непротивуречан ако нема контрадикцију, тј.Case if we were using machines to deal with axiomatic systems.
То би био случај да смо користили машине да се баве аксиоматских системима.An axiomatic system that is completely described is a special kind of formal system.
Аксиоматски систем који је у потпуности описан је посебан облик формалног система.Hilbert's approach signaled the shift to the modern axiomatic method.
Хилбертов приступ означио је пребацивање на модерне аксиоматске методе.The logical expressions used in axiomatic semantics are called predicates, or assertions.
Логичке изразе који се јављају у аксиоматској семантици зовемо предикати, односно тврдње.Hilbert's approach signalled the shift to the modern axiomatic method.
Хилбертов приступ означио је пребацивање на модерну аксиоматску методу.A formal theory typically means an axiomatic system, for example formulated within model theory.
Формална теорија типично значи аксиоматски систем, на пример формулисан унутар теорије модела.This would be the case if we were using machines to deal with axiomatic systems.
То би био случај да смо користили машине да се баве аксиоматских системима.Euclid of Alexandria authored the earliest extant axiomatic presentation of Euclidean geometry and number theory.
Еуклид је аутор најраније аксиоматске презентације еуклидске геометрије и теорије бројева.To address these problems, set theory had to be reconstructed using an axiomatic approach.
Да би се ови проблеми решили, теорија скупова је реконструисана, коришћењем аксиоматског приступа.For example, group theory was first put on an axiomatic basis towards the end of that century.
На пример, група теорија је прво стављена на аксиоматску основу крајем тог века.An axiomatic system will be called complete if for every statement, either itself or its negation is derivable.
Аксиоматски систем ће се назвати потпуним ако је за сваку изјаву или сама или његова негација изводљива.Relationships and operations with events. An axiomatic definition of probability.
Релације и операције са догађајима. Аксиоматска дефиниција вероватноће.In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
У математици, аксиоматски систем је било који скуп аксиома из којих се неке или све аксиоме могу користити у вези са логичким извођењем теорема.In 1908, Ernst Zermelo proposed the first axiomatic set theory, Zermelo set theory.
Ернст Цермело је предложио прву аксиоматску теорију скупова, Цермело теорију скупова.Mathematical methods developed to some degree of sophistication in ancient Egypt, Babylon, India, and China,apparently without employing the axiomatic method.
Математичке методе развијене су до одређеног степена софистицираности у древном Египту, Вавилону, Индији и Кини,очигледно без употребе аксиоматске методе.If the formal specification is in an axiomatic semantics, the preconditions and postconditions of the specification may become assertions in the executable code.
Ако је формална спецификација у једној аксиоматској семантици, предуслови и послеуслови у спецификацији могу постати тврдње у извршном коду.Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics.
Остали приступи формалној семантици програмских језика укључују аксиоматску семантику и денотациону семантику.By the 3rd century BC,geometry was put into an axiomatic form by Euclid, whose treatment, Euclid's Elements, set a standard for many centuries to follow.
До 3. века п. н. е,геометрију је Еуклид ставио у аксиоматску форму, чији третман, Еуклидових елемената, је успоставио стандард за многе векове који су следили.That a“democratic” Russia must be subservient to the multicultural postmodern matrix is axiomatic on both sides of the Atlantic.
Да„ демократска“ Русија мора бити подређена мултикултуралној постмодерној матрици је аксиом са обе стране Атлантика.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.
У аксиоматској теорији скупова и областима логике, математике, и рачунарства које се њоме користе, аксиома упаривања је једна од аксиома Зермело-Френкел теорије скупова.Other approaches to providing formal semantics of programming languages include axiomatic semantics and operational semantics.
Други приступи за пружање формалне семантике програмских језика укључују аксиоматску семантику и оперативну семантику.The axiomatic approach to algorithmic information theory was further developed in the book(Burgin 2005) and applied to software metrics(Burgin and Debnath, 2003; Debnath and Burgin, 2003).
Аксиомски приступ алгоритамској информационој теорији је детаљније развијен у књизи( Бургин 2005) примењен на софтверској метрици( Бургин и Дебнат, 2003; Дебнат и Бургин, 2003).Economics, which became the most influential of the social sciences,sought to remove this handicap by taking an axiomatic approach similar to Euclid's geometry.
Економија, која је постала најутицајнија друштвена наука, тражилаје начин даотклони ову ману преузевши аксиоматски приступ сличан Еуклидовој геометрији.An axiomatic system for which every model is isomorphic to another is called categorial(sometimes categorical), and the property of categoriality(categoricity) ensures the completeness of a system.
Аксиоматски систем за који је сваки модел изоморфан другом се зове категоријални( понекад категоричан), а својство категоричности( категоричност) осигурава потпуност система.In contemporary epistemology, advocates of coherentism are supposed to accept the"circular" horn of the trilemma;foundationalists rely on the axiomatic argument.
У савременој епистемологији, заговорници кохерентизма би требало да прихватају„ циркуларну“ страну трилеме;фундационалисти се ослањају на аксиоматске доказе.In 1909, Constantin Carathéodory presented a purely mathematical approach to the field in his axiomatic formulation of thermodynamics, a description referred to as geometrical thermodynamics.
Године 1909. је Константин Каратеодори представио чисто математички приступ пољу у својој аксиоматској формулацији термодинамике, опис који се често назива геометријском термодинамиком.The students nodded, emphatically agreeing with a statement which upwards of sixty-two thousand repetitions in the dark had made them accept,not merely as true, but as axiomatic, self-evident….
Studenti zaklimaše glavom, u znak saglasnosti sa izjavom koju su, pošto su je u snu bili čuli više od šezdeset dve hiljade puta,prihavatili ne samo kao istinitu, nego kao aksiomu, samu po sebi jasnu.
