Turing Berechenbarkeit für Kommunikationsnetze und Informationstheorie

Worum geht's

Du lernst Grundlagen der Turing-Berechenbarkeit und ihre Anwendung auf Kommunikationsnetze und Informationstheorie, insbesondere mit Blick auf Software Defined Networking (SDN) und Network Function Virtualization (NFV). Am Ende kannst du die behandelten Konzepte und Algorithmen zur Bewertung und zum Entwurf von SDN- und NFV-Systemen einsetzen.

Was du danach kannst

• Verständnis der Turing-Berechenbarkeit
• Kenntnis rekursiver Funktionen und gödelscher Zusammenhänge
• Anwendung berechenbarkeitstheoretischer Konzepte auf SDN und NFV
• Einsatz der behandelten Algorithmen bei Entwurf und Entwicklung von Netzsystemen

Aus was das Modul besteht

• VorlesungVermittlung der theoretischen Grundlagen an der Tafel
• ÜbungVertiefung durch Aufgaben und Rechenbeispiele; Implementierung kleiner Algorithmen in turing-vollständigen Programmiersprachen

Lehrmethode

• Tafelpräsentationzur Darstellung und Erklärung der Vorlesungsinhalte
• Aufgaben und Rechenbeispiele in Übungenzur Vertiefung des Vorlesungsstoffs
• Implementierung in turing-vollständigen Programmiersprachenzur praktischen Anwendung und Veranschaulichung kleiner Algorithmen