621.310 (15S) Logic

Sommersemester 2015

Registration deadline has expired.

First course session
03.03.2015 14:00 - 15:30 HS 2 On Campus
... no further dates known

Overview

Lecturer
Course title german Logik
Type Lecture - Colloquia (continuous assessment course )
Hours per Week 2.0
ECTS credits 2.0
Registrations 27 (25 max.)
Organisational unit
Language of instruction German
Course begins on 10.03.2015

Time and place

List of events is loading...

Course Information

Course content

Einführung in Wissensrepräsentation und Deduktion Diese Lehrveranstaltung entspricht der VO Logik und logische Programmierung im SS 14. Der Block Logik und logische Programmierung (2 VO + 2UE) wird im Sommersemester 2015 in Form von zwei VKs (jeweils 2 SWS) angeboten. Ziel ist, die Prüfungsaktivität durch bessere Interaktion mit den Studierenden, bessere Verbindung von VO- und UE-Inhalten und durch gesteigerte Anwesenheit in den Lehrveranstaltungen. Zudem soll die Lehrveranstaltung dadurch früher und mit besserem Ergebnis abgeschlossen werden. Dabei ist folgende Zuordnung vorgesehen: • VK „Logik“ → VO „Logik und logische Programmierung” • VK “Logische Programmierung” → UE „Logik und logische Programmierung” In dem der VO zugeordneten VK (621.310 „Logik“) besteht KEINE Anwesenheitspflicht, die „klassische“ Vorlesungsprüfung wird weiterhin angeboten. Zu dieser Prüfung können alle Studierenden ohne weitere Voraussetzungen zu den angebotenen Prüfungsterminen antreten. Bei Präsenz in der Lehrveranstaltung besteht allerdings die Möglichkeit einer zweigeteilten Prüfung (d.h. Zwischen- und Endklausur)

Topics

  • Aussagenlogik
  • - Syntax, modelltheoretische Semantik und Folgerungsbegriff
  • - Erfüllbarkeit
  • - Definition von modelltheoretischer Äquivalenz und Allgemeingültigkeit
  • - Ableitungsoperator, Begriff der Vollständigkeit und Korrektheit
  • - maschinelle Beweismethoden, Model-checking (DPLL und WalkSAT), Resolution, Forward- und Backward-chaining
  • Einführung in die Prädikatenlogik 1. Stufe (PL1)
  • - Syntax und Semantik, Modellbegriff
  • - Knowledge Engineering Prozess
  • - Ableitungen in PL1
  • - Reduktion auf Aussagenlogik
  • - Forward- und Backward-chaining in definiten Klausen, Eigenschaften
  • - Resolution, Faktorisierung, Herbrandbasis, -interpretation und –modell
  • - Korrektheit und Widerspruchsvollständigkeit

Teaching objective

Beherrschung der Grundprinzipe der logikbasierten Wissensrepräsentation und Verarbeitung. Die Studierenden erhalten in dieser Lehrveranstaltung das notwendige Wissen, um zu verstehen, wie Wissensrepräsentation und Verarbeitung mit Hilfe von Aussagenlogik und Prädikatenlogik durchgeführt wird. Es werden die grundlegenden maschinellen Schlussfolgerungsmethoden und deren Eigenschaften sowie Grenzen vorgestellt. Die Studierenden besitzen nach dieser Lehrveranstaltung Wissen über die wichtigsten Ansätze im Bereich des Logic Programming.

Prior knowledge expected

Lineare Algebra und Diskrete Mathematik Einführung in die Programmierung Datenbanken Algorithmen und Datenstrukturen

Literature

Pflichtlektüre: Stuart Russell and Peter Norvig: Artificial Intelligence, A modern approach Prentice Hall, 2003, Part III, Knowledge and reasoning (Kap. 7-9) C.-L. Chang and R. C.-T. Lee: Symbolic Logic and Mechanical Theorem Proving Academic Press, 1973 Zusatzlektüre: John Kelly: The Essence of Logic, Pearson Education, 1997 Ivan Bratko: Prolog Programming for Artificial Intelligence Addison Wesley, 1990 Martin Kreuzer und Stefan Kühling: Logik für Informatiker, Pearson Studium, 2006

Examination 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)

Vollständiger Stoffumfang

Assessment criteria / Standards of assessment for examinations

Zwischen- und Endklausur

Grading scheme

Grade / Grade grading scheme

Position 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 VK / 2.0 ECTS)
          Absolvierung im 4. Semester empfohlen
  • 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 VK / 2.0 ECTS)
  • 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 VK / 2.0 ECTS)

Equivalent courses for counting the examination attempts

Sommersemester 2024
  • 621.310 VC Logik, Gruppe A (2.0h / 3.0ECTS)
  • 621.311 VC Logik, Gruppe B (2.0h / 3.0ECTS)
Wintersemester 2023/24
  • 621.310 VC Logik (2.0h / 3.0ECTS)
Sommersemester 2023
  • 621.310 VC Logik, Gruppe A (2.0h / 3.0ECTS)
  • 621.311 VC Logik, Gruppe B (2.0h / 3.0ECTS)
  • 621.312 VC Logik, Gruppe C (2.0h / 3.0ECTS)
Wintersemester 2022/23
  • 621.310 VC Logik (2.0h / 3.0ECTS)
Sommersemester 2022
  • 621.310 VC Logik, Gruppe A (2.0h / 3.0ECTS)
  • 621.311 VC Logik, Gruppe B (2.0h / 3.0ECTS)
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
  • 621.310 VC Logik (2.0h / 2.0ECTS)
  • 621.311 VC Logik (Parallelgruppe) (2.0h / 2.0ECTS)
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)
Sommersemester 2016
  • 621.310 VC Logik (2.0h / 2.0ECTS)
Wintersemester 2015/16
  • 621.310 VC Logik (2.0h / 2.0ECTS)
Sommersemester 2015
  • 621.311 VK Logik (2.0h / 2.0ECTS)