<!-- * Set USERSTYLEURL = %PUBURLPATH%/%WEB%/DokumentFormat/fonts.css --> ---+!! %FORMFIELD{"TopicClassification"}% %FORMFIELD{"Bezeichnung"}% %TOC{depth="3"}% %STARTSECTION{"no_toc"}% ----- *Verantwortlich:* Prof. Dr. Randerath ---++ Modul ---+++ Organisation <sticky> <table border="0"> <tr valign="top"> <td> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Bezeichnung</th> <tr> <td>Lang</td> <td>%FORMFIELD{"Bezeichnung"}%</td> </tr> <tr> <td>MID</td> <td>MaTIN2012_THI</td> </tr> <tr> <td>MPID</td> <td>G</td> </tr> </table> </td> <td> </td> <td> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Zuordnung</th> <tr> <td>Studiengang</td> <td>%FORMFIELD{"Studiengang"}%</td> </tr> <tr> <td>Studienrichtung</td> <td>G</td> </tr> <tr> <td>Wissensgebiete</td> <td>G_VGTHI</td> </tr> </table> </td> <td> </td> <td> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Einordnung ins Curriculum</th> <tr> <td>Fachsemester</td> <td>1</td> </tr> <tr> <td>Pflicht</td> <td>G</td> </tr> <tr> <td>Wahl</td> <td></td> </tr> </table> </td> <td> </td> <td> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Version</th> <tr> <td>erstellt</td> <td>2012-05-04</td> </tr> <tr> <td>VID</td> <td>1</td> </tr> <tr> <td>gültig ab</td> <td>SS 2013</td> </tr> <tr> <td>gültig bis</td> <td></td> </tr> </table> </td> </tr> </table> </sticky> ---++++ Zeugnistext ---+++++ de Theoretische Informatik ---+++++ en Theoretical Computer Science ---++++ Unterrichtssprache Deutsch ---+++ Modulprüfung <sticky> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Form der Modulprüfung</th> <tr> <td>sMP</td> <td>100% (mündliche Prüfung)</td> </tr> </table> </sticky> <sticky> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Beiträge ECTS-CP aus Wissensgebieten</th> <tr> <td>%FORMFIELD{"Wissensgebiet1Text"}%</td> <td>%FORMFIELD{"Wissensgebiet1Value"}%</td> </tr> <tr> <td>Summe</td> <td>%FORMFIELD{"ECTS"}%</td> </tr> </table> </sticky> *Aufwand [h]:* %FORMFIELD{"Aufwand"}% ---+++ anerkennbare LV * [[F07_THI]] ----- ---++ Prüfungselemente %STARTSECTION{"Vorlesung / Übung"}% ---+++ Vorlesung / Übung <sticky> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Form Kompetenznachweis</th> <tr> <td>bÜA</td> <td>Präsenzübung und Selbstlernaufgaben</td> </tr> </table> </sticky> <sticky> <table border="1" cellpadding="2" cellspacing="0"> <th colspan="2">Beitrag zum Modulergebnis</th> <tr> <td>bÜA</td> <td>unbenotet</td> </tr> </table> </sticky> ---++++ Spezifische Lernziele ---+++++ Lerninhalte(Kenntnisse) * Mathematische Grundlagen der Theoretischen Informatik (PFK.2 PFK.4) * Einführung Theoretische Informatik mittels Endlicher Automaten (PFK.2, PFK.4) * Typ2-,Typ1-, Typ0-Sprachen (PFK.2) * Turingmaschinen (PFK.2) * Berechenbarkeit (PFK.2) * Entscheidbarkeit (PFK.2) * Komplexitätstheorie und Algorithmik hartnäckiger Probleme (PFK.2, PFK_4) ---+++++ Fertigkeiten * Die Studierenden beherrschen den Umgang mit Typ2-, Typ1- und Typ0-Sprachen sowie die zugehörigen Maschinenmodelle (PFK.2) * Sie können mit formalen Modellen der Infomatik arbeiten (PFK_4, PFK_5) * Sie können die Kenntnisse der Berechenbarkeits-, Entscheidbarkeits- und Komplexitätstheorie auf praktische Probleme anwenden (PFK_2,PFK.3) * Sie sind in der Lage den Algorithmenbegriff zu präzisieren, die Tragweite von Algorithmen zu beschreiben und die Komplexität von Algorithmen zu bestimmen (PFK_2,PFK_4,PFK.7) * Sie sind in der Lage die prinzipielle Lösbarkeit algorithmischer Probleme zu untersuchen (PFK.4, PSK_3) ---++++ Exemplarische inhaltliche Operationalisierung %ENDSECTION{"Vorlesung / Übung"}% %ENDSECTION{"no_toc"}%
Das Urheberrecht © liegt bei den mitwirkenden Autoren. Alle Inhalte dieser Kollaborations-Plattform sind Eigentum der Autoren.
Ideen, Anfragen oder Probleme bezüglich Foswiki?
Feedback senden