621.310 (16S) Logic
Overview
- Lecturer
- Course title german Logik
- Type Lecture - Course (continuous assessment course )
- Hours per Week 2.0
- ECTS credits 2.0
- Registrations 36 (25 max.)
- Organisational unit
- Language of instruction German
- Course begins on 01.03.2016
Time and place
List of events is loading...
Course Information
Teaching methodology including the use of eLearning tools
Lecture mixed with practical exercises. Slides will be in English. Teaching language will be German unless there are non-German-speaking participants, otherwise English.Course content
The course covers Propositional Logic and First-order Predicate Logic, two 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
Other materials
MoodleLiterature
Stuart Russell and Peter Norvig. Artificial Intelligence: A modern approach. Prentice Hall, 2009 Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press Inc. 1973 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. 2006Examination information
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Examination topic(s)
Topics covered in the course.Assessment criteria / Standards of assessment for examinations
Written examination.Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Principles of Software Development
(Compulsory subject)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.310 Logic (2.0h VC / 2.0 ECTS) Absolvierung im 4. Semester empfohlen
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Subject: Principles of Software Development
(Compulsory subject)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Subject: Softwareentwicklung
(Compulsory subject)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.310 Logic (2.0h VC / 2.0 ECTS)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Subject: Softwareentwicklung
(Compulsory subject)
- Bachelor's degree programme Informatics
(SKZ: 521, Version: 03W.1)
-
Subject: Softwareentwicklung
(Compulsory subject)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.310 Logic (2.0h VC / 2.0 ECTS)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Subject: Softwareentwicklung
(Compulsory subject)
Equivalent courses for counting the examination attempts
- 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)
-
Wintersemester 2017/18
- 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)
-
Wintersemester 2015/16
- 621.310 VC Logik (2.0h / 2.0ECTS)
- Sommersemester 2015