[ Lehrveranstaltungen 185/2 ]     [ AG Theoretische Informatik und Logik ]     [ Fachbereich Informatik ]     [ Technische Universität Wien ]

2.0 VU Nichtklassische Logiken (185.249, WS 2014/15)

(Nonclassical logics)

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 Fridays in October, November, December, and January.

    Lectures are currently planned for the following dates in winter term 14/15:
    Oct 10, Oct 17, Oct 24, Oct 31, Nov 7, Nov 14, Nov 28, Dec 5, Jan 9, Jan 16


    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

    We 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 ]