Abstract
The goal of this chapter is to give a fairly comprehensive overview of the theory that underpins the rest of the book. On first reading, it may seem a little dry and is often excluded in other similar books. However, without a solid understanding of logic and representation of numbers it seems clear that constructing digital circuits to put this theory into practise would be much harder. The theory here will present an introduction to propositional logic, sets and functions, number systems and Boolean algebra. These four main areas combine to produce a basis for formal methods to describe, manipulate and implement digital systems such as computer processors. Those with a background in mathematics or computer science might skip this material and use it simply for reference; those approaching the subject from another background would be advised to read the material in more detail.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London Limited
About this chapter
Cite this chapter
Page, D. (2009). Mathematical Preliminaries. In: Practical Introduction to Computer Architecture. Texts in Computer Science. Springer, London. https://doi.org/10.1007/978-1-84882-256-6_1
Download citation
DOI: https://doi.org/10.1007/978-1-84882-256-6_1
Publisher Name: Springer, London
Print ISBN: 978-1-84882-255-9
Online ISBN: 978-1-84882-256-6
eBook Packages: Computer ScienceComputer Science (R0)