Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
Symbolic Logic
微分積分:Calculus
python
python
python
python
python
python
python
python