|
丸善のおすすめ度
【MeL】形式論理と計算可能性 （東京大学工学教程 情報工学）（DL不可）
蓮尾 一郎,
浅田 和之
著
東京大学工学教程編纂委員会
編
|
|
|
|
数量
冊
|
|
|
価格
\8,712（税込）
|
|
|
|
※表示価格は「学術機関向け・同時1アクセス」の価格となります。
ご注文を承った際には、実際のご契約内容により算出した価格でご請求いたします。
|
発行年月 |
2024年09月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
電子 |
|---|
|
|
ページ数／巻数 |
11p,192p |
|---|
|
|
ジャンル |
和書／理工学／数学／数学一般・その他 |
|---|
|
|
|
|
商品コード |
1039925178 |
|---|
NDC分類 |
410.9 |
|---|
|
|
本の性格 |
テキスト |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1039925178 |
|---|
内容
本書は、基本的なトピックの中からさらに取捨選択を行い、直観や動機付けを重視しつつ技術的細部を積み上げていく、理論のユーザーとしての視点に徹したコンパクトな教科書である。読者がいくつかの結果や証明のアイデアを身につけ、自らの専門分野に応用できるよう、理論展開全体のストーリー構成がなされている。 第I部「形式論理」は証明論とモデル理論の初歩に相当し、命題論理や述語論理を扱う。本書の特徴に、「論理体系のショウケース」として最初に等式論理を用いた点が挙げられる。ここでの議論や証明の本質的な部分が、より複雑な命題論
