Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, Methoden der komputationalen Logik auf konkrete Problemstellungen anzuwenden. Sie können das Problem analysieren, formalisieren und geeignete Methoden zu seiner Lösung auswählen.

Die im Projekt zu bearbeitende Aufgabe wird abhängig von den Interessen der Studierenden individuell mit diesen vereinbart. In der Regel orientieren sich die zur Auswahl stehenden Themen an den Forschungsgebieten der Gruppe.

Die Studierenden suchen relevante Literatur, untersuchen die darin beschriebenen Methoden hinsichtlich ihrer Eignung für die zu bearbeitende Aufgabenstellung und wenden eine oder mehrere davon auf ihr Problem an. Sie dokumentieren ihre Arbeit und präsentieren die Ergebnisse.

Die Studierenden werden individuell nach folgenden Kriterien beurteilt: Qualität der Recherchearbeiten, Eignung des gewählten Lösungsansatzes, Umfang und Genauigkeit der Projektdokumentation und - präsentation, Qualität der Ergebnisse.