185.A12 Logic programming and constraints
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2016S, VU, 4.0h, 6.0EC, to be held in blocked form

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise

Aim of course

This module ...

Subject of course

...

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed16:00 - 19:0002.03.2016 - 25.05.2016HS 17 Friedrich Hartmann - ARCH lecture
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed02.03.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed09.03.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed16.03.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed06.04.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed13.04.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed20.04.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed27.04.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed04.05.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed11.05.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed18.05.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed25.05.201616:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Course is held blocked

Examination modalities

Didaktische Vorgangsweise: Das Programmierparadigma der logikorientierten Programmierung wird anhand der Programmiersprache Prolog mit vielen kleinen Beispielen erarbeitet. Die (leicht individualisierten) Beispiele werden in einer speziellen Übungsumgebung gelöst (GUPU), die nicht nur diverse Hilfestellungen zum Programmieren und Verständnis bietet - etwa Fehlerdiagnosen, sondern auch eine (sehr aussagekräftige) Vorbeurteilung erzeugt. Zudem gibt es in der Mitte der LVA ein mündliches Abgabegespräch.

Aufwand (ECTS-Breakdown): Vorlesungsteil 2 ECTS, Übungsteil 4 ECTS.

Notenschlüssel: Ab 2900 G4, ab 4500 B3, ab 5500 U2, ab 7000 + erfolgreiches Abgabegespräch S1.

 

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue15:00 - 19:0005.11.2024complang-Labor oral28.10.2024 08:00 - 03.11.2024 23:59on institute(Freiwilliges) Abgabegespräch - Anmeldung in GUPU nur mit den ersten 29 Beispielen fehlerfrei
Thu09:00 - 13:0017.04.2025complang-Labor oral19.03.2025 19:00 - 23.03.2025 23:59on instituteFreiwilliges Abgabegespräch, Anmeldung in GUPU nur mit den ersten 29 Beispielen fehlerfrei

Course registration

Begin End Deregistration end
25.02.2016 14:00 10.03.2016 14:00

Registration modalities

Persönliche Anmeldung im Labor, Argentinierstraße 8, EG. Erste Anmeldung schon im Feber.

Sämtliche Anmeldungstermine finden sich auf der HP der LVA!

Curricula

Study CodeObligationSemesterPrecon.Info
033 533 Medical Informatics Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
860 GW Optional Courses - Technical Mathematics Not specifiedSTEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Continuative courses

Miscellaneous

Language

German