Abstract
As already mentioned, the manipulation of predicates will be our main vehicle for program development. As such, manipulating them must become second nature. This comes from practice. Throughout this chapter there are theorems whose proofs are omitted. Although these proofs are exercises at chapter end, we highly recommend attacking them as they appear in the text. They are a lot of fun, and will be of great help in absorbing the material. Attacking theorems whose proofs are included will be of great help too.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Cohen, E. (1990). Predicates A — Boolean operators. In: Programming in the 1990s. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9706-9_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9706-9_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97382-1
Online ISBN: 978-1-4613-9706-9
eBook Packages: Springer Book Archive