書籍詳細:論理

論理

の画像の画像
  • 廣瀬 健
  • 紙の書籍
定価:税込 1,188円(本体価格 1,100円)
在庫なし
発刊年月
1994.05
旧ISBN
4-535-60829-6
ISBN
978-4-535-60829-0
判型
A5変型判
ページ数
72ページ
Cコード
C3341
ジャンル

内容紹介

理工系大学の非数学科系2年生で必要な《記号論理》のエッセンスを手際よく解説したテキスト。「記号論理」「ブール代数」「述語論理とプログラミング」の3章に演習問題と解答、および森毅氏による歴史解説つき。

目次

1 記号論理
 1 記号論理とは
 2 命題論理
 3 述語論理

2 ブール代数
 1 命題論理の代数的構造
 2 ブール代数
 3 ブール関数

3 述語論理とプログラミング
 1 述語論理における「計算」
 2 導出原理
 3 論理プログラミング