D.グリース/著 -- 日本評論社 -- 2001.7 -- 410

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410/グ/ 114993090 成人一般 可能 iLisvirtual

資料詳細

タイトル コンピュータのための数学
タイトルカナ コンピュータ ノ タメ ノ スウガク
副書名 論理的アプローチ
著者 D.グリース /著, F.B.シュナイダー /著, 難波 完爾 /監訳, 土居 範久 /監訳, 飯島 正 /[ほか]訳  
著者カナ グリース デーヴィド,シュナイダー F.B.,ナンバ カンジ,ドイ ノリヒサ,イイジマ タダシ
出版者 日本評論社
出版年 2001.7
ページ数 381p
大きさ 26cm
一般件名 数学
ISBN 4-535-78301-2 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 410
内容紹介 論理学の入門の教授法を変えようとするもの。論理学を基本的な道具と考え、その使い方を説明する。課題は離散数学と論理であるが、言語の能動性と社会性ということも、重要な視点であると主張している。
著者紹介 コーネル大学コンピュータ科学科教授。