コンピュータのための数学~論理的アプローチ~
D.グリース,
F.B.シュナイダー,
難波 完爾,
土居 範久,
飯島 正
著
発行年月 |
2001年07月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
381p |
---|
大きさ |
26 |
---|
|
ジャンル |
和書 |
---|
|
|
ISBN |
9784535783010 |
---|
|
商品コード |
0101071352 |
---|
NDC分類 |
410 |
---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0101071352 |
---|
著者紹介
D.グリース(著者):〈グリース〉コーネル大学コンピュータ科学科教授。
F.B.シュナイダー(著者):〈シュナイダー〉コーネル大学コンピュータ科学科教授。
内容
論理学の入門の教授法を変えようとするもの。論理学を基本的な道具と考え、その使い方を説明する。課題は離散数学と論理であるが、言語の能動性と社会性ということも、重要な視点であると主張している。