[uplug-news] Vortrag: Antwortmengenprogrammierung - Wie man Sudokus in 5 Zeilen löst

[v4hn]

Die Potsdamer Linux User Group lädt ein:

Vortrag: Antwortmengenprogrammierung - Wie man Sudokus in 5 Zeilen löst

Zum Lösen von Puzzles oder Planungsproblemen mit Hilfe von Computern
werden in der Praxis oft Algorithmen eingesetzt, die nicht selten schwerer
zu verstehen sind, als die Probleme, die gelöst werden sollen.
Hier kann Antwortmengenprogrammierung eine Alternative bieten,
indem man nur noch das eigentliche Problem modelliert
und die Lösung vollständig dem Computer überlässt.

Am Beispiel der in Potsdam entwickelten Potassco-Suite
(u.A. bestehend aus gringo und clasp) wird in die wunderbare Welt
deklarativer Programmierung mittels ASP(Antwortmengenprogrammierung)
eingeführt. Wir betrachten hierfür die grundsätzliche Funktionsweise
der Programme und werden eine Reihe kleinerer Probleme modellieren
und lösen.

Wer sich vorab informieren möchte, der kann das unter
http://potassco.sf.net/ tun.


Termin: So, 03.07.2011, 18:30 Uhr

Referent: Michael Görner

Ort: Seminarraum im Studentischen Kulturzentrum (Kuze),

Hermann-Elflein-Straße 10, 14467 Potsdam

Kuze: http://www.kuze-potsdam.de/

Anfahrt: http://www.uplug.de/lageplan_kuze.php

Der Eintritt ist frei, eine Anmeldung ist nicht erforderlich.
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : nicht verfügbar
Dateityp    : application/pgp-signature
Dateigröße  : 198 bytes
Beschreibung: nicht verfügbar
URL         : <http://lists.astaup.de/pipermail/uplug-news/attachments/20110627/71f02373/attachment.sig>