Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Hintergrund und Motivation<br />
Hintergrund: Lösbarkeit<br />
Diese Frage wurde schon in den 1930’er Jahren von Alan Turing betrachtet<br />
(vergl. auch folgenden Lebenslauf ), bevor es überhaupt Computer gab.<br />
Insofern ist die theoretische <strong>Informatik</strong> die älteste <strong>Informatik</strong>-Disziplin,<br />
wenn auch jung im Vergleich zu anderen Wissenschaften.<br />
Beispiel (Primfaktorzerlegung)<br />
Gegeben eine positive natürliche Zahl: bestimmen Sie ihre Zerlegung in<br />
Primfaktoren. (leicht per Computer implementierbar; brute force oder geschicktere Vorgehensweise)<br />
Beispiel (Halteproblem)<br />
Gegeben ein Programmtext in Ihrer bevorzugten Programmiersprache und<br />
eine Eingabe: bestimmen Sie, ob eine Endlosschleife auftritt.<br />
(nicht per Computer lösbar)<br />
Return<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 10 / 191
Change language