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