間が空いてしまったけれど小野寛晰『情報科学における論理』の読書ノート。なるべく練習問題も解いてく。(→前回) 2021-11-13 読み返してて気になる点があったので一部を訂正 第2章 述語論理 述語論理の論理式 言語 述語論理を記述するのに必要な以下の記号…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。