ENGLISH

Introduction to Discrete Mathematics for Software Engineering

By Tim Denvir

Book information

Publisher
Palgrave;Macmillan
Year
1986
ISBN
0333407377, 978-0-333-40737-0, 978-1-349-18496-5
Language
english
Format
DJVU
Filesize
2 MB (1678722 bytes)
Series
Macmillan computer science series; Macmillan computer science series
Pages
320\320
Library
kolxoz
Time added
2017-10-15 16:00:00

Description

Publisher Basingstoke Macmillan Education 1986 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 books