Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, Methoden der Informatik auf konkrete Problemstellungen anzuwenden. Sie können das Problem analysieren, geeignete Methoden zu seiner Lösung auswählen und die Güte der Lösung evaluieren.

Im Rahmen eines Projekts bearbeitet die/der Studierende eine dem Qualifikationsprofil des Studiums entsprechende Aufgabenstellung, die mit dem Betreuer individuell zu vereinbaren ist. Je nach Aufgabenstellung kann das Ergebnis des Projekts aus einer schriftliche Arbeit, einem Programm oder beidem bestehen.

Themengebiete:

• Blockchain-Technologien, Smart Contracts, Kryptographie, Formale Spezifikation und Verifikation: Wenden Sie sich an Gernot Salzer.
• Fuzzylogik, Artificial Intelligence (logikorientiert), Berechenbarkeit: Christian Fermüller.
• Proof theory, medical expert systems, nondeterministic matrices: Agata Ciabattoni.
• Themen im Bereich Programmierunterricht, Werkzeuge für die Unterstützung in der Programmiergrundlehre (Erstellung von TUWEL-Fragentypen, Auswertung), Open Educational Ressources ((automatische) Erstellung, Metadaten, Evaluierung): Stefan Podlipnig
• Weitere Themen: bitte kontaktieren Sie die übrigen Lehrveranstaltungsleiter.

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.

Wenden Sie sich abhängig von Ihren Interessen an einen der Lehrveranstaltungsleiter.