丸善のおすすめ度
数理論理学
戸次 大介
著
発行年月 |
2012年03月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
8p,310p |
---|
大きさ |
21cm |
---|
|
ジャンル |
和書/理工学/数学/数学一般・その他 |
---|
|
|
ISBN |
9784130629157 |
---|
|
商品コード |
1008533698 |
---|
NDC分類 |
410.96 |
---|
|
|
本の性格 |
テキスト |
---|
|
新刊案内掲載月 |
2012年04月4週 |
---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1008533698 |
---|
著者紹介
戸次 大介(著者):1973年生まれ。東京大学大学院理学系研究科情報科学専攻博士課程修了。お茶の水女子大学大学院人間文化創成科学研究科准教授。国立情報学研究所客員准教授。理学博士。
内容
大学の哲学・数学・情報科学・言語系の学科で使われる数理論理学の初歩の知識を身につけることをめざした入門テキスト。「一階論理の統語論と意味論」と「一階論理の証明論」の二部に分けて解説する。