Book contents
- Frontmatter
- Contents
- Preface
- Part I Computing
- 1 Mathematics, Models and Architectures
- 2 Mathematics and Software Verification
- 3 Mathematics for Quantum Computing
- 4 Mathematics for AI: Categories, Toposes, Types
- Part II Communications
- Part III Artificial Intelligence
- Part IV Future
- Editors and Contributing Authors
4 - Mathematics for AI: Categories, Toposes, Types
from Part I - Computing
Published online by Cambridge University Press: 03 December 2021
- Frontmatter
- Contents
- Preface
- Part I Computing
- 1 Mathematics, Models and Architectures
- 2 Mathematics and Software Verification
- 3 Mathematics for Quantum Computing
- 4 Mathematics for AI: Categories, Toposes, Types
- Part II Communications
- Part III Artificial Intelligence
- Part IV Future
- Editors and Contributing Authors
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781009070218/resource/name/firstPage-9781316513583c4_98-132.jpg)
Keywords
- Type
- Chapter
- Information
- Mathematics for Future Computing and Communications , pp. 98 - 132Publisher: Cambridge University PressPrint publication year: 2021