この商品をご覧のお客様は、こんな商品もチェックしています。
- 数学フィールドワーク
-
価格：1,210円（本体1,100円＋税）
【2023年02月発売】
- 数学・基礎の基礎
-
価格：2,200円（本体2,000円＋税）
【1996年06月発売】
- 復刊帰納的関数
-
価格：6,380円（本体5,800円＋税）
【2024年12月発売】
のマークが目印です。
[BOOKデータベースより]
第１章 古典命題論理
[日販商品データベースより]第２章 一階古典述語論理
第３章 論理プログラミング
第４章 数え上げと対角線論法
第５章 代入と型付きラムダ式
述語論理で数学的議論をすることとコンピュータのプログラミングをすることが、本質的に同じであることを具体例をあげて説明している。