Lab for Automated Reasoning and Analysis LARA

Lecture 1

This is introductory lecture to sav07.

Here are the slides for Lecture 1.

A good background reading for this course are some parts of Gallier Logic Book although we will review some of them.

Over of the material

Describe here what we do in which lecture.

 
sav07_lecture_1.txt · Last modified: 2007/06/03 12:14 by vkuncak