Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ 人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL) 2021.11.16 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
幾何学:Geometry コンピューターの数学の基礎 人工知能、機械学習技術の基礎となるコンピューターの数学の概要、関数、集合、確率、連立方程式、微分、積分 2021.03.06 幾何学:Geometry微分積分:Calculus数理論理学:Mathematical logic最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra集合論:Set theory
Symbolic Logic