Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20

Prof. Dr. Dorothea Wagner
Es gibt wichtige Probleme, deren Lösung sich zwar klar definieren läßt, aber die man niemals wird systematisch berechnen können. Andere Probleme lassen sich "vermutlich" nur durch systematisches Ausprobieren lösen. Andere Themen dieser Vorlesungen legen die Grundlagen für Schaltkreisentwurf, Compilerbau, uvam. Die meisten Ergebnisse dieser Vorlesung werden rigoros bewiesen. Die dabei erlernten Beweistechniken sind wichtig für die Spezifikation von Systemen der Informatik und für den systematischen Entwurf von Programmen und Algorithmen. Das Modul gibt einen vertieften...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.