심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
다운로드
브라우저보다 빠른!
 

수학 원리

색인 수학 원리

《수학 원리》 요약본 표지. 56장까지만 수록되어 있다. 《수학 원리》(1910-1913)는 3권으로 이루어진 러셀과 화이트헤드의 공저서이.

22 처지: 동치관계, 명제논리, 미시간 대학교, 버트런드 러셀, 고틀로프 프레게, 기수 (수학), 자연수, 페아노 공리계, 이항관계, 전순서 집합, 정렬 원순서 집합, 정수, 주세페 페아노, 집합론, 집합의 크기, 유리수, 술어 논리, 순서수, 형 이론, 형식주의, 알프레드 노스 화이트헤드, 실수.

동치관계

수학에서, 동치관계(同値關係)는 논리적 동치와 비슷한 성질들을 만족시키는 이항관계이.

새로운!!: 수학 원리와 동치관계 · 더보기 »

명제논리

명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.

새로운!!: 수학 원리와 명제논리 · 더보기 »

미시간 대학교

미시간 대학교()는 미국 미시간 주 앤아버에 위치한 연구 중심 공립 대학이.

새로운!!: 수학 원리와 미시간 대학교 · 더보기 »

버트런드 러셀

제3대 러셀 백작 버트런드 아서 윌리엄 러셀(Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, 1872년 5월 18일 ~ 1970년 2월 2일)은 영국의 수학자, 철학자, 수리논리학자, 역사가, 사회 비평가Stanford Encyclopedia of Philosophy,, 1 May 2003.

새로운!!: 수학 원리와 버트런드 러셀 · 더보기 »

고틀로프 프레게

리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.

새로운!!: 수학 원리와 고틀로프 프레게 · 더보기 »

기수 (수학)

ℵ0은 가장 작은 무한 기수이다. 수학에서, 기수(基數)는 집합의 크기를 나타내는 수이.

새로운!!: 수학 원리와 기수 (수학) · 더보기 »

자연수

수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.

새로운!!: 수학 원리와 자연수 · 더보기 »

페아노 공리계

수리논리학에서.

새로운!!: 수학 원리와 페아노 공리계 · 더보기 »

이항관계

수학에서, 이항관계(二項關係)는 순서쌍들로 이루어지는 집합이.

새로운!!: 수학 원리와 이항관계 · 더보기 »

전순서 집합

순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.

새로운!!: 수학 원리와 전순서 집합 · 더보기 »

정렬 원순서 집합

순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.

새로운!!: 수학 원리와 정렬 원순서 집합 · 더보기 »

정수

정수들의 집합은 순서에 따라 직선 위에 나타낼 수 있다. 수학에서, 정수(整數)는 양의 정수(1, 2, 3,...) 및 음의 정수(-1, -2, -3,...) 및 0으로 이루어진 수 체계이.

새로운!!: 수학 원리와 정수 · 더보기 »

주세페 페아노

주세페 페아노(1858년 8월 27일 ~ 1932년 4월 20일)는 이탈리아의 수학자이자 철학자이.

새로운!!: 수학 원리와 주세페 페아노 · 더보기 »

집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

새로운!!: 수학 원리와 집합론 · 더보기 »

집합의 크기

집합론에서, 집합의 크기() 또는 농도(濃度)는 집합의 "원소 개수"에 대한 척도이.

새로운!!: 수학 원리와 집합의 크기 · 더보기 »

유리수

수학에서, 유리수(有理數)는 두 정수의 비율로 나타낼 수 있는 수이.

새로운!!: 수학 원리와 유리수 · 더보기 »

술어 논리

술어 논리(述語論理) 또는 함수 논리(函數論理) 또는 양화 논리(量化論理)는 명제에 '주어'와 '술어'의 구조가 존재하고, '주어'가 될 수 있는 대상에 대한 한정 기호를 사용할 수 있는 논리이.

새로운!!: 수학 원리와 술어 논리 · 더보기 »

순서수

\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.

새로운!!: 수학 원리와 순서수 · 더보기 »

형 이론

형 이론()은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미.

새로운!!: 수학 원리와 형 이론 · 더보기 »

형식주의

형식주의(形式主義)는 다음과 같은 용법이 있.

새로운!!: 수학 원리와 형식주의 · 더보기 »

알프레드 노스 화이트헤드

알프레드 노스 화이트헤드(Alfred North Whitehead, OM, FRS, 1861년 2월 15일 ~ 1947년 12월 30일)는 영국의 철학자·수학자이.

새로운!!: 수학 원리와 알프레드 노스 화이트헤드 · 더보기 »

실수

실수을 수직선으로 나타낸 것 수학에서, 실수(實數)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이.

새로운!!: 수학 원리와 실수 · 더보기 »

여기로 리디렉션합니다

수학원리, 프린키피아 마테마티카.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »