185.A36 Project in Computer Science 1
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020W, PR, 4.0h, 6.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: PR Projekt
  • Format der Abhaltung: Hybrid

Lernergebnisse

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.

Inhalt der Lehrveranstaltung

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.
  • Weitere Themen: bitte kontaktieren Sie die übrigen Lehrveranstaltungsleiter.

Methoden

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.

Prüfungsmodus

Prüfungsimmanent

Vortragende Personen

Institut

Leistungsnachweis

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.

LVA-Anmeldung

Anmeldemodalitäten

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

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 931 Logic and Computation Gebundenes Wahlfach
066 931 Logic and Computation Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach
066 931 Logic and Computation Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

bei Bedarf in Englisch