Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ 人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理) 2021.10.03 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
python Python言語によるプログラミングイントロダクション(1)プログラミングとは プログミングとコンピューターの基本的なしくみと歴史 2021.09.24 pythonプログラミング言語:Programming Language
人工知能:Artificial Intelligence 意味とは何か(1)哲学入門 哲学的観点から見た人工知能(ロボット)と言葉の意味、意味論的アプローチと形式論的アプローチ 2021.04.29 人工知能:Artificial Intelligence数理論理学:Mathematical logic機械学習:Machine Learning自然言語処理:Natural Language Processing
数理論理学:Mathematical logic 形式言語と数理論理学 プログラミング言語、自然言語処理の基礎となる形式言語学概要、意味論 2021.02.11 数理論理学:Mathematical logic
