범주 개요 범주(Category) 범주론(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 위한 목적으로 도입되었으며,…
검색 결과
"공리계"에 대한 검색 결과 (총 5개)
모달 논리 (Modal Logic) 1. 개요 모달 논리(Modal Logic)는 진술의 단순한 참과 거짓을 넘어, 그 진술이 어떤 '방식(Mode)'으로 참인지를 다루는 양상 논리 체계이다. 표준 논리인 명제 논리(Propositional Logic)나 1차 논리(First-order Logic)가 "P는 참이다"라는 사실적 진술만을 다룬다면, 모달 논리…
유클리드 기 개요 유클리 기하(Euclidean Geometry)는대 그리스의 수자 유클리드Euclid, 기원전 300년)가 저술한 『원론』(Elements)에 체계적으로 정리된 기하학 체계를 말한다. 이는 평면과 공간에서 점, 선, 면, 각, 도형 등의 성질과 관계를 다루는 고전 기하학의 핵심 분야로, 오랜 기간 동안 수학 교육의 기초를 이루며 서양 과학…
비유클리드 기학 개요 비유클드 기하학(非Euclidean幾何學,-Euclidean Geometry)은 유클리 기하학의 평행선 공리를 따르지 않는 기하학 체계를 의미한다. 고전적인 유클리드 기하학 평면 위에서 직선과 각, 도형의 성질을 다루며, 특히 "한 직선 밖의 한 점을 지나면서 그 직선과 평행한 직선은 오직 하나만 존재한다" 는 제5공리(평행선 공리) …
자연수 개요 자연수는 수학에서 가장 기본적인 수 체계 중 하나로, 물체를 세거나 순서를 나타내는 데 사용되는 정수입니다. 일반적으로 1부터 시작하는 경우가 많지만, 현대 수학에서는 0을 포함하는 정의도 널리 채택되고 있습니다. 자연수는 산술, 대수, 집합론 등 다양한 수학 분야에서 기초 자료로 활용되며, 교육 과정에서도 초등학교부터 체계적으로 학습합니다. …