意味論

論理学をつくる第1部論理学をはじめる読書メモ

人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)

2021.10.03

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

プログミングとコンピューターの基本的なしくみと歴史

2021.09.24

pythonプログラミング言語:Programming Language

哲学的観点から見た人工知能(ロボット)と言葉の意味、意味論的アプローチと形式論的アプローチ

2021.04.29

人工知能:Artificial Intelligence数理論理学:Mathematical logic機械学習:Machine Learning自然言語処理:Natural Language Processing

プログラミング言語、自然言語処理の基礎となる形式言語学概要、意味論

2021.02.11

数理論理学:Mathematical logic