Introduction to Discrete Mathematics for Software Engineering
β Scribed by Tim Denvir
- Publisher
- Palgrave;Macmillan
- Year
- 1986
- Tongue
- English
- Leaves
- 320
- Series
- Macmillan computer science series; Macmillan computer science series
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
Publisher Basingstoke Macmillan Education 1986
β¦ Table of Contents
Front Matter....Pages i-ix
Introduction....Pages 1-11
Front Matter....Pages 13-13
Sets....Pages 15-27
Logic....Pages 28-54
Sets and their Operations....Pages 55-91
Front Matter....Pages 93-93
Tuples, Products and Sums....Pages 95-112
Mappings and Functions....Pages 113-146
Relations....Pages 147-156
Front Matter....Pages 157-157
Algebras....Pages 159-180
Homomorphisms....Pages 181-213
Functions and their Specifications....Pages 214-227
Front Matter....Pages 229-29
Relations and Lattices....Pages 231-251
Specification and Correctness of Programs....Pages 252-280
Back Matter....Pages 281-309
π SIMILAR VOLUMES
<span>This book is designed to form the basis of a one-year course in discrete mathematics for first-year computer scientists or software engineers. The materials presented cover much of undergraduate algebra with a particular bias toward the computing applications. Topics covered include mathematic
The field of Chemical Engineering and its link to computer science is in constant evolution and new engineers have a variety of tools at their disposal to tackle their everyday problems. <i>Introduction to Software for Chemical Engineers, Second Edition</i> provides a quick guide to the use of vario
The field of chemical engineering is in constant evolution, and access to information technology is changing the way chemical engineering problems are addressed. Inspired by the need for a user-friendly chemical engineering text that demonstrates the real-world applicability of different computer pr