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.

2020W, VU, 4.0h, 6.0EC, to be held in blocked form
TUWEL

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:0016.09.2020 - 23.09.2020complang-Labor Sprechstunde
Thu15:00 - 16:0001.10.2020complang-Labor -
Wed15:00 - 16:0007.10.2020 - 20.01.2021complang-Labor Sprechstunde
Wed16:00 - 19:0007.10.2020 - 16.12.2020 ...
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed16.09.202015:00 - 16:00complang-Labor Sprechstunde
Wed23.09.202015:00 - 16:00complang-Labor Sprechstunde
Thu01.10.202015:00 - 16:00complang-Labor -
Wed07.10.202015:00 - 16:00complang-Labor Sprechstunde
Wed07.10.202016:00 - 19:00 ...
Wed14.10.202015:00 - 16:00complang-Labor Sprechstunde
Wed14.10.202016:00 - 19:00 ...
Wed21.10.202015:00 - 16:00complang-Labor Sprechstunde
Wed21.10.202016:00 - 19:00 ...
Wed28.10.202015:00 - 16:00complang-Labor Sprechstunde
Wed28.10.202016:00 - 19:00 ...
Wed04.11.202015:00 - 16:00complang-Labor Sprechstunde
Wed04.11.202016:00 - 19:00 ...
Wed11.11.202015:00 - 16:00complang-Labor Sprechstunde
Wed11.11.202016:00 - 19:00 ...
Wed18.11.202015:00 - 16:00complang-Labor Sprechstunde
Wed18.11.202016:00 - 19:00 ...
Wed25.11.202015:00 - 16:00complang-Labor Sprechstunde
Wed25.11.202016:00 - 19:00 ...
Wed02.12.202015: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.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue15:00 - 19:0009.11.2021complang-Labor oral01.11.2021 08:00 - 08.11.2021 23:59on institute(Freiwilliges) Abgabegespräch - Anmeldung in EAEG19
Thu15:00 - 19:0011.11.2021complang-Labor oral01.11.2021 08:00 - 08.11.2021 23:59on institute(Freiwilliges) Abgabegespräch - Anmeldung in EAEG19

Group dates

GroupDayTimeDateLocationDescription
Betreute ZeitenThu15:00 - 19:0024.09.2020complang-Labor -
Betreute ZeitenThu15:00 - 19:0001.10.2020 - 21.01.2021complang-Labor -
Betreute ZeitenTue15:00 - 19:0006.10.2020 - 19.01.2021complang-Labor -
Betreute Zeiten uWed15:00 - 18:0016.09.2020 - 23.09.2020complang-Labor -
Betreute Zeiten uWed15:00 - 18:0007.10.2020 - 20.01.2021complang-Labor -

Course registration

Begin End Deregistration end
23.09.2020 15:00 15.10.2020 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 Zeiten01.10.2020 15:00
Betreute Zeiten f06.10.2020 15:00
Betreute Zeiten u23.09.2020 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