http:^^www.cs.utexas.edu^users^vl^teaching^description388l.html

This data set contains WWW-pages collected from computer science departments of various universities

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

<title>Introduction to Mathematical Logic</title>

<h2>CS 388L, PHL 389: Introduction to Mathematical Logic (Fall 1997)</h2>

<i>Instructor:</i> Vladimir Lifschitz
   (<!WA0><a href="mailto:[e-mail]">[e-mail]</a>).<p>

<i>Text:</i> <!WA1><a href="http://www.cs.utexas.edu/users/vl/logic.ps">
             Problems and Theorems in Logic</a> by Vladimir Lifschitz.<p>

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.<p>

The course consists of three parts:

<ul>
<li>The axiomatic method.
<li>Propositional logic. 
<li>Predicate logic.
</ul>

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.<p>

<address><!WA2><a href="http://www.cs.utexas.edu/users/vl">Back
to Lifschitz's web page</a></address>