論理と計算のしくみ

取り寄せ不可

命題論理・述語論理など形式論理の基礎を学んだ後、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。

お気に入りカテゴリ

よく利用するジャンルを設定できます。

カテゴリ

「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。