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: 19 Mar 2016

ISBN-10: n/a

ISBN-13: n/a

Paperback: 399 pages

Views: 2,485

Type: N/A

Publisher: n/a

License: n/a

Post time: 14 Jul 2016 02: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: 19 Mar 2016
ISBN-10: n/a
ISBN-13: n/a
Paperback: 399 pages
Views: 2,485
Document Type: N/A
Publisher: n/a
License: n/a
Post time: 14 Jul 2016 02:00:00
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 Theory Group in the Computer Science Department at Yale. He is also the Director of Undergraduate Studies for the department. His main area of research is distributed algorithms.

James Aspnes

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


Book Categories
Sponsors
Icons8, a free icon pack