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.

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

Properties

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

Learning outcomes

After successful completion of the course, students are able to...

  1. write simple programs in the pure and monotonic subset of ISO Prolog with constraints,
  2. explain the basic readings and apply them onto actual programs, and
  3. relate declarative and procedural properties of a program, in particular w.r.t termination and non-termination.

Subject of course

...

Teaching methods

  • Lecture and discussions
  • Exercises
  • Solving exercises in a programming enviroment with the help of tas
  • Exercise interview

Mode of examination

Immanent

Additional information

Hybrid-Abhaltung:

  • Vorlesungstermine real, sowie zur Not als Screencast
  • Anmeldung real im Labor
  • Das Labor ist nur zu betreuten Zeiten mit begrenzter Teilnehmerzahl geöffnet
  • Nach den ersten zwei Beispielen im Labor können die restlichen ca. 80 Beispiele auch online gelöst werden
  • Abgabegespräch real im Labor
Die konkreten Anmeldungstermine und Laborzeiten finden sich auf der Homepage.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed15:00 - 16:0023.02.2022complang-Labor Sprechstunde
Wed15:00 - 16:0002.03.2022 - 29.06.2022complang-Labor Sprechstunde
Wed16:00 - 19:0002.03.2022 - 25.05.2022EI 2 Pichelmayer HS - ETIT Vorlesung
Wed17:00 - 19:0030.03.2022 - 06.04.2022EI 2 Pichelmayer HS - ETIT Vorlesung (Ausweichhs)
Wed16:00 - 19:0006.04.2022EI 4 Reithoffer HS Vorlesung (Ausweichhs)
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed23.02.202215:00 - 16:00complang-Labor Sprechstunde
Wed02.03.202215:00 - 16:00complang-Labor Sprechstunde
Wed02.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed09.03.202215:00 - 16:00complang-Labor Sprechstunde
Wed09.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed16.03.202215:00 - 16:00complang-Labor Sprechstunde
Wed16.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed23.03.202215:00 - 16:00complang-Labor Sprechstunde
Wed23.03.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed30.03.202215:00 - 16:00complang-Labor Sprechstunde
Wed30.03.202217:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung (Ausweichhs)
Wed06.04.202215:00 - 16:00complang-Labor Sprechstunde
Wed06.04.202216:00 - 19:00EI 4 Reithoffer HS Vorlesung (Ausweichhs)
Wed06.04.202217:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung (Ausweichhs)
Wed27.04.202215:00 - 16:00complang-Labor Sprechstunde
Wed27.04.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed04.05.202215:00 - 16:00complang-Labor Sprechstunde
Wed04.05.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed11.05.202215:00 - 16:00complang-Labor Sprechstunde
Wed11.05.202216:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Course is held blocked

Examination modalities

ECTS Breakdown: Lecture 2 ECTS, Exercise 4 ECTS (total of about 80 exercises with up to 100 points for each exercise)

Marking according to total points: >= 2900 4, >= 4500 3, >= 5500 2, >= 7000  + successful interview 1.

Group dates

GroupDayTimeDateLocationDescription
Betreute ZeitenThu15:00 - 19:0024.02.2022complang-Labor -
Betreute ZeitenThu15:00 - 19:0003.03.2022 - 30.06.2022complang-Labor -
Betreute Zeiten uWed15:00 - 18:0023.02.2022complang-Labor u
Betreute Zeiten uTue15:00 - 19:0001.03.2022 - 15.03.2022complang-Labor u
Betreute Zeiten uTue15:00 - 19:0028.06.2022complang-Labor u

Course registration

Begin End Deregistration end
23.02.2022 15:00 09.03.2022 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
Betreute Zeiten23.02.2022 15:00
Betreute Zeiten f23.02.2022 15:00
Betreute Zeiten u23.02.2022 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

Skriptum bei Anmeldung

Continuative courses

Miscellaneous

Language

German