Main topics: logical notation and proof methods; induction and recursion; sets, functions, and relations; graphs; the growth of functions; annotated programs and loop invariants.
Homepage: http://www.cs.utexas.edu/users/vl/teaching/313K/.
Time and Place: TTh 12:30-2, PAI 3.02; Discussion sections: F 8-4.
Prerequisite: Credit or registration for Mathematics 408C, 408K, or 408N.
Instructor: Vladimir Lifschitz (vl@cs.utexas.edu).
Office Hours: W 2-3:30 and by appointment, GDC 3.808.
Teaching Assistants, Proctors, and Their Office Hours:
Textbook: Rosen's Discrete Mathematics and Its Applications, 7th edition.
Homework problems will be posted online on Tuesdays and Fridays. You may work in groups, but you must write up the solutions yourself. The homework assigned on Tuesday must be handed in on Friday, at the beginning of the discussion section. The homework assigned on Friday must be handed in on the following Tuesday, at the beginning of class.
Tests. Three tests will be given during regular class meetings on or around February 7, March 7 and April 18. There will be a comprehensive final on May 11, 7-10pm, in GDC 2.216. During tests you may use 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%, tests 20% each, final 30%.
Ruohan: M 1-4pm
Ying-Yu: Tu 11:30-1pm
Daniel: W 11-1pm
Vladimir: W 3-4pm
Xiaolong: Th 10-11:30 am
Zeyuan: F 1-3pm