商品詳細 | Knowledge Worker

情報数学講座<第１巻>　応用論理　

絶版
価格 \3,300（税込）

発行年月	1996年03月
出版社／提供元	共立出版
言語	日本語
媒体	冊子
ページ数／巻数	２１２ｐ
大きさ	22
ジャンル	和書
ISBN	9784320026513
商品コード	0196048477
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0196048477

内容

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

第1章古典命題論理第2章一階古典述語論理第3章論理プログラミング第4章数え上げと対角線論法第5章代入と型付きラムダ式

カート

カートに商品は入っていません。