商品詳細 | Knowledge Worker

A Graphic Apology for Symmetry and Implicitness(Oxford Mathematical Monographs) H 520 p. 00

在庫状況海外在庫有り	お届け予定日 2週間	数量冊
価格 \30,835（税込）

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

発行年月	2000年06月
出版社／提供元	Oxford University Press
出版国	イギリス
言語	英語
媒体	冊子
装丁	hardcover
ページ数／巻数	520 p., numerous line figures
ジャンル	洋書／理工学／数学／代数学
ISBN	9780198507291
商品コード	0200010371
本の性格	学術書
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0200010371

内容

The present book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections with geometry of metric spaces, and complexity classes (P, NP, co-NP).

1. Introduction; 2. Morphisms in logic and complexity; 3. Exponentialprocesses and formal proofs; 4. Graphs and their visibilities; 5. Asymptoticgrowth of infinite visibilities; 6. Geometric aspects of cut elimination; 7.Feasibility graphs; 8. Bounds for finite visibilities; 9. Some relatedcomputational questions; 10. Mappings and graphs; 11. Mappings andcomparisons; 12. Adjacency matrices and counting; 13. Duality andNP-completeness; 14. Finite automata and regular languages; 15. Constructionswith graphs; 16. Stronger forms of recursion; 17. Groups and graphs; 18.Extended notions of automata; 19. Geometry of scales in metric spaces; 20.The Corona decomposition revisited; Appendix A: Formal proofs: A briefreview; References; Index

カート

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

前のページに戻る