브라우저보다 빠른!
16 처지: 동치, 동치관계, 리만 적분, 모노이드, 무한소, 자연수, 체 (수학), 초실수, 쌍대 유한 집합, 수열, 선택 공리, 함수, 해석학 (수학), 필터 (수학), 실수, 1차 논리.
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
새로운!!: 비표준 해석학와 동치 · 더보기 »
동치관계
수학에서, 동치관계(同値關係)는 논리적 동치와 비슷한 성질들을 만족시키는 이항관계이.
새로운!!: 비표준 해석학와 동치관계 · 더보기 »
리만 적분
실해석학에서, 리만 적분(Riemann積分)은 닫힌구간에 정의된 실숫값 함수의 적분의 종류이.
새로운!!: 비표준 해석학와 리만 적분 · 더보기 »
모노이드
상대수학에서, 모노이드()는 항등원을 갖는, 결합 법칙을 따르는 이항 연산을 갖춘 대수 구조이.
새로운!!: 비표준 해석학와 모노이드 · 더보기 »
무한소
무한소 기호 수학에서, 무한소(無限小, infinitesimal)란 일반적으로 모든 양수보다 작지만 0보다는 큰 상태를 가리.
새로운!!: 비표준 해석학와 무한소 · 더보기 »
자연수
수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.
새로운!!: 비표준 해석학와 자연수 · 더보기 »
체 (수학)
상대수학에서, 체(體)는 사칙연산이 자유로이 시행될 수 있고, 산술의 잘 알려진 규칙들을 만족하는 대수 구조이.
새로운!!: 비표준 해석학와 체 (수학) · 더보기 »
초실수
실수선은 실수선보다 더 조밀하다. 실수선 위의 각 점은 이에 무한히 가까운 무한한 수의 초실수들에 대응한다. 반대로, 표준 부분 함수는 유한 초실수를 가장 가까운 실수로 대응시킨다. 비표준 해석학에서, 초실수(超實數)는 무한대와 무한소를 포함하지만 실수에 대한 모든 1차 논리 명제가 그대로 성립하는 수 체계이.
새로운!!: 비표준 해석학와 초실수 · 더보기 »
쌍대 유한 집합
집합론에서, 쌍대 유한 집합(雙對有限集合) 그 여집합이 유한 집합인 부분 집합이.
새로운!!: 비표준 해석학와 쌍대 유한 집합 · 더보기 »
수열
실수의 무한수열 수학에서, 수열(數列) 또는 열(列, sequence)은 수 또는 다른 대상의 순서있는 나열이.
새로운!!: 비표준 해석학와 수열 · 더보기 »
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
새로운!!: 비표준 해석학와 선택 공리 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
새로운!!: 비표준 해석학와 함수 · 더보기 »
해석학 (수학)
석학(解析學)은 미적분학을 엄밀하게 형식화하는 것을 목적으로 시작된 수학의 한 분야로, 수열이나 함수의 극한 및 무한급수, 미분, 적분, 측도 및 해석함수 등의 개념을.
새로운!!: 비표준 해석학와 해석학 (수학) · 더보기 »
필터 (수학)
집합 \1,2,3,4\의 멱집합의 하세 도형. 녹색 원소들은 극대 필터를 구성하며, 반대로 흰색 원소들은 극대 순서 아이디얼을 구성한다. 순서론에서 필터()는 어떤 원순서 집합의 하향 상집합이며, 반대로 순서 아이디얼(順序ideal)은 어떤 원순서 집합의 상향 하집합이.
새로운!!: 비표준 해석학와 필터 (수학) · 더보기 »
실수
실수을 수직선으로 나타낸 것 수학에서, 실수(實數)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이.
새로운!!: 비표준 해석학와 실수 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 비표준 해석학와 1차 논리 · 더보기 »
