000 02338nam a22004695i 4500
001 u374355
003 SIRSI
005 20160812084230.0
007 cr nn 008mamaa
008 110115s2011 gw | s |||| 0|eng d
020 _a9783642128219
_9978-3-642-12821-9
040 _cMX-MeUAM
050 4 _aQC5.53
082 0 4 _a530.15
_223
100 1 _aCoecke, Bob.
_eeditor.
245 1 0 _aNew Structures for Physics
_h[recurso electrónico] /
_cedited by Bob Coecke.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2011.
300 _aXVIII, 1031 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Physics,
_x0075-8450 ;
_v813
505 0 _aPart 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.
520 _aThis 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.
650 0 _aPhysics.
650 0 _aInformation theory.
650 0 _aAlgebra.
650 0 _aMathematical physics.
650 1 4 _aPhysics.
650 2 4 _aMathematical Methods in Physics.
650 2 4 _aCategory Theory, Homological Algebra.
650 2 4 _aTheory of Computation.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642128202
830 0 _aLecture Notes in Physics,
_x0075-8450 ;
_v813
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-12821-9
596 _a19
942 _cLIBRO_ELEC
999 _c202235
_d202235