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.










    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