アルゴリズム:Algorithms Protected: Proof of Indeterminacy
Algorithms for identifying the limits of algorithms, proving undecidability, and problems that cannot be computed.
数学:Mathematics
アルゴリズム:Algorithms 数理論理学:Mathematical logic Formal Languages and Mathematical Logics
Overview of formal linguistics and semantics as a basis for programming languages and natural language processing
機械学習:Machine Learning Protected: Bayesian Estimation and Information Theory
Bayesian estimation and information theory for artificial intelligence (AI), machine learning (ML), and natural language processing (NLP), from de Moivre's probability theory to Bayesian probability and Shannon's information engineering and tools for Bayesian estimation (STAN)
機械学習:Machine Learning Integration of probability and logic (1) Bayesian Net, KBMC, PRM and SRL
Integration of probability and logic, automatic generation of Bayesian nets using knowledge base (KBMC), prolog, backward reasoning
幾何学:Geometry Fundamentals of Computer Mathematics
Overview of computer mathematics as a basis for artificial intelligence and machine learning techniques, functions, sets, probability, simultaneous equations, differentiation, and integration.
哲学:philosophy The difference between causation and correlation
Consideration of causality and correlation as the basis for models of artificial intelligence and machine learning