|
丸善のおすすめ度
【数理論理学】
Mathematical Logic 3rd ed.(Graduate Texts in Mathematics Vol. 291) hardcover IX, 304 p. 21
Ebbinghaus, Heinz-Dieter,
Flum, Jörg,
Thomas, Wolfgang
著
発行年月 |
2021年05月 |
|---|
|
出版国 |
スイス |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
IX, 304 p. |
|---|
|
|
ジャンル |
洋書／理工学／数学／数学基礎論 |
|---|
|
|
ISBN |
9783030738389 |
|---|
|
商品コード |
1032931672 |
|---|
|
|
|
本の性格 |
テキスト/学術書 |
|---|
|
新刊案内掲載月 |
2021年05月 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1032931672 |
|---|
内容
・この全面改訂された新版では、さらなる重要な決定可能な結果を探ります
・数学の証明と確率に関する基礎問題を分析することで、数理論理学へと誘います
・数学とコンピュータ科学におけるアルゴリズムと証明方法の可能性と限界に焦点を当てています
・論理システムにおける一階述語論理が果たす独自の役割や、計算可能性やオートマトン理論とのリンクといった、最新トピックを検証しています
