シンタクス

論理学をつくる第3部-論理をもう一つの目で見る読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(演繹推論とシンタクスとセマンティクス)

推論技術:inference Technology数理論理学:Mathematical logic

タイトルとURLをコピーしました