コンピュータのための数学～論理的アプローチ～
Ｄ．グリース
,
Ｆ．Ｂ．シュナイダー
,
難波 完爾
,
土居 範久
,
飯島 正
著
品切
価格
\5,170（税込）
発行年月
2001年07月
出版社／提供元
日本評論社
言語
日本語
媒体
冊子
ページ数／巻数
３８１ｐ
大きさ
26
ジャンル
和書
ISBN
9784535783010
商品コード
0101071352
NDC分類
410
基本件名
数学
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0101071352
著者紹介
Ｄ．グリース（著者）：〈グリース〉コーネル大学コンピュータ科学科教授。
Ｆ．Ｂ．シュナイダー（著者）：〈シュナイダー〉コーネル大学コンピュータ科学科教授。
内容
論理学の入門の教授法を変えようとするもの。論理学を基本的な道具と考え、その使い方を説明する。課題は離散数学と論理であるが、言語の能動性と社会性ということも、重要な視点であると主張している。
