einführung in die theoretische informatik 0. organisatorisches und ...
einführung in die theoretische informatik 0. organisatorisches und ...
einführung in die theoretische informatik 0. organisatorisches und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Berechenbarkeitstheorie: Ziele<br />
Die Berechenbarkeitstheorie untersucht <strong>die</strong> Frage, welche Probleme<br />
sich algorithmisch (d.h. mit Hilfe e<strong>in</strong>es Computers) pr<strong>in</strong>zipiell lösen<br />
lassen.<br />
Im Mittelpunkt steht <strong>die</strong> Untersuchung<br />
◮ der berechenbaren Funktionen<br />
(= algorithmisch durchführbare Transformationen)<br />
◮ der entscheidbaren Mengen<br />
(= algorithmisch lösbare Entscheidungsprobleme)<br />
◮ der aufzählbaren Mengen<br />
(= algorithmisch generierbare Lösungsmengen)<br />
Hierzu werden <strong>die</strong>se <strong>in</strong>tuitiven Begriffe formalisiert (mathematisiert)<br />
<strong>und</strong> bestehende Zusammenhänge untersucht.<br />
Besondere Bedeutung hat <strong>die</strong> Bestimmung algorithmisch unlösbarer<br />
Problem sowie <strong>die</strong> Bereitstellung von Methoden zum Nachweis der<br />
Unlösbarkeit.<br />
Theoretische Informatik (SoSe 2011) <strong>0.</strong> Organisatorisches <strong>und</strong> Überblick 8 / 16