Detail View

Keine Credits bei Lehrveranstaltungen angegeben

Bei den Modulen unten sind Credits angegeben, bei der (modulunabhängigen) Lehrveranstaltungsliste nicht. Dies liegt darin begründet, dass die Lehrveranstaltungen erst im Kontext eines Modules Credits erhalten. Auch wenn der Fall selten eintritt, ist so die Möglichkeit gegeben, dass die selbe Veranstaltung in unterschiedlichen Studiengängen unterschiedlichen Workload und Credits erhalten kann.

Üblicherweise gilt aber weiterhin natürlich die Faustregel Cr = 1,5 * SWS. 

create MS Word export

If you like to create a change request for the modules, the easiest way is to export this list and then use the "track changes" functionality in MS Word and send the new file to AG Modulhandbuch. As a starting point you can use the word-export above.


http://www.ti.inf.uni-due.de/

Fachgebiet Theoretische Informatik

assigned LecturersKönig (Prof. Dr. Barbara König)

Responsbile for the modules

Name in diploma supplement
Computability and complexity
Responsible
Admission criteria
See exam regulations.
Workload
180 hours of student workload, in detail:
  • Attendance: 45 hours
  • Preparation, follow up: 100 hours
  • Exam preparation: 35 hours
Duration
The module takes 1 semester(s).
Qualification Targets

Die Studierenden

  • verfügen über die Kompetenz, Sachverhalte der theoretischen Informatik formal zu beschreiben und zu analysieren, insbesondere mit Bezug auf die Gebiete Berechenbarkeitstheorie und Komplexität
  • beherrschen Berechnungsmodelle wie Turing-Maschinen, LOOP-, WHILE-, GOTO-Programme, primitiv rekursive und mu-rekursive Funktionen
  • sind in der Lage, durch den Beweis der Äquivalenz dieser Berechnungsmodelle die Churchsche These nachzuvollziehen
  • verstehen Begriffe wie Unentscheidbarkeit und Reduzierbarkeit und können diese in einem Informatikkontext anwenden
  • kennen wichtige unentscheidbare Probleme (Halteproblem, Postsches Korrespondenzproblem, etc.)
  • besitzen die Fähigkeit, die Unentscheidbarkeit einer Problemstellung formal zu beweisen
  • kennen verschiedene Komplexitätsklassen sowie das P=NP-Problem und das Konzept der (NP-)Vollständigkeit
  • können die Komplexität von Problemen mit den bekannten Komplexitätsformeln abschätzen und sind in der Lage, Reduktionen formal durchzuführen
  • besitzen ein tieferes Verständnis für zentrale Konzepte der theoretischen Informatik
  • sind dadurch in der Lage, informatische Probleme mit formalen Methoden der theoretischen Informatik zu behandeln und zu lösen
Relevance

Dieses Modul vermittelt wesentliche Grundlagen, die für weite Bereich der praktischen Informatik relevant sind und ohne deren Kenntnis weder effektive noch effiziente Lösungen erstellt werden können.

Module Exam

The module-related examination is performed by a written exam (usually 90-120 minutes).

Usage in different degree programs
  • LA Info GyGeWahlpflichtbereich Informatik 1st-3rd Sem, Elective
  • MatheSoftware Engineering1st-6th Sem, Elective
  • SEPflichtbereichPflichtbereich IV: Grundbegriffe der Theoretischen Informatik3rd-4th Sem, Compulsory
Elements
  • VO: Berechenbarkeit und Komplexität (3 Credits)
  • UEB: Berechenbarkeit und Komplexität (3 Credits)
Module: Berechenbarkeit und Komplexität (WIWI‑M0043)

Name in diploma supplement
Formal Aspects of Software Security and Cryptography
Responsible
Admission criteria
See exam regulations.
Workload
180 hours of student workload, in detail:
  • Attendance: 60 hours
Duration
The module takes 1 semester(s).
Qualification Targets

Die Studierenden

  • erwerben fortgeschrittene Kenntnisse auf dem Gebiet der Software-Sicherheit und Kryptographie
  • sind mit den theoretischen und formalen Grundlagen dieses Gebiets vertraut
  • sind in der Lage komplexe Verschlüsselungsverfahren zu verstehen und ansatzweise zu bewerten
  • kennen die komplexitätstheoretischen Grundlagen der Kryptographie
  • besitzen Kenntnisse über Verfahren bei denen Nachrichten sicher ausgetauscht werden
  • können die Sicherheit dieser Verfahren in Teilen abschätzen
  • sind vertraut mit Techniken zur Verifikation kryptographischer Protokolle
Module Exam

Zum Modul erfolgt eine modulbezogene Prüfung in Form einer Klausur oder mündlichen Prüfung.

Usage in different degree programs
  • SNEWahlpflichtbereich1st-3rd Sem, Elective
Elements
  • VIU: Formale Aspekte der Software-Sicherheit und Kryptographie (6 Credits)
Module: Formale Aspekte der Software-Sicherheit und Kryptographie (WIWI‑M0954)


Offered Courses

Name in diploma supplement
Computability and complexity
Organisational Unit
Lecturers
SPW
2
Language
German
Cycle
winter semester
Participants at most
no limit
Preliminary knowledge

Kenntnisse der Modellierungsmethoden der Informatik werden nachdrücklich empfohlen.

Abstract

Die Vorlesung gibt eine Einführung in die theoretische Informatik, insbesondere in die Gebiete Berechenbarkeit und Komplexität.

Contents

Die Berechenbarkeits- und Komplexitätstheorie ist eine wichtige Grundlage der Informatik. Hierbei geht es um Fragestellungen der Form: was kann überhaupt berechnet werden? Wie teuer ist diese Berechnung?

Mit dem P-NP-Problem erläutert dieses Gebiet auch das wichtigste bisher ungelöste Problem der theoretischen Informatik. Im Rahmen dieser Veranstaltung werden grundlegende Kenntnisse zu den Bereichen Berechenbarkeit und Komplexität vermittelt. Inhalte im Einzelnen:

  • Berechenbarkeit (Turing-Maschinen, Intuitiver Berechenbarkeitsbegriff, Churchsche These, LOOP-, WHILE-, GOTO-Berechenbarkeit, Primitiv rekursive und mu-rekursive Funktionen, Ackermannfunktion, Halteproblem, Unentscheidbarkeit, Reduktionen, Postsches Korrespondenzproblem, Weitere unentscheidbare Probleme)
  • Komplexität (Komplexitätsklassen, P-NP-Problem, NP-Vollständigkeit, Weitere NP-vollständige Probleme, Randomisierung, Primzahltests). 

Hinweis:

  • Die Vorlesung wird wechselweise in Duisburg und Essen durchgeführt, jeweils mit Übertragung an den anderen Campus. Achten Sie auf die Modalitäten für die Essener Teilnehmer.
Literature
Teaching concept

Vorlesung mit Folien und Erklärung komplexer Inhalte mit stiftbasierter Eingabe auf dem TabletPC; Videoübertragung an den anderen Campus; Bereitstellung von Vorlesungsvideos

Participants
Lecture: Berechenbarkeit und Komplexität (WIWI‑C0006)
Name in diploma supplement
Computability and complexity
Organisational Unit
Lecturers
SPW
2
Language
German
Cycle
winter semester
Participants at most
no limit
Preliminary knowledge

keines

Abstract

Übungen zu theoretischer Informatik, insbesondere zu den Gebieten Berechenbarkeit und Komplexität

Contents

Es werden die Inhalte der Vorlesung durch Übungen vertieft.

Literature

Siehe Literaturangaben der Vorlesung.

Teaching concept

Erarbeiten der Vorlesungsinhalte mit den Tutoren; Vorstellung der Lösung der Übungsaufgaben; Korrektur und Bewertung der von den Studierenden abgegebenen Lösungen

Participants
Exercise: Berechenbarkeit und Komplexität (WIWI‑C0005)
Name in diploma supplement
Formal Aspects of Software Security and Cryptography
Organisational Unit
Lecturers
SPW
4
Language
German
Cycle
irregular
Participants at most
no limit
Preliminary knowledge

keines

Abstract

Im Bereich der Software-Sicherheit und Kryptographie ist es wichtig, theoretische Grundlagen zu besitzen, aufgrund derer die Sicherheit von Verfahren und Protokollen bewertet werden kann. Im Rahmen dieser Vorlesung werden sowohl komplexitätstheoretische als auch semantische Grundlagen zu diesem Gebiet vermittelt.

 

Contents
  • Kryptographie (Grundlagen der Kryptographie, One-Time-Pad, Advanced Encryption Standard, RSA und Primzahltests, Einweg- und Falltür-Funktionen)
  • Kryptographische Protokolle (Authentifizierung, Bit Commitment, Interactive Proof Systems, Zero-Knowledge Protokolle, Secure Multi-Party Computations)
  • Verifikation kryptographischer Protokolle (Eindringlingsmodell nach Dolev-Yao, Sicherheitslücken in kryptographischen Protokollen, Angewandter pi-Kalkül, Model-Checking kryptographischer Protokolle)
Literature
  • John Talbot, Dominic Welsh: Complexity and Cryptography - An Introduction. Cambridge, 2006.
  • Christo H. Papadimitriou: Computational Complexity. Addison-Wesley, 1994
  • Arto Salomaa: Public Key Cryptography. Springer, 1990
  • William Stallings: Cryptography and Network Security: Principles and Practice. Prentice-Hall, 2003
  • Oded Goldreich: Foundations of Cryptography (Basic Applications). Cambridge University Press, 2004
     
Teaching concept

Die Veranstaltung entspricht einem Vorlesungsanteil von 3 SWS und einem Übungsanteil von 1 SWS.

Participants
Lecture with integrated exercise: Formale Aspekte der Software-Sicherheit und Kryptographie (WIWI‑C1245)