Technical Reports (CIS)
Title
Discrete Mathematics, Some Notes
Document Type
Technical Report
Date of this Version
January 2009
Abstract
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.
Download
Date Posted: 29 January 2009
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-09-03