Mendeley出力
New Structures for Physics / edited by Bob Coecke
(Lecture Notes in Physics ; 813)
| データ種別 | 電子ブック |
|---|---|
| 著者標目 | Coecke, Bob editor SpringerLink (Online service) |
| 出版情報 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2011 |
書誌詳細を非表示
| 巻次 | ISBN:9783642128219 |
|---|---|
| 大きさ | XVIII, 1031 p : online resource |
| 本文言語 | 英語 |
| 内容注記 | Part I An ABC on Compositionality Part II Manifestations of Linearity Part III More Example Applications Part IV Informatic Geometry Part V. Spatio-Temporal Geometry Part VI Geometry and Topology in Computation |
| 一般注記 | This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory of monoidal categories and corresponding graphical calculi, Girard’s linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are very prominent in computer science; the chapters here are tailored towards an audience of physicists |
| 件 名 | LCSH:Physics LCSH:Computers LCSH:Category theory (Mathematics) LCSH:Homological algebra FREE:Physics FREE:Mathematical Methods in Physics FREE:Category Theory, Homological Algebra FREE:Theory of Computation |
| 分 類 | DC23:530.15 |
| 書誌ID | OB00006943 |
| ISBN | 9783642128219 |