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.

2022W, 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:0021.09.2022 - 28.09.2022complang-Labor Sprechstunde
Wed12:00 - 14:0005.10.2022 - 14.12.2022EI 2 Pichelmayer HS - ETIT ...
Wed14:00 - 15:0005.10.2022 - 18.01.2023complang-Labor Sprechstunde
Wed15:00 - 16:0025.01.2023complang-Labor Sprechstunde
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed21.09.202215:00 - 16:00complang-Labor Sprechstunde
Wed28.09.202215:00 - 16:00complang-Labor Sprechstunde
Wed05.10.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed05.10.202214:00 - 15:00complang-Labor Sprechstunde
Wed12.10.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed12.10.202214:00 - 15:00complang-Labor Sprechstunde
Wed19.10.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed19.10.202214:00 - 15:00complang-Labor Sprechstunde
Wed09.11.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed16.11.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed16.11.202214:00 - 15:00complang-Labor Sprechstunde
Wed23.11.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed23.11.202214:00 - 15:00complang-Labor Sprechstunde
Wed30.11.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed30.11.202214:00 - 15:00complang-Labor Sprechstunde
Wed07.12.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed07.12.202214:00 - 15:00complang-Labor Sprechstunde
Wed14.12.202212:00 - 14:00EI 2 Pichelmayer HS - ETIT ...
Wed14.12.202214:00 - 15:00complang-Labor Sprechstunde
Wed21.12.202214:00 - 15: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.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Wed09:00 - 13:0029.03.2023complang-Labor oral27.03.2023 09:00 - 01.04.2023 00:00on instituteFreiwilliges Abgabegespräch, Anmeldung in GUPU
Tue09:00 - 13:0004.04.2023complang-Labor oral27.03.2023 09:00 - 01.04.2023 00:00on instituteFreiwilliges Abgabegespräch, Anmeldung in GUPU

Group dates

GroupDayTimeDateLocationDescription
Betreute ZeitenTue15:00 - 19:0004.10.2022 - 17.01.2023complang-Labor -
Betreute ZeitenThu15:00 - 19:0006.10.2022 - 26.01.2023complang-Labor -
Betreute ZeitenTue15:00 - 19:0024.01.2023complang-Labor 185.A12 Logic programming and constraints Betreute Zeiten
Betreute Zeiten uWed15:00 - 18:0014.09.2022 - 21.09.2022complang-Labor -
Betreute Zeiten uWed15:00 - 18:0005.10.2022 - 18.01.2023complang-Labor -

Course registration

Begin End Deregistration end
21.09.2022 15:00 13.10.2022 15:00

Registration modalities

Persönliche Anmeldung im Labor EAEG19, Argentinierstraße 8, EG.

Erste Anmeldung schon im September. Details siehe Homepage.

Group Registration

GroupRegistration FromTo
Betreute Zeiten06.10.2022 15:00
Betreute Zeiten f04.10.2022 15:00
Betreute Zeiten u21.09.2022 15:00

Curricula

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

Literature

Skriptum

Continuative courses

Miscellaneous

Language

German