Introduction to Discrete Mathematics for Software Engineering 0333407377, 978-0-333-40737-0, 978-1-349-18496-5

Publisher Basingstoke Macmillan Education 1986

313 84 2MB

English Pages 320 Year 1986

Introduction to Discrete Mathematics for Software Engineering
0333407377, 978-0-333-40737-0, 978-1-349-18496-5

Author / Uploaded
Tim Denvir

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

Polecaj historie

Discrete Mathematics: An Introduction for Software Engineers 0521384753, 9780521384759

This book is designed to form the basis of a one-year course in discrete mathematics for first-year computer scientists

208 89 3MB Read more

Guide to Discrete Mathematics

1,827 223 3MB Read more

Introduction to discrete mathematics via logic and proof 9783030253578, 9783030253585

1,940 407 3MB Read more

Discrete Mathematics: An Open Introduction 1792901690, 9781792901690

Note, this is the corrected Fall 2015 edition. A new edition will be available August 2016 This gentle introduction to

2,060 229 2MB Read more

Engineering Software Products: An Introduction to Modern Software Engineering [1 ed.] 013521064X, 9780135210642

Introduces software engineering techniques for developing software products and apps. With Engineering Software Product

3,146 470 50MB Read more

Engineering Software Products: An Introduction to Modern Software Engineering [1 ed.] 013521064X, 9780135210642

For one-semester courses in software engineering. Introduces software engineering techniques for developing software p

1,802 405 9MB Read more

Engineering Software Products: An Introduction to Modern Software Engineering [1 ed.] 013521064X, 9780135210642

For one-semester courses in software engineering. Introduces software engineering techniques for developing software p

3,562 886 50MB Read more

Engineering Software Products: An Introduction to Modern Software Engineering [Global Edition] 1292376341, 9781292376349

Software products, such as stand-alone programs, web apps and services, and mobile apps, have transformed our everyday l

8,082 746 7MB Read more

Discrete Mathematics

2,133 172 5MB Read more

A Spiral Workbook for Discrete Mathematics 9781942341161

405 124 2MB Read more