応用論理

  • ポイントキャンペーン

応用論理

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判／ページ数 212p／高さ 22cm
  • 商品コード 9784320026513
  • NDC分類 007.1
  • Cコード C3341

出版社内容情報

【解説】
述語論理で数学的議論をすることとコンピュータのプログラミングをすることが，本質的に同じであることを具体例をあげて説明している。

【目次】
古典命題論理・一階古典述語論理・論理プログラミング他

目次

第１章　古典命題論理
第２章　一階古典述語論理
第３章　論理プログラミング
第４章　数え上げと対角線論法
第５章　代入と型付きラムダ式