185.179 Logic-oriented Programming
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2011S, VL, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VL Lecture and Laboratory Exercise

Aim of course

Programming in the logic-oriented programming language Prolog

Subject of course

Declarative programming, declarative vs. procedural reading, termination, grammars, constraints

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed17:00 - 19:3002.03.2011 - 26.05.2011HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Logic-oriented Programming - Single appointments
DayDateTimeLocationDescription
Wed02.03.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed09.03.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed16.03.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed23.03.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed30.03.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed06.04.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed13.04.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed20.04.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed27.04.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed04.05.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed11.05.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed18.05.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Wed25.05.201117:00 - 19:30HS 17 Friedrich Hartmann - ARCH NEUMERKEL
Course is held blocked

Course registration

Registration modalities

Laborraum Argentinierstraße 8, Erdgeschoß Ort: persönlich, bereits ab 24.Feber

Curricula

Literature

Lecture notes for this course are available. bei Anmeldung

Previous knowledge

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.

Miscellaneous

Language

German