CS 313K: Logic, Sets and Functions
CS 313K: Logic, Sets and Functions, Fall 2010
Homepage:
http://www.cs.utexas.edu/users/vl/teaching/313K.html
Time and Place: TTh 11-12:30,
CPE 2.204
Discussion Section 52350: W 9-10,
JES A305A.
Discussion Section 52355: W 11-12,
RLM 5.120.
Discussion Section 52360: W 12-1,
JES A307A.
Prerequisite: Credit or registration for Mathematics 408C or 408K
Instructor:
Vladimir Lifschitz
(vl@cs.utexas.edu)
Office Hours: TTh 2-3 and by appointment,
MAI 2010.
TA: Arun Nedunchezhian (arunn3.14@gmail.com)
Office Hours: M 5:30-6:30, F 4:30-5:30 and by appointment,
PAI 5.38.
Proctor: Tanmaya Godbole
(tgodbole@gmail.com)
Course Description
This is a mathematically oriented course. It will introduce you to methods of
reasoning that play an important role in computer science.
You will learn to use these methods by doing
homework problems, presenting your solutions in class at the board, and
discussing solutions found by others. (This is known as the Moore method.)
There will be no textbook; the necessary notation and the statements of
problems will be provided in a series of handouts:
It is important that you make an effort to attend every single class meeting
and that you spend your time in class
listening critically to your fellow students and thinking about their
proposed solutions, rather than just recording what is being said.
Since all homework problems are going to be discussed in class, you are not
expected to submit your homework for grading. Some of the problems are
difficult, but you should make a serious effort to solve each of them. Try
to figure out solutions by yourself or in collaboration with other students,
but not by asking someone who already knows the answers, and not by
reading books or consulting the Internet.
Three exams will be given on September 23, October 26, and December 2
during regular class time. They will be cumulative,
more heavily weighted towards the material which has not yet been tested.
Quizzes will be given almost every week in discussion sections; the lowest
quiz score will be dropped.
During exams and quizzes, you may refer to class handouts and to your
notes, but you should not use any books or Internet materials, nor any notes
written by others. If we have made a mistake in
grading your work then you should send the TA an e-mail message describing
the problem within a week after we return the graded work to the class.
To get credit for class participation, you should present a solution to at
least one problem during the semester. That must be a homework problem that
you solved by yourself, without help from others.
There will be no final. Your grade will be determined by the three exams
(25% each), the quizzes (20%), and class participation (5%).