MaTIN2012_THI < F07_Studium

Sie sind hier: Foswiki>F07_Studium Web>MaTIN2012_THI (Revision 6) (Quelltext-Ansicht)
<!--
   * Set USERSTYLEURL = %PUBURLPATH%/%WEB%/DokumentFormat/fonts.css
-->
---+!! %FORMFIELD{"TopicClassification"}% %FORMFIELD{"Bezeichnung"}%


%TOC{depth="3"}%
%STARTSECTION{"no_toc"}%
-----
*Verantwortlich:* Prof. Dr. Randerath
---++ Modul
---+++ Anerkennbare Lehrveranstaltung (LV) 
   * [[F07_THI]]

---+++ 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>%FORMFIELD{"Studienrichtung"}%</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>%FORMFIELD{"Fachsemester"}%</td>
          </tr>
          <tr>
            <td>Pflicht</td>
            <td>%FORMFIELD{"Pflicht"}%</td>
          </tr>
          <tr>
            <td>Wahl</td>
            <td>%FORMFIELD{"Wahl"}%</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/>
          </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"}%


-----
---++ 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 
Die Bestimmung der Komplexität eines Algorithmus kann z.B. durch Analyse der Eingabeinstanz und des algorithmischen Kerns und Anwenden der O-Notation  vorgenommen werden.  Die Hartnäckigkeit eines algorithmischen Problems kann z.B. durch Anwenden einer geeigneten Reduktion auf ein etabliertes hartnäckiges Problem, wie beispielsweise dem aussagenlogischen Erfüllbarkeitsproblem, erreicht werden.<br>


%ENDSECTION{"Vorlesung / Übung"}%


%ENDSECTION{"no_toc"}%
Topic-Revision: r6 - 19 Jul 2018, GeneratedContent
F07_Studium
Einloggen oder Registrieren
Webs
F07_Studium
System
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