アルゴリズム:Algorithms Protected: Proof of Indeterminacy
Algorithms for identifying the limits of algorithms, proving undecidability, and problems that cannot be computed.
数理論理学:Mathematical logic
アルゴリズム:Algorithms 数理論理学:Mathematical logic Formal Languages and Mathematical Logics
Overview of formal linguistics and semantics as a basis for programming languages and natural language processing
幾何学: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.