2.0 VU Nonclassical logics (185.A95, SS 2018)
(Nichtklassische Logiken)

Lecturer: Chris Fermüller.

This course will be held in English.

Contents:
  • New/recent information
  • Topic - contents of the course
  • Prerequisites
  • Meetings
  • Handouts
  • Hints for submitting exercises
  • Evaluation/credits
  • Further links

  • *** New/recent information ***


    Contents of the course (tentative)


    Prerequisites:

    Basic knowledge about classical propositional and first-order logic as covered, e.g., in "Theoretische Informatik und Logik".

    TEST YOURSELF whether you are fit for this course:
    You should be able to prove without handwaving (and preferably without consulting any book or notes) that (forall x) (exists y) P(x,y) is a logical consequence of (exists x) (forall y) P(y,x), and to (rigorously) show that the converse does not hold. In particular you should be able to present a formal definition of the (logical) consequence relation and of a (formal) model/interpretation of a classical first-order formula.


    Meetings

    The course will take place in slightly blocked form on 8 or 9 Mondays.


    Handouts

    Various course material - in particular copies of the lecture slides, including the homework problems ('exercises') - will be made available here (and/or in the lecture) to all participants.


    Hints for the preparation and submission of solutions to exercises

    I strongly recommend the use of LaTeX. Useful style files are available from Latex for Logicians.
    For drawing graphs and automata - and thus also Kripke models - the LaTeX package VauCanSon-G should be useful. More options for automata/graph drawing with LaTeX can be found at MET - Automata in LaTeX. Also the TeX/LaTeX extension PGF/TikZ is well worth exploring.

    Include the problem statement, its number (`Exercise X: ... ') and your name in the submitted solution files. Send corresponding (uncompressed) PDF files via email to Chris Fermüller using "NCL exercises" as subject line.


    Evaluation/credits

    The evaluation will be based on the amount and quality of submitted solutions to the exercises (as assigned during the course).


    Further links


    Send COMMENTS/REQUESTS to Chris Fermüller

    [ LVAs 185/2 | Abteilung 185/2 | Institut 185 | Informatik | TU Wien | Server home page ]