トップメニュー
詳細資料検索
資料紹介
OPACの利用案内
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細資料検索
ジャンル別検索
1 件中、 1 件目
コンピュータのための数学
貸出可
D.グリース/著 -- 日本評論社 -- 2001.7 -- 410
新着本お知らせ
本棚へ
所蔵
所蔵件数は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
地下書庫
/410/グ/
114993090
成人一般
可能
ページの先頭へ
資料詳細
タイトル
コンピュータのための数学
タイトルカナ
コンピュータ ノ タメ ノ スウガク
副書名
論理的アプローチ
著者
D.グリース
/著,
F.B.シュナイダー
/著,
難波 完爾
/監訳,
土居 範久
/監訳,
飯島 正
/[ほか]訳
著者カナ
グリース デーヴィド,シュナイダー F.B.,ナンバ カンジ,ドイ ノリヒサ,イイジマ タダシ
出版者
日本評論社
出版年
2001.7
ページ数
381p
大きさ
26cm
一般件名
数学
ISBN
4-535-78301-2
分類記号
410
内容紹介
論理学の入門の教授法を変えようとするもの。論理学を基本的な道具と考え、その使い方を説明する。課題は離散数学と論理であるが、言語の能動性と社会性ということも、重要な視点であると主張している。
著者紹介
コーネル大学コンピュータ科学科教授。
ページの先頭へ