Mathematics
Term
게임이론 (Game
Theory)
계산 (Computation)
계산가능성
이론 (Computability Theory)
계산기하학
(Computational Geometry)
계산복잡도이론 (Computational Complexity
Theory)
계산이론
(Theory of Computation)
계산학습이론
(Computational Learning Theory)
고유치 (Eigenvalue)
공리
(Axiom)
- 그래프이론 (Graph Theory)
기울기
하강 (Gradient
Descent)
기하학 (Geometry)
네트워크
(Network)
논리
(Logic)
대수학
(Algebra)
도출법 (Resolution)
명제논리 (Propositional Logic)
베이즈
정리 (Bayes'
Theorem)
부울대수
(Boolean Algebra)
불완전성 정리 (Incompleteness Theorem)
불확실성
(Uncertainty)
비결정
완전 (NP-complete)
수리논리학
(Mathematical
Logic)
수리물리 (Mathmatical
Physics)
수리통계학
수치해석 (Numerical
Analysis)
수학
(Mathematics)
수학적
귀납법 (Mathematical Induction)
순환 (Rucurrence)
순회판매원 문제 (Traveling Salesman
Problem)
술어논리
(Predicate Logic)
시계열분석
(Time Series Analysis)
알고리즘 (Algorithm)
오토마타
(Automata)
오토마타 이론 (Automata
Theory)
우도 (Likelihood)
위상수학 (Topology)
이산수학
(Discrete Mathematics)
인공지능
(Artificial Intelligence)
정량자 (Quantifier)
정리증명 (Theorem
Proving)
정보이론
(Information Theory)
조건부 확률
(Conditional Probability)
조합최적화
(Combinatorial Optimization)
증명 (Proof)
최소자승 (Least
Square)
최적화 (Optimization)
추론
(Reasoning)
컴퓨터
(Computer)
통계학 (Statistics)
튜링
기계 (Turing
Machine)
튜링 명제 (Turing
Thesis)
트리
(Tree)
퍼지 (Fuzzy)
해석학
(Analysis)
행렬 (Matrix)
확률 (Probability)
확신도
(Certainty
Factor)
회귀분석 (Regression
Analysis)
Alan Turing
Blaise
Pascal
Cardinality
Charles Babbage
Donald E.
Knuth
George
Boole
John McCarthy
John von Neumann
Kurt Gödel
LISP
MACSYMA
Pierre Laplace
Richard Karp
Stephen
Cook
Thomas
Bayes