621.310 (17W) Logik
Überblick
- Lehrende/r
- LV-Titel englisch Logic
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 37 (25 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- mögliche Sprache/n der Leistungserbringung Deutsch , Englisch
- LV-Beginn 03.10.2017
- eLearning zum Moodle-Kurs
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
Students should get to know different formal logical languages for knowledge representation, their syntax, semantics and expressivity. Further, students should realize how machines can use these languages for automatic reasoning (e.g. query answering) and get a feeling for the tradeoff between computational complexity and expressivity of these languages. After this course, students should be able to express knowledge in terms of the discussed languages and be able to apply various inference algorithms.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Lecture mixed with practical home and in-class exercises. Slides will be in English. Teaching language will be German unless there are non-German-speaking participants, otherwise English.
eLearning
Moodle
Inhalt/e
The course covers Propositional Logic and First-order Predicate Logic, two basic and popular logical knowledge representation languages that can be employed to implement intelligent applications where the machine is able to automatically answer queries or derive new knowledge based on a given knowledge base.
Topics
- Propositional Logic
- Inference in Propositional Logic
- First-order Predicate Logic
- Inference in First-order Predicate Logic
Literatur
Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press Inc. 1973
Stuart Russell and Peter Norvig. Artificial Intelligence: A modern approach. Prentice Hall, 2009
Shawn Hedman. A First Course in Logic. Oxford University Press. 2004
Martin Kreuzer and Stefan Kühling. Logik für Informatiker. Pearson Studium. 2006
John Kelly. The Essence of Logic. Prentice Hall. 2006
Prüfungsinformationen
Prüfungsmethode/n
written examinations (60%) + homework exercises (40%) + collaboration points (bonus)
Prüfungsinhalt/e
Theoretical and practical topics discussed during the course.
Beurteilungskriterien/-maßstäbe
Will be published in Moodle at the beginning of the semester.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 17W.1)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
-
2.5 Logik (
2.0h VC / 2.0 ECTS)
- 621.310 Logik (2.0h VC / 2.0 ECTS) Absolvierung im 4. Semester empfohlen
-
2.5 Logik (
2.0h VC / 2.0 ECTS)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.310 Logik (2.0h VC / 2.0 ECTS) Absolvierung im 4. Semester empfohlen
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Fach: Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.310 Logik (2.0h VC / 2.0 ECTS)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Informatik
(SKZ: 521, Version: 03W.1)
-
Fach: Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.310 Logik (2.0h VC / 2.0 ECTS)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Pflichtfach)
- Erweiterungscurriculum Grundlagen der Informatik
(Version: 16W.1)
-
Fach: Erweiterung Wissensverarbeitung
(Wahlfach)
-
Logik und logische Programmierung (
0.0h VO / 2.0 ECTS)
- 621.310 Logik (2.0h VC / 2.0 ECTS)
-
Logik und logische Programmierung (
0.0h VO / 2.0 ECTS)
-
Fach: Erweiterung Wissensverarbeitung
(Wahlfach)
- Erweiterungscurriculum Vertiefung der Informatik
(Version: 16W.1)
-
Fach: Wissensverarbeitung
(Wahlfach)
-
Logik und logische Programmierung (
0.0h VO / 2.0 ECTS)
- 621.310 Logik (2.0h VC / 2.0 ECTS)
-
Logik und logische Programmierung (
0.0h VO / 2.0 ECTS)
-
Fach: Wissensverarbeitung
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
- Sommersemester 2024
-
Wintersemester 2023/24
- 621.310 VC Logik (2.0h / 3.0ECTS)
- Sommersemester 2023
-
Wintersemester 2022/23
- 621.310 VC Logik (2.0h / 3.0ECTS)
- Sommersemester 2022
-
Wintersemester 2021/22
- 621.310 VC Logik (2.0h / 3.0ECTS)
-
Sommersemester 2021
- 621.310 VC Logik (2.0h / 3.0ECTS)
-
Wintersemester 2020/21
- 621.310 VC Logik (2.0h / 3.0ECTS)
- Sommersemester 2020
-
Wintersemester 2019/20
- 621.310 VC Logik (2.0h / 2.0ECTS)
- Sommersemester 2019
-
Wintersemester 2018/19
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2018
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2017
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2016
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 621.310 VC Logik (2.0h / 2.0ECTS)
- Sommersemester 2015