Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ 人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL) 2021.11.16 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
