621.311 (15S) Logic

Sommersemester 2015

Registration deadline has expired.

First course session
02.03.2015 14:00 - 16:00 S.1.42 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 21 (25 max.)
Organisational unit
Language of instruction German
Course begins on 09.03.2015

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.

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

Literature

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

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)

Topics covered in the course.

Assessment criteria / Standards of assessment for examinations

Written examination.

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.311 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.311 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.311 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.310 VK Logik (2.0h / 2.0ECTS)