情報数学講座<第１巻> 応用論理
桔梗 宏孝
著
絶版
価格
\3,300（税込）
発行年月
1996年03月
出版社／提供元
共立出版
言語
日本語
媒体
冊子
ページ数／巻数
２１２ｐ
大きさ
22
ジャンル
和書
ISBN
9784320026513
商品コード
0196048477
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0196048477
内容
述語論理で数学的議論をすることとコンピュータのプログラミングをすることが、本質的に同じであることを具体例をあげて説明している。
目次
第1章 古典命題論理 第2章 一階古典述語論理 第3章 論理プログラミング 第4章 数え上げと対角線論法 第5章 代入と型付きラムダ式
