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.

2021S, 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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed15:00 - 16:0024.02.2021complang-Labor Sprechstunde
Wed15:00 - 16:0003.03.2021 - 30.06.2021complang-Labor Sprechstunde
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed24.02.202115:00 - 16:00complang-Labor Sprechstunde
Wed03.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed10.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed17.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed24.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed14.04.202115:00 - 16:00complang-Labor Sprechstunde
Wed21.04.202115:00 - 16:00complang-Labor Sprechstunde
Wed28.04.202115:00 - 16:00complang-Labor Sprechstunde
Wed12.05.202115:00 - 16:00complang-Labor Sprechstunde
Wed19.05.202115:00 - 16:00complang-Labor Sprechstunde
Wed26.05.202115:00 - 16:00complang-Labor Sprechstunde
Wed09.06.202115:00 - 16:00complang-Labor Sprechstunde
Wed16.06.202115:00 - 16:00complang-Labor Sprechstunde
Wed23.06.202115:00 - 16:00complang-Labor Sprechstunde
Wed30.06.202115:00 - 16:00complang-Labor Sprechstunde
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 ZeitenTue15:00 - 19:0002.03.2021 - 22.06.2021complang-Labor -
Betreute ZeitenThu15:00 - 19:0004.03.2021 - 24.06.2021complang-Labor -
Betreute Zeiten uWed15:00 - 18:0024.02.2021complang-Labor u
Betreute Zeiten uWed15:00 - 18:0003.03.2021 - 23.06.2021complang-Labor u

Course registration

Begin End Deregistration end
24.02.2021 15:00 10.03.2021 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 Zeiten04.03.2021 15:00
Betreute Zeiten f24.02.2021 15:00
Betreute Zeiten u24.02.2021 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