CS 311: Discrete Math for Computer Science

CS 311: Discrete Math for Computer Science, Spring 2014

This course will introduce you to methods of reasoning used in computer science. Main topics: logical notation and proof methods; induction and recursion; sets, functions, and relations; graphs; the growth of functions; annotated programs and loop invariants. The textbook, Discrete Mathematics and Its Applications by Rosen, is optional; all theory that you need to know will be described in lectures and in the lecture notes provided by the instructor.

Homepage: http://www.cs.utexas.edu/users/vl/teaching/311/.

Time and Place: TTh 12:30-2, GDC 2.216; Discussion sections: F 9-3.

Prerequisite: Credit or registration for Mathematics 408C, 408K, or 408N.

Instructor: Vladimir Lifschitz (vl@cs.utexas.edu).

Instructor's Office Hours: W 2-3:30, GDC 3.808.

Teaching Assistants: Keenan Breik (ksb@cs.utexas.edu) and Aibo Tian (atian@cs.utexas.edu).

Proctors: Keerthana Kumar (keerthana.kumar@gmail.com) and Calvin Szeto (szeto.calvin@gmail.com).

Their Office Hours in the basement of GDC:

Keenan: T 10-12, Desk 4.

Aibo: Th 2-4, Desk 1.

Keerthana: W 11-1, Desk 2.

Calvin: M 1:30-3:30, Desk 1.

New sections of lecture notes will be posted online on Mondays. You should print them out and bring to class.

Homework problems will be posted online on Fridays. Your solutions will be due one week later, at the beginning of your discussion section. You may work on homework problems in groups, but you should write up the solutions yourself. Late homework will not be accepted. Sample solutions will be posted online.

Tests. Three tests will be given during regular class meetings on or around February 6, March 6 and April 17. There will be a comprehensive final on May 8, 2-5pm. During tests you may use the lecture notes provided by the instructor and any notes that you made during the semester, but you should not use any books or Internet materials, nor any notes written by others. There will be no make-up tests. If we have made a mistake in grading your test then you should send your TA an e-mail message describing the problem within a week after we return the graded work to the class.

Grading: homework 10% (the lowest score will be dropped), tests 20% each, final 30%.

Lecture Notes

Exercises