Примери коришћења Аксиоматски на Српском и њихови преводи на Енглески
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
Аксиоматски приступ Фредхолмовој теорији.
То би био случај да смо користили машине да се баве аксиоматских системима.
Case if we were using machines to deal with axiomatic systems.Каже се да је аксиоматски систем непротивуречан ако нема контрадикцију, тј.
An axiomatic system is said to be consistent if it lacks contradiction, i.e.То би био случај да смо користили машине да се баве аксиоматских системима.
This would be the 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.Формална теорија типично значи аксиоматски систем, на пример формулисан унутар теорије модела.
A formal theory typically means an axiomatic system, for example formulated within model theory.Аксиоматски систем ће се назвати потпуним ако је за сваку изјаву или сама или његова негација изводљива.
An axiomatic system will be called complete if for every statement, either itself or its negation is derivable.Када је Кант( следећи Њутна) одбацио простор и време као аксиоматски„ трансцендентално” и„ априори”- тврдња коју су касније оповргле Пијажове клиничке студије.
When Kant(following Newton) dismissed Space and Time as axiomatically"transcendental" and"a priori"- a claim later disproved by Piaget's clinical studies.У математици, аксиоматски систем је било који скуп аксиома из којих се неке или све аксиоме могу користити у вези са логичким извођењем теорема.
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.Економија, која је постала најутицајнија друштвена наука, тражилаје начин даотклони ову ману преузевши аксиоматски приступ сличан Еуклидовој геометрији.
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 this article he proved that for any computable axiomatic system that is powerful enough to describe arithmetic on the natural numbers(e.g. the Peano axioms or ZFC) it holds that.Модел за аксиоматски систем је добро дефинисан скуп, који додељује значење недефинисаним терминима представљеним у систему, на начин који је тачан са односима дефинисаним у систему.
A model for an axiomatic system is a well-defined set, which assigns meaning for the undefined terms presented in the system, in a manner that is correct with the relations defined in the system.У касним 1990-им Вилфред Зиг анализирао јњ Тјурингове и Гандијеве појмове" ефективне предвидивост" са намером да" оштрења неформалног појма,формулисање његове опште карактеристике аксиоматски, и истраживању аксиоматског оквира".
In the late 1990s Wilfried Sieg analyzed Turing's and Gandy's notions of"effective calculability" with the intent of"sharpening the informal notion,formulating its general features axiomatically, and investigating the axiomatic framework".De l' Art de persuader,Паскал је дубље истражио аксиоматски метод геометрије, посебно се бавећи питањем како људи постају убеђени у тачност аксиома на којима су засновани каснији закључци.
In De l'Art de persuader("On the Art of Persuasion"),Pascal looked deeper into geometry's axiomatic method, specifically the question of how people come to be convinced of the axioms upon which later conclusions are based.Међутим то може да доведе до проблема кад год тема закорачи у искључене домене- нпр. када је Кант( следећи Њутна)одбацио простор и време као аксиоматски„ трансцендентално” и„ априори”- тврдња коју су касније оповргле Пијажове клиничке студије.
However this may lead to problems whenever the topic spills over into those excluded domains- e.g. when Kant(following Newton) dismissed Space and Time as axiomatically"transcendental" and"a priori"- a claim later disproved by Piaget's clinical studies.У делу:(“ On the Art of Persuasion“),Паскал је дубље истражио аксиоматски метод геометрије( geometry' s axiomatic method), посебно се бавећи питањем како људи постају убеђени у тачност аксиома на којима су засновани каснији закључци.
In De l'Art de persuader,Pascal looked deeper into geometry's axiomatic method, specifically the question of how people come to be convinced of the axioms upon which later conclusions are based.Многи аксиоматски системи развијени су у деветнаестом веку, укључујући не-еуклидску геометрију, темеље стварне анализе, Канторову теорију сетова, Фрегеов рад на темељу и Хилбертову" нову" употребу аксиоматске методе као истраживачког алата.
Many axiomatic systems were developed in the nineteenth century, including non-Euclidean geometry, the foundations of real analysis, Cantor's set theory, Frege's work on foundations, and Hilbert's'new' use of Математичке доказе је револуционисали револуционирао Еуклид( 300 п. н. е.),који је увео аксиоматски метод који се још увек користи, почевши од недефинисаних термина и аксиома( пропозиција везаних за недефинисане термине за које се претпоставља да су самоевиднетно истините од грчких„ аксиоса” са значењем„ нешто вредно”), и користио их је за доказивање теорема примењујући дедуктивну логику.
Mathematical proofs were revolutionized by Euclid(300 BCE),who introduced the axiomatic method still in use today, starting with undefined terms and axioms(propositions regarding the undefined terms assumed to be self-evidently true from the Greek"axios" meaning"something worthy"), and used these to prove theorems using deductive logic.У том раду је доказао да за сваки израчунљив аксиоматски систем који је довољно снажан да опише аритметику природних бројева( на пример Пеанове аксиоме или Зермело-Френкел теорија скупова са аксиомом избора), важи: ако је систем конзистентан, он не може бити потпун. конзистентност аксиома не може бити доказана унутар система.
In that article, he proved for any computable axiomatic system that is powerful enough to describe the arithmetic of the natural numbers(e.g., the Peano axioms or Zermelo-Fraenkel set theory with the axiom of choice), that: If a(logical or У неким областима напредног изучавања, аксиоматски алгебарски системи као што су групе, прстени, поља и алгебре над пољима, се проучавају у присуству геометријске структуре( метрика или топологија) која је у складу са том алгебарском структуром.
In advanced studies axiomatic algebraic systems like groups, rings, fields, and algebras over a field are investigated in the presence of a natural topology compatible with algebraic structure.У неким областима напредног изучавања, аксиоматски алгебарски системи као што су групе, прстени, поља и алгебре над пољима, се проучавају у присуству геометријске структуре( метрика или топологија) која је у складу са том алгебарском структуром.
In advanced studies, axiomatic algebraic systems such as groups, rings, fields, and algebras over a field are investigated in the presence of a natural geometric structure(a topology) which is compatible with the algebraic structure.У неким областима напредног изучавања, аксиоматски алгебарски системи као што су групе, прстени, поља и алгебре над пољима, се проучавају у присуству геометријске структуре( метрика или топологија) која је у складу са том алгебарском структуром.
In some directions of advanced study, axiomatic algebraic systems such as groups, rings, fields, and algebras over a field are investigated in the presence of a geometric structure(a metric or a topology) which is compatible with the algebraic structure.Ернст Цермело је предложио прву аксиоматску теорију скупова, Цермело теорију скупова.
In 1908, Ernst Zermelo proposed the first axiomatic set theory, Zermelo set theory.Логичке изразе који се јављају у аксиоматској семантици зовемо предикати, односно тврдње.
The logical expressions used in axiomatic semantics are called predicates, or assertions.Еуклид је аутор најраније аксиоматске презентације еуклидске геометрије и теорије бројева.
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.Остали приступи формалној семантици програмских језика укључују аксиоматску семантику и денотациону семантику.
Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics.Фундационалисти се ослањају на аксиоматске доказе.
Foundationalists are relying on the axiomatic argument.Релације и операције са догађајима. Аксиоматска дефиниција вероватноће.
Relationships and operations with events. An axiomatic definition of probability.
