Status:
Published

Workload6 ECTS = 180 hrs

Credits, Weight6 ECTS, (n.s.)

Language of Instruction
German or English

Semester
(n.s.)

Duration1 Sem.

M/E
Elective

Courses

Course No. | Type | Name | MA/EL | Workload | Credits | Contact Hours | Selfstudy | Group Size |
---|---|---|---|---|---|---|---|---|

04IN2001-1 |
Lecture | Non-classical logics | EL | 4.5 ECTS = 135 hrs | - | 3 hrs/week = 45 hrs | 90 hrs | 30 |

04IN2001-2 |
Seminar/Exercise | Non-classical logics | EL | 1.5 ECTS = 45 hrs | 1.5 ECTS | 1 hrs/week = 15 hrs | 30 hrs | 30 |

Learning Outcomes

The students learn about the most important non-classical logics which are relevant for computer science. They learn how to use these logics for modeling and analyzing systems and also how to apply the deductive technics and calculi for automated reasoning in several classes of non-classical logics.

Content

(not specified)

- 04IN2001-1 - Non-classical logics
1. Introduction

- History of non-classical logic
- Recapitulation: classical logic.

2. Many-Valued Logics

- Finitely valued logics: definition, examples, calculi
- Fuzzy logics: definition, examples, calculi

3. Modal logics Introduction:

- Motivation, examples
- Syntax; Axiom systems, provability
- Semantics (Modal algebras, Kripke models)
- Correspondence theory
- Normal modal logics
- Decidability
- Description logics
- Modal predicate logic
- Calculi for modal logics

4. Dynamic logic Introduction:

- Motivation, examples
- Syntax; Axiom systems, provability
- Semantics (Kripke models)
- Propositional dynamic logic: Completeness, Decidability

5. Applications

- 04IN2001-2 - Non-classical logics
**04IN2001-2 Non-classical logics**In the exercises for the lecture "Non-classical logics" the material presented in the lectures is repeated in order to achieve a thorough understanding. Solutions to exercises related to the topics of the lectures are presented and discussed by the students.

Teaching Methods

Lecture with interactive elements.

Exercise: The students present the results of their work; Discussions.

Prerequisites

Basic knowledge of logic: Propositional logic and predicate logic as taught in the lecture "Logic for computer scientists".

The book of Uwe Schöning "Logik für Informatiker", 5. Auflage. Spektrum Akademischer Verlag, 2000 covers the prerequisites sufficiently.

Examination Methods

Oral or written exam, depending on the number of participants

Weight of the grade in the final grade for Lehramt Gymnasium: 5% corresponding to LP (6:120); for Lehramt Realschule: 10% corresponding to LP (6:60)

Credit Requirements

(not specified)

References

(not specified)

- 04IN2001-1 - Non-classical logics
Peter H. Schmitt. Nichtklassiche Logiken. Skriptum zur Vorlesung. Universität Karlsruhe, 200.

S. Gottwald. A Treatise on Many-Valued Logic. Research Studies Press, 2001.

M. Fitting. Basic modal logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 1: Logical Foundations. 368-448

F. Baader, D. Calvanese, D.McGuiness, D. Nardi, and P.Patel-Schneider.The Description Logic Handbook. Cambridge University Press, 2003.

D. Harel and D. Kozen and J. Tiuryn. Dynamic logic, MIT Press, 2000

E.A. Emerson. Temporal and modal logic. Handbook of Theoretical Computer Science, 1990.

Use of this Module

- unmodified as Elective - BSc Computer Science 2017 - Mandatory elective courses Computer Science - Non-classical logics
- unmodified as Elective - BSc Computational Visualistics 2017 - Mandatory elective courses Computer Science - Non-classical logics
- unmodified as Elective - BSc Computational Visualistics 2017 - Mandatory elective courses in Computational Visualistics or computer science - Non-classical logics
- unmodified as Elective - MSc Computer Science 2017 - Mandatory elective courses in mathematics and theoretical computer science - Non-classical logics
- unmodified as Elective - MSc Computer Science 2017 - Mandatory elective courses Computer Science - Non-classical logics
- unmodified as Elective - MSc Computer Science 2017 - Major subject computer science - Data and Knowledge Engineering - Non-classical logics
- unmodified as Elective - MSc Computational Visualistics 2017 - Mandatory elective courses Computer Science - Non-classical logics
- unmodified as Elective - MSc Computational Visualistics 2017 - Mandatory elective courses in Computational Visualistics or computer science - Non-classical logics
- unmodified as Elective - MSc Computational Visualistics 2017 - Mandatory elective courses in theoretical computer science and mathematics - Non-classical logics
- unmodified as Elective - MSc Computational Visualistics 2017 - Mandatory elective courses in theoretical computer science and mathematics or natural and social sciences - Non-classical logics
- unmodified as Elective - MSc Information Systems 2017 - Mandatory elective courses Application Systems in Business and Administration - Non-classical logics

Responsible / Organizational Unit

Sofronie-Stokkermans, Viorica / Institute for Computer Science

Additional Information

(not specified)

Last change

Apr 24, 2018
by
Frey, Johannes

Last Change Module

Sep 18, 2018
by
Frey, Johannes

MoMa - Module Manual - Version 1.14 - © 2018 Faculty 4: Computer Science - MoMa Team - Legal Notice