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.

2017S, 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:0001.03.2017 - 17.05.2017HS 17 Friedrich Hartmann - ARCH lecture
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed01.03.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed08.03.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed15.03.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed22.03.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed29.03.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed05.04.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed26.04.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed03.05.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed10.05.201716:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed17.05.201716: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.

 

Course registration

Begin End Deregistration end
23.02.2017 15:00 09.03.2017 15:00

Registration modalities

Persönliche Anmeldung im Labor, Argentinierstraße 8, EG - EAEG19. 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