33 처지: 동치, 모임 (수학), 무정의 용어, 무한 공리, 벡터 공간, 곱집합, 공리, 괄호, 관계 (수학), 부분집합, 구간, 노버트 위너, 니콜라 부르바키, 스칼라, 튜플, 자연수, 펠릭스 하우스도르프, 이항관계, 정초 관계, 존 버클리 로서, 집합론, 체르멜로-프렝켈 집합론, 카지미에시 쿠라토프스키, 윌러드 밴 오먼 콰인, 수학, 수학 원리, 수학기초론, 수학적 대상, 형 이론, 여집합, 함수, 한원소 집합, 필요충분조건.
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 순서쌍와 모임 (수학) · 더보기 »
무정의 용어
무정의 용어 또는 근본 원리(Primitive notion)는 정의 없이 사용하는 용어이.
새로운!!: 순서쌍와 무정의 용어 · 더보기 »
무한 공리
무한 공리는 집합론에서 집합계를 정의할 때에 사용되는 공리로, 무한 집합이 존재한다는 의미를 가지고 있. 이 공리를 수식으로 나타내면 다음과 같. 이것은 \mathbf이라는 집합이 존재하여, 이 집합에는 공집합 \, 그리고 공집합을 원소로 갖는 집합 \, 그리고 그 다음으로 \,...와 같은 식으로 무한히 많은 원소를 가질 수 있다는 것을 의미.
새로운!!: 순서쌍와 무한 공리 · 더보기 »
벡터 공간
선형대수학에서, 벡터 공간(vector空間)은 원소를 서로 더하거나, 주어진 배수로 늘이거나 줄일 수 있는 공간이.
새로운!!: 순서쌍와 벡터 공간 · 더보기 »
곱집합
집합 ''A''.
공리
공리(公理)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이.
괄호
위에서부터 대괄호, 중괄호, 소괄호, 꺾쇠 괄호, 부등호로 이어진다. 괄호(括弧), 묶음표(--標), 브래킷(bracket)은 숫자, 문자나 문장, 수식의 앞뒤를 막아서 다른 문자열과 구별하는 문장 부호의 하나이자 기호를 말. 컴퓨터 과학 분야에서 이 용어는 가끔은 직사각형이나 사각형 형태로 적용.
관계 (수학)
집합론에서 관계(關係)는 곱집합의 부분 집합이.
새로운!!: 순서쌍와 관계 (수학) · 더보기 »
부분집합
부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.
구간
수학에서, 구간(區間)은 주어진 두 실수 (또는 무한대) 사이의 모든 실수의 집합이.
노버트 위너
버트 위너(Norbert Wiener, 1894년 11월 26일 ~ 1964년 3월 18일)는 미국의 수학자·전기공학자이.
새로운!!: 순서쌍와 노버트 위너 · 더보기 »
니콜라 부르바키
부르바키의 《집합론》 1970년 판 표지 니콜라 부르바키()는 20세기에 프랑스를 중심으로 활동한 수학자들의 단체가 사용한 가명이.
새로운!!: 순서쌍와 니콜라 부르바키 · 더보기 »
스칼라
스칼라의 다른 뜻은 다음과 같.; Scalar.
튜플
(tuple)은 유한 개의 사물의 순서있는 열거이.
자연수
수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.
펠릭스 하우스도르프
릭스 하우스도르프(1868년 11월 8일~1942년 1월 26일)는 독일의 수학자이.
새로운!!: 순서쌍와 펠릭스 하우스도르프 · 더보기 »
이항관계
수학에서, 이항관계(二項關係)는 순서쌍들로 이루어지는 집합이.
정초 관계
집합론에서, 정초 관계(整礎關係)는 (무한히 재귀적이지 않은) 집합의 원소 관계로서 나타낼 수 있는 이항 관계이.
새로운!!: 순서쌍와 정초 관계 · 더보기 »
존 버클리 로서
존 버클리 로서 경(John Barkley Rosser Sr. 1907년 12월 6일 - 1989년 9월 5일)은 미국의 논리학자이.
새로운!!: 순서쌍와 존 버클리 로서 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
새로운!!: 순서쌍와 체르멜로-프렝켈 집합론 · 더보기 »
카지미에시 쿠라토프스키
미에시 쿠라토프스키(1896~1980)는 폴란드의 수학자이자 논리학자이.
새로운!!: 순서쌍와 카지미에시 쿠라토프스키 · 더보기 »
윌러드 밴 오먼 콰인
윌러드 밴 오먼 콰인(Willard Van Orman Quine, 1908년 6월 25일 ~ 2000년 12월 25일)(친지들은 그를 "Van"이라 칭했다)은 분석철학의 전통을 따르는 현대 미국의 철학자이자 논리학자이.
새로운!!: 순서쌍와 윌러드 밴 오먼 콰인 · 더보기 »
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
수학 원리
《수학 원리》 요약본 표지. 56장까지만 수록되어 있다. 《수학 원리》(1910-1913)는 3권으로 이루어진 러셀과 화이트헤드의 공저서이.
새로운!!: 순서쌍와 수학 원리 · 더보기 »
수학기초론
수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이.
새로운!!: 순서쌍와 수학기초론 · 더보기 »
수학적 대상
수학 및 수리철학에서 수학적 대상 (数學的対象)은 수학 중에서 생겨 오는 추상적 대상이.
새로운!!: 순서쌍와 수학적 대상 · 더보기 »
형 이론
형 이론()은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미.
여집합
집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이.
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
한원소 집합
집합론에서, 한원소 집합(한元素集合)은 하나의 원소만을 갖는 집합이.
새로운!!: 순서쌍와 한원소 집합 · 더보기 »
필요충분조건
요조건(必要條件), 충분조건(充分條件), 필요충분조건(必要充分條件)은 논리학에서 논증 진술들간의 함축관계를 일컫는 말이.
새로운!!: 순서쌍와 필요충분조건 · 더보기 »