Sun, 27 Jul 2008 10:20:13 BST CiteULike: pdlug notes http://www.citeulike.org/user/pdlug/tag/notes CiteULike.org en-gb Copyright © 2004-2008 citeulike.org http://www.citeulike.org/user/pdlug/article/2759927 <i>(5 May 2008)</i><br /><br />These are notes on discrete mathematics for computer scientists. The presentation is somewhat unconventional. Indeed I begin with a discussion of the basic rules of mathematical reasoning and of the notion of proof formalized in a natural deduction system “a la Prawitz”. The rest of the material is more or less traditional but I emphasize partial functions more than usual (after all, programs may not terminate for all input) and I provide a fairly complete account of the basic concepts of graph theory. Discrete Mathematics for Computer Science, Some Notes Jean Gallier (5 May 2008) 2008-05-06T06:30:10-00:00 2008 compsci cs math notes http://www.citeulike.org/user/pdlug/article/2608060 <i>(11 Oct 2003)</i><br /><br />These notes concern linear transformations on R^n and C^n, exponentials of linear transformations, and some related geometric questions. Notes on matrices and calculus Stephen Semmes (11 Oct 2003) 2008-03-28T16:53:08-00:00 2003 algebra linear linearalgebra math notes