Turing Computability for Communication Networks and Information Theory
| Lecturer (assistant) | |
|---|---|
| Number | 0000003176 |
| Type | exercise |
| Duration | 2 SWS |
| Term | Winter semester 2020/21 |
| Language of instruction | Deutsch |
| Position within curricula | See TUMonline |
| Dates | See TUMonline |
Dates
Admission information
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.