형 이론(영어: type theory) 또는 유형론은 수학, 논리학 그리고 컴퓨터 과학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.
1902년부터 1908년 사이 소박한 집합론의 고틀로프 프레게 판이 러셀의 역설로 고생하고 있다는 것을 발견한 데 대해 버트런드 러셀은 다양한 형 이론을 제시했다.
컴퓨터 과학의 주요 분야 | |
|---|---|
| 수학적 기초 | |
| 계산 이론 | |
| 알고리즘 & 자료 구조 | |
| 프로그래밍 언어 & 컴파일러 | |
| 병렬 & 분산 시스템 | |
| 소프트웨어 공학 | |
| 시스템 아키텍처 | |
| 통신 & 네트워크 | |
| 데이터베이스 | |
| 인공 지능 | |
| 컴퓨터 그래픽 | |
| 인간과 컴퓨터 상호 작용 | |
| 계산과학 | |
| 정보보호 | |
|
이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |