Join theBlue Ribbon Anti-Censorship Campaign!
This page is subject to change. Keep on eye on this
page for the latest developments in the course!
Currently, some of the things on these pages are not updated. In particular, this concerns some lecture notes, lab descriptions and excersices.
For a
preview of the books take a look at
CSLI's logic software site.
The book purchase is obligatory since the software you will be using in the
labs comes with the books.
The course consists of two parts, discrete mathematics and logic. Each part consists of a series of
modules. For more details, click on Part I: or Part II: below:
Successful completion of the course is defined as attendence at most of the seminars, labs and
lectures, and completion of the labs and take-home exercises within the deadlines specified.
Failure to meet these requirements may result in extra requirements such as an oral examination.
For VG: All logic labs and exercises must be handed in by the deadlines. At least 6 out of the 8 must be VG on the
first try, the other G. The DM must be handed in by (TO BE DETERMINED) with a G.
For G: All logic labs and the DM lab must be handed in by (TO BE DETERMINED). All labs must be returned
with at least a G.
- For information about the course books you are using, you can take a look
at the CSLI logic software
site.
- For those of you using the PC version of Tarski's world, you can fetch the exercise files
in the directory pc-exercises
Just press the button on your keyboard and click on "pc-exercises". A file dialog
should then pop up.
- The Visual Inference Laboratory
at Indiana University is run by Jon Barwise, one of the co-authors of
your course books. His group is doing innovative research in the area of
visual inference. Your books are part of the experiment.
- The DLS
algorithm is an on-line algorithm for reducing second-order formulas
to logically equivalent first-order formulas.
- Tired of logic? Visit the Internet
Underground Music Archives, where the future sounds better than ever
and there are no quantifiers in sight!
Lars Karlsson
(Course Leader)
Department of Computer and Information Science
University of Linköping
S-581 83
Linköping, SWEDEN
Phone: +46 13 28 24 28
Telefax: +46 13 28 26
06
Room: G A1.287
email: larka@ida.liu.se
Marcus
Bjäreland (Course Assistant)
Department of Computer and Information Science
University of Linköping
S-581 83
Linköping, SWEDEN
Phone: +46 13 28 19 95
Telefax: +46 13 28 26
06
Room: G A1.281
email: marbj@ida.liu.se
Lena Wigh (Course Administrator)
Department of Computer and Information Science
University of Linköping
S-581 83
Linköping, SWEDEN
Phone: +46 13 28 17 56
Room: E 1tr F 490
email: lenwi@ida.liu.se
6-Mar-96 08:30