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: 8,563
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
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: 8,563
Document Type: Lecture Notes
Publisher: n/a
License: Creative Commons Attribution-ShareAlike 4.0 International
Post time: 14 Jul 2016 03:00:00
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.
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/.
Tweet
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 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.