Logic and Automata
Erich Grädel, Jörg Flum, Thomas Wilke (red.)
- Titel
- Categorical Quantum Models and Logics
- Auteur
- Chris Heunen
- Prijs
- € 47,95 excl. BTW
- ISBN
- 9789085550242
- Uitvoering
- Paperback
- Aantal pagina's
- 214
- Taal
- Engels
- Publicatiedatum
- 23 - 11 - 2009
- Afmetingen
- 15.6 x 23.4 cm
- Categorie
- Wetenschap en Technologie
- Discipline
- Wetenschap, geneeskunde en technologie
Preface - 6
Contents - 8
Ch 1. Introduction
Ch 2. Tensors and biproducts
Ch 3. Dagger categories
Ch 4. Dagger kernel logic
Ch 5. Bohrification
Bibliography
Index of categories - 204
Index of notation - 206
Index of subjects - 208
Samenvatting - 212
Curriculum vitae - 214
Chris Heunen
Categorical Quantum Models and Logics
Dit boek bestudeert de logica achter kwantumfysica door gebruik te maken van ‘category theory’ als belangrijkste gereedschap en gids.
Auteur
Chris Heunen
Chris Heunen studeerde wiskunde en computerkunde aan de Radboud Universiteit te Nijmegen.
