Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Hintergrund und Motivation<br />
Vorgehensweise<br />
Unsere Vorgehensweise wird mathematischer Natur sein:<br />
Betrachtung abstrakter Modelle von Computern/Algorithmen<br />
mathematisch präzise Argumentation<br />
in Hausaufgaben und Klausur: klares Formulieren und vollständiges<br />
Aufschreiben von Argumenten sind zu üben!<br />
Zum unverzichtbaren Handwerkszeug gehören:<br />
Definitionen<br />
Sätze<br />
Propositionen<br />
Lemmata<br />
Beweise<br />
Einführung und Namensgebung abstrakter Konzepte;<br />
Grundlegende Aussagen über die Struktur oder<br />
Verknüpfungen der Konzepte;<br />
Interesante Aussagen über die Konzepte;<br />
Hilfssätze eher technischer Natur;<br />
Ketten logischer Schlußfolgerungen, um ggf. mit Hilfe<br />
expliziter Konstruktionen die Gültigkeit von Sätzen/<br />
Propositionen/Lemmata nachzuweisen;<br />
(Detailliertheit gemäß der<br />
mathematischen Reife der Zielgruppe) endliche Automaten<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 9 / 191
Change language