Turing Computability for Communication Networks and Information Theory

Lecturer (assistant)
Number0000005392
TypeExercise
Duration2 SWS
TermSommersemester 2020
Language of instructionGerman
Position within curriculaSee TUMonline
DatesSee TUMonline

Dates

Admission information

Objectives

Nach dem erfolgreichen Abschluss des Moduls ist der Student mit den Grundlagen der Turing Berechenbarkeit vertraut. Er kann auch die behandelten Algorithmen in der Entwicklung bzw. im Entwurf von SDN- und NFV-Systemen einsetzen.

Description

Ziel der Vorlesung ist es, die Teilnehmer an die Turing Berechenbarkeit und deren Anwendung für die Berechnung von Kommunikationsnetzen heranzuführen - ein Forschungsgebiet, welches sich insbesondere in den letzten Jahren rasant entwickelt und etabliert hat. Die Turing Berechenbarkeit liefert das stärkste Modell für Simulationen, die auf einer perfekten digitalen Hardware implementiert werden kann. Sie liefert damit auch die Grundlage für Software Defined Networking (SDN) und Network Function Virtualization (NFV). Neben einer grundsätzlichen Einführung in die Turing Berechenbarkeit und Gödelschen Theorie der rekursiven Funktionen werden weitergehende Zusammenhänge zu SDN und NFV und fundamentale Grenzen für SDN und NFV vermittelt.

Prerequisites

Lineare Algebra, Analysis 1-3

Teaching and learning methods

Entwicklung und Präsentation der Vorlesungsinhalte an der Tafel. Vertiefung des Vorlesungsstoffes durch die Lösung von Aufgaben und Rechenbeispielen in den Übungen.

Examination

Die Modulprüfung wird in Form einer mündlichen Prüfung erbracht. In dieser soll durch das Beantworten von Fragen und Darlegung eines Lösungsansatzes für ein gegebenes Problem nachgewiesen werden, dass die Studierenden die in Vorlesung und Übung behandelten Algorithmen zur Turing Berechenbarkeit sicher einsetzen können.

Recommended literature

R. I. Soare, "Turing Computability; Theory and Application" Springer Verlag 2016 H. Boche, R.F. Schaefer, H.V. Poor: Secure Communication and Identification Systems – Effective Performance Evaluation on Turing Machines. IEEE Transactions on Information Forensics and Security (Early Access), 2019

Links