Discrete Mathematics for Computer Science, Some Notes

Details Discrete Mathematics for Computer Science, Some Notes Discrete Mathematics for Computer Science, Some Notes

2008-05-05

arxiv.org/abs/0805.0585v1

Computer Science

Discrete Mathematics

255 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Discrete Mathematics for Computer Science, Some Notes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Discrete Mathematics for Computer Science, Some Notes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Discrete Mathematics for Computer Science, Some Notes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-209196