Introductory Discrete Mathematics for Computer Science

From Wikiversity
Jump to: navigation, search
Sciences humaines.svg Educational level: this is a tertiary (university) resource.
Gnome-fs-client.svg Subject classification: this is an information technology resource .
Nuvola apps edu mathematics-p.svg Subject classification: this is a mathematics resource .
Progress-0250.svg Completion status: this resource is ~25% complete.
Crystal Clear Sharemanager.png Resource type: this resource is a course.
Donald Knuth is a famous computer scientist and mathematician who has written numerous papers and a textbook on discrete mathematics.

This is the first of two discrete math subjects for students of Computer Science at Wikiversity. The second course is called Discrete Mathematics for Computer Science. This page is tailored to provide you with introductory topics and problems in discrete mathematics. It is a prerequisite for Analysis of Algorithms, which is fundamental to any computing practices that require optimal performance in the face of limited resources.

Discrete mathematics is the part of mathematics devoted to the study of discrete (i.e. distinct) objects. In general, it is used whenever objects are counted, when relationships between finite (or countable) sets are studied, and when processes involving a finite number of steps are analyzed. It is important for computer science because in computing machines, information is stored and manipulated in a discrete fashion.

Course Outline[edit]

Logic[edit]

Set Theory[edit]

Functions and Relations[edit]

Sums and Recurrence Relations[edit]

Mathematical Reasoning[edit]

Counting[edit]

Introductory counting videos

Graphs[edit]

Number Theory[edit]

Problems Sets[edit]

ADUni problem sets:

Logic, Proofs, and Mathematical Reasoning (Solutions, Code)
Sets, Functions, Big-O, Rates of Growth (Solutions)
Recursion and Induction (Solutions, Code)
Induction and Recurrence Equations (Solutions)
Combinatorics and Counting (Solutions, Code)
Combinatorics and Discrete Probability (Solutions, Code)
Generating functions, Number Theory, Cryptography (Solutions, Code)


MIT Assignments and Solutions

Exams[edit]

ADUni exams:

Exam 1
Exam 2
Exam 3
Final Exam


MIT Exams and Solutions


Exams are open notes, as they are in Columbia University's COMS 3203 course in Discrete Mathematics (as of Spring 2009).

Textbooks[edit]

Free textbooks:


You may also buy a copy of the following text, which is used in the Columbia University course: Discrete Mathematics and its Applications, 6th ed. by Kenneth Rosen (book homepage). Schaum's Outline of Discrete Mathematics by Lipschutz and Lipson is another possible resource.

Instructors[edit]

Online Courses[edit]

Art of Problem Solving:

Related Websites[edit]

See also[edit]