621.316 (15S) Logic Programming

Sommersemester 2015

Registration deadline has expired.

First course session
04.03.2015 10:00 - 12:00 V.1.08 On Campus
... no further dates known

Overview

Lecturer
Course title german Logische Programmierung
Type Lecture - Colloquia (continuous assessment course )
Hours per Week 2.0
ECTS credits 4.0
Registrations 16 (25 max.)
Organisational unit
Language of instruction English
Course begins on 05.04.2015

Time and place

List of events is loading...

Course Information

Teaching methodology including the use of eLearning tools

Classroom instructions mixed with practical exercises. The teaching language is English or German depending on the preferences of the audience. The slides are in English.

Course content

The course covers Answer Set Programming (ASP) and Prolog, which are two popular logic programming languages.

Topics

  • Logic programming
  • Answer set programming
  • Prolog
  • Compinatorial optimizazion
  • Search

Teaching objective

The goal of the course is to present a variety of logic programming approaches that can be applied to solve hard problems.

Prior knowledge expected

Some basic understanding of propositional logic is required. The course will start with a delay sufficient for VK "Logik" to cover the basic requirements.

Literature

M. Gebser et al.: Answer set solving in practice. Morgan & Claypool, 2013 I. Bratko: Prolog programming for artificial intelligence. Addison-Wesley / Pearson, 2012.

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 lecture slides and practical exercises

Assessment criteria / Standards of assessment for examinations

Written and oral 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 UE / 4.0 ECTS)
        • 621.316 Logic Programming (2.0h VK / 4.0 ECTS)
          Absolvierung im 4. Semester empfohlen
  • Bachelorstudium Informatik (SKZ: 521, Version: 09W.3)
    • Subject: Softwareentwicklung (Compulsory subject)
      • Logik und logische Programmierung ( 2.0h PR / 3.0 ECTS)
        • 621.316 Logic Programming (2.0h VK / 4.0 ECTS)
  • Bachelor's degree programme Informatics (SKZ: 521, Version: 03W.1)
    • Subject: Softwareentwicklung (Compulsory subject)
      • Logik und logische Programmierung ( 1.0h PR / 2.0 ECTS)
        • 621.316 Logic Programming (2.0h VK / 4.0 ECTS)

Equivalent courses for counting the examination attempts

Sommersemester 2024
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Wintersemester 2023/24
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Sommersemester 2023
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Wintersemester 2022/23
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Sommersemester 2022
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Wintersemester 2021/22
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Sommersemester 2021
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Wintersemester 2020/21
  • 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
Sommersemester 2020
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Wintersemester 2019/20
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Sommersemester 2019
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Wintersemester 2018/19
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Sommersemester 2018
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Wintersemester 2017/18
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Sommersemester 2017
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
  • 621.316 VC Logische Programmierung (2.0h / 4.0ECTS)
Wintersemester 2016/17
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Sommersemester 2016
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Wintersemester 2015/16
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
Sommersemester 2015
  • 621.315 VK Logische Programmierung (2.0h / 4.0ECTS)