CS 313K: Logic, Sets and Functions
CS 313K: Logic, Sets and Functions, Fall 2008
Time and Place: TTh 11-12:30,
PAI 3.14
Instructor:
Vladimir Lifschitz
(vl@cs.utexas.edu)
This mathematically oriented course 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.)
Although some of the problems are
difficult, 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.
There will be no textbook; the necessary
notation and the statements of problems will be provided in a series of
handouts.
Do your best to attend every single class meeting. It is important 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.