Join theBlue Ribbon Anti-Censorship Campaign!
This page is under construction and subject to change. Keep on eye on this
page for the latest developments in the course!
- Module eight has been updated! Please take a look!
- Seminar 14, Tis. 13-15, week 17, Module 7 is cancelled!. I will reschedule it
for sometime in week 18.
- 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.
- There has been a slight misunderstanding regarding due dates for labs. The dates
in the lab descriptions are correct. You generally hand the labs in the first monday
after your thursday and friday sessions.
- The books are now in Linköping!
They may be
purchased at Sahlström's Bokhandel in Linköping.; 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.
- It is advisable to hand in the discrete mathematics exercises before the
logic section of the course begins. You probably will not have time to do
them during the logic section.
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 must be handed in by the dealines. At least 5 out of the 6 must be VG on the
first try, the other G. The DM must be handed in by May 19 with a G.
For G: All logic labs and the DM lab must be handed in by May 19. 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!
Patrick
Doherty (Course Leader)
Department of Computer and Information Science
University of Linköping
S-581 83
Linköping, SWEDEN
Phone: +46 13 28 24 26
Telefax: +46 13 28 26
06
Room: FOA A1.291
email: patdo@ida.liu.se
Lars
Karlsson (Course Assistant)
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: FOA 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: FOA 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