형 이론
위키백과, 우리 모두의 백과사전.
형 이론은 수학, 논리학 그리고 컴퓨터 공학에서 유연한 집합 이론 (naive set theory)의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.
같이 보기[편집]
|
집합론 |
|
|---|---|
| 개념 | |
| 연산 | |
| 공리 | |
| 집합 | |
| 이론 | |
|
논리학 |
|
|---|---|
| 핵심 문서 | |
| 주요 개념 | |
| 논쟁 | |
| 주요 인물 | |
|
컴퓨터 과학의 주요 분야 |
|
|---|---|
| 수학적 기초 | |
| 계산 이론 | |
| 알고리즘 & 자료 구조 | |
| 프로그래밍 언어 & 컴파일러 | |
| 병렬 & 분산 시스템 | |
| 소프트웨어 공학 | |
| 시스템 아키텍처 | |
| 통신 & 네트워크 | |
| 데이터베이스 | |
| 인공 지능 | |
| 컴퓨터 그래픽 | |
| 인간과 컴퓨터 상호 작용 | |
| 계산과학 | |
| 정보보호 | |
