商品詳細 | Knowledge Worker

The Mathematics of Logic:A Guide to Completeness Theorems and their Applications '07

在庫状況海外在庫有り	お届け予定日 1ヶ月	数量冊
価格 \10,533（税込）

この商品について問合せる

発行年月	2007年07月
出版社／提供元	Cambridge University Press
出版国	イギリス
言語	英語
媒体	冊子
装丁	paper
ページ数／巻数	216 p., 4 b/w illus. 141 exercises
ジャンル	洋書／理工学／数学／数学基礎論
ISBN	9780521708777
商品コード	0200710081
本の性格	テキスト
新刊案内掲載月	2007年05月
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0200710081

内容

This textbook rescues students from traditional, dry and uninspiringintroductory courses in logic, quickly providing context using genuinemathematical applications.

Preface; How to read this book; 1. Konig's lemma; 2. Posets and maximalelements; 3. Formal systems; 4. Deductions in posets; 5. Boolean algebras; 6.Propositional logic; 7. Valuations; 8. Filters and ideals; 9. First-orderlogic; 10. Completeness and compactness; 11. Model theory; 12. Nonstandardanalysis; Bibliography; Index.

カート

カートに商品は入っていません。

前のページに戻る