Notes on Discrete Mathematics

Notes on Discrete Mathematics

An introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra.

Publication date: 31 Dec 2020

ISBN-10: n/a

ISBN-13: n/a

Paperback: 451 pages

Views: 7,946

Type: Lecture Notes

Publisher: n/a

License: Creative Commons Attribution-ShareAlike 4.0 International

Post time: 14 Jul 2016 03:00:00

Notes on Discrete Mathematics

Notes on Discrete Mathematics An introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra.
Tag(s): Discrete Mathematics Linear Algebra Proofs
Publication date: 31 Dec 2020
ISBN-10: n/a
ISBN-13: n/a
Paperback: 451 pages
Views: 7,946
Document Type: Lecture Notes
Publisher: n/a
License: Creative Commons Attribution-ShareAlike 4.0 International
Post time: 14 Jul 2016 03:00:00
Summary/Excerpts of (and not a substitute for) the Creative Commons Attribution-ShareAlike 4.0 International:
You are free to:

Share — copy and redistribute the material in any medium or format
Adapt — remix, transform, and build upon the material for any purpose, even commercially.

The licensor cannot revoke these freedoms as long as you follow the license terms.

Click here to read the full license.
From the Preface:
James Aspnes wrote:These were originally the notes for the Fall 2013 semester of the Yale course CPSC 202a, Mathematical Tools for Computer Science. They have been subsequently updated to incorporate numerous corrections suggested by Dana Angluin and her students. 

Notes from some previous versions of the course can be found at http://pine.cs.yale.edu/pinewiki/CS202/.




About The Author(s)


James Aspnes is a professor in the Computer Science Department at Yale. He is also the Director of Undergraduate Studies for the Computer Science department. His main area of research is distributed algorithms. 

James Aspnes

James Aspnes is a professor in the Computer Science Department at Yale. He is also the Director of Undergraduate Studies for the Computer Science department. His main area of research is distributed algorithms. 


Book Categories
Sponsors