MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 06-Jan-97 21:13:24 GMT Content-Type: text/html Content-Length: 1231 Last-Modified: Monday, 16-Dec-96 21:43:06 GMT Introduction to Mathematical Logic

CS 388L, PHL 389: Introduction to Mathematical Logic (Fall 1997)

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

Text: Problems and Theorems in Logic by Vladimir Lifschitz.

This course is an elementary but mathematically solid introduction to logic. Students will learn logic mainly by doing homework problems, by presenting their solutions in class, and by studying the solutions presented by others. They are expected to make a serious effort to solve every problem in the text and to attend every class meeting.

The course consists of three parts:

Each part will be followed by a test. The grade will be determined by the results of the tests (30% each) and by class participation (10%). To get full credit for class participation, a student will need to present at least one correct solution in each of the three parts of the course.

Back to Lifschitz's web page