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.

2019S, 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:0006.03.2019 - 29.05.2019HS 17 Friedrich Hartmann - ARCH lecture
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed06.03.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed13.03.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed20.03.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed27.03.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed03.04.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed10.04.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed08.05.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed15.05.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed22.05.201916:00 - 19:00HS 17 Friedrich Hartmann - ARCH lecture
Wed29.05.201916: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.

 

Group dates

GroupDayTimeDateLocationDescription
AnmeldungWed15:00 - 16:0027.02.2019complang-Labor Erster Anmeldungstermin
AnmeldungWed19:00 - 20:0006.03.2019complang-Labor -
AnmeldungThu15:00 - 16:0007.03.2019complang-Labor -
AnmeldungWed19:00 - 20:0013.03.2019complang-Labor -
AnmeldungThu07:00 - 08:0006.06.2019complang-Labor -
Betreute ZeitenThu14:00 - 19:0007.03.2019 - 13.06.2019complang-Labor -
Betreute ZeitenMon15:00 - 18:0011.03.2019 - 25.03.2019complang-Labor f
Betreute ZeitenMon18:00 - 19:0011.03.2019complang-Labor f
Betreute ZeitenTue14:00 - 19:0012.03.2019 - 14.05.2019complang-Labor -
Betreute ZeitenFri15:00 - 18:0015.03.2019 - 22.03.2019complang-Labor f
Betreute ZeitenMon15:00 - 18:0001.04.2019 - 08.04.2019complang-Labor f
Betreute ZeitenFri15:00 - 18:0005.04.2019complang-Labor f
Betreute ZeitenThu14:00 - 19:0004.07.2019complang-Labor -
SprechstundeWed15:00 - 16:0013.03.2019 - 26.06.2019complang-Labor -

Course registration

Begin End Deregistration end
27.02.2019 15:00 13.03.2019 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!

Group Registration

GroupRegistration FromTo
Anmeldung27.02.2019 15:00
Betreute Zeiten07.03.2019 14:00
Sprechstunde13.03.2019 15:00

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