AXIOMATIC 한국어 뜻 - 한국어 번역

Axiomatic set theory.

분류: 집합론.

Previous(Axiomatic systems).

공리계 (Axiomatic System).

Axiomatic set theory.

공리적 집합론.

Three styles of semantics(operational,denotational, axiomatic).

프로그램 언어의 의미(semantics - operational,axiomatic, denotation).

Axiomatic set theories.

분류: 집합론.

He wrote a number of papers on an axiomatic theory of mechanics, the first two in 1909.

그는 역학의 공리 이론에 대한 논문의 숫자가 쓴 최초의 1909 안에 2.

Axiomatic set theories.

공리적 집합론.

In 1908 Zermelo published his axiomatic system despite his failure to prove consistency.

체르멜로에서 일관성을 증명할 자신의 실패에도 불구하고 자신의 공리 시스템을 발표했다.

Axiomatic Design and Fabrication of Composite Structures.

브랜드명 상품명 Axiomatic Design and Fabrication of Composite Stru.

He made refinements to Zermelo 's axiomatic set theory, publishing work in 1922 and 1929.

그는 Zermelo ', 1922 년에서 1929 년에 출판 작업 집합 이론 공리에게 수정했다.

He published Grundlagen der Geometrie in 1899 putting geometry in a formal axiomatic setting.

그는 1899 년에 정식으로 공리 설정에서 기하학을 입고 Grundlagen 데르 Geometrie 발표했다.

Next(Axiomatic systems).

공리계 (Axiomatic System).

Other approaches provide formal semantics of programming languages including axiomatic semantics and operational semantics.

다른 접근법은 공리적인 의미론(Axiomatic semantics)과 연산 의미론(Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다.

Hilbert had him work on axiomatic methods and the classification of mathematics into levels.

힐베르트 공리 그 단계의 레벨로 작동하는 방법과 수학의 분류했다.

His mathematics was not rigorous(it could not be as the mathematical techniques necessary to make it so had not been developed e.g. measure theory and axiomatic probability) although, his results were basically correct.

그의 수학 (수없는 수학적 기법을 필요로하므로 측정 이론 및 공리를 개발하지 않았다면 만들 확률 예) 비록 자신의 결과가 기본적으로 올바른했다 엄격한 아니었다.

He decided to speak on Axiomatic Potential Theory and from then on he undertook research on the subject.

그는 그때부터 공리 잠재적인 이론에 대해 대화를하고 자신의 주제에 대한 연구를 수술하기로했다.

In a sense approximation was not regarded as important by the Chinese and they never became obsessed by the"squaring the circle" type of question like the ancient Greeks, since the Chinese approach was more practical and never axiomatic.

이해가 근사치에 중요한 의해 인정하지 않은 중국의 그들에 의해 집착하지 "동그라미 중국의 접근 방식부터 고대 그리스와 같은 질문으로"타입 squaring 더 실용적 공리 적이있다.

In 1958 Bernays published Axiomatic Set Theory in which he brought together all his work on the axiomatisation of set theory.

베르나 이스 공리를 설정 이론은 그가 같이 설정 이론의 axiomatisation 모두 그의 작품을 가져 출판합니다.

The two Iowa cases of State v. Ellis and State v. Striggles are both used in classes on criminal law to illustrate the concept of reliance upon authority as it relates to the axiomatic ignorantia juris non excusat("ignorance of the law is no excuse").

State v. Ellis 및 State v. Striggles 의 두 가지 아이오와 사례이 둘 은 공리적 무지 법 관할권 이없는 변명 ( "법의 무지는 변명의 여지가 없다") 과 관련하여 권위에 대한 의존의 개념을 설명하기 위해 형사법 수업에서 사용된다.

This axiomatic system gives a newer approach to the problem which had been tackled by Hilbert in Grundlagen der Geometrie.

공리는이 시스템에 의해 Grundlagen 교슈님 데르 Geometrie에 태클했던 문제에 대한 새로운 접근 방법을 제공합니다.

The concepts of energy and the Dirichlet integral took Beurling to a global axiomatic theory called the theory of Dirichlet spaces for complex functions.

에너지의 개념과 Dirichlet 필수 글로벌 공리 이론 Beurling했다 Dirichlet 복잡한 기능을위한 공간이라는 이론.

Since Euclid 's axiomatic formulation of geometry mathematicians had been trying to prove his fifth postulate as a theorem deduced from the other four axioms.

유클리드 이후 '기하학 공리 수학자의 공식들 정리 다른 4 공리계 추론의 자신의 다섯 번째 공준을 증명하려고했다.

In the work of the eminent Polish mathematician Stanislaw Zaremba(1863- 1942),the problem of an axiomatic development of classical mechanics plays an important role, as is well known, this problem constitutes part of Hilbert 's Sixth Problem.

저명한 수학자 폴란드어 스타 니 슬라브 Zaremba (1863 - 1942)의 작품에서,고전 역학의 공리 개발의 문제뿐만 아니라, 이 문제는 힐베르트 '6 문제들 중 일부를 구성하는 알려진 중요한 역할을한다.

Music theory has no axiomatic foundation in modern mathematics, yet the basis of musical sound can be described mathematically and exhibits"a remarkable array of number properties".

음악 이론은 근대 수학에 공리 적 기초가 없지만 음악적 소리의 기초는 수학적으로 (음향학에서) 묘사 될 수 있으며 “숫자 속성의 현저한 배열”을 보여줍니다.

Other work by Church in this area includes Set theory with a universal set published in 1971 which examines a variant of ZF-type axiomatic set theory and Comparison of Russell's resolution of the semantical antinomies with that of Tarski published in 1976.

이 지역에 교회에 의해 다른 작업을하는 보편적인 설정은 1971 년에 어떤 ZF의 변종 공리 이론 및 비교가 Tarski 1976 년 출판과 semantical antinomies 러셀의 해상도 설정 출판 유형 검사와 설정 이론이 포함되어있습니다.

He proved fundamental results about axiomatic systems, showing in any axiomatic mathematical system there are propositions that cannot be proved or disproved within the axioms of the system.

그는 어떤 공리 수학 시스템에서 그 입증되지 않을 수 없거나 시스템의 공리계 내에 disproved 제안하는 게재 공리 시스템에 대한 근본적인 결과를 입증했다.

Subsequent research showed that,together with Felix Hausdorff's definition of topological space in terms of neighbourhoods, the closure operator yielded more fertile results than the axiomatic theories based on Maurice Fréchet 's convergence(1906) and Frigyes Riesz 's point of accumulation(1907).

후속 연구와 함께 우주의 topological 펠릭스Hausdorff의 정의와 동네의 측면에서, 폐쇄 연산자는 공리 이론 모리스 Fréchet 'Frigyes Riesz'축적 (1907년)의 지적 컨버전스 (1906)와 S를 바탕으로보다 더 많은 성과를 거두었다 비옥한 보여.

In the authors describe Zaremba's axiomatic justification of the notion of time in classical mechanics which he worked on during the period from 1933 to 1940.

저자에서 그가 1,940에서 1,933 사이의 기간 동안 어떤 일을 고전 역학에서 시간의 개념의 공리 Zaremba의 정당성을 설명합니다.

Freudenthal studied the relation between axiomatic mathematics and reality, and this study led him to contribute to intuitionism, as well as to the application of mathematics to linguistics.

Freudenthal, 공리 수학과 현실 사이의 관계를 공부 그를 직관론 위해이 연구뿐만 아니라, 언어학을 수학의 응용에 기여했다.

The importance of the thesis is that it develops axiomatic analysis systems providing an abstraction of different objects studied by analysis in a similar way to group theory providing an abstraction of algebraic systems.

논문의 중요성은 그것이 서로 다른 개체 공리 분석 시스템의 분석에 의해 그룹의 이론에 유사한 방식으로 대수 시스템의 추상화를 제공하는 연구 개발의 추상화를 제공합니다.