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,570
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
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 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.