計算論理入門(情報の数理)
田中 尚夫
著
発行年月 |
1997年10月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
194p |
---|
大きさ |
21 |
---|
|
ジャンル |
和書 |
---|
|
|
ISBN |
9784785315054 |
---|
|
商品コード |
0197123415 |
---|
NDC分類 |
410.96 |
---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0197123415 |
---|
著者紹介
田中 尚夫(著者):法政大学名誉教授、理学博士。1928年 山梨県生まれ。東京都立大学大学院理学研究科単位修了。東京都立大学助手、法政大学講師・助教授・教授などを歴任。
内容
広い意味での数理論理学の題材の中から、情報科学と関連の深いいくつかの話題を選び、それぞれの話題について深入りすることを避け、入門書の立場から解説したものである。
前半の3章では情報学の基本項目である話題を述べ、後半の3章で本書の主題である数理論理について述べた。