BaTIN2012_FSA < F07_Studium

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


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

---+++ 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>BaTIN2012_FSA</td>
          </tr>
          <tr>
            <td>MPID</td>
            <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_GWI</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>2011-10-14</td>
          </tr>
          <tr>
            <td>VID</td>
            <td>1</td>
          </tr>
          <tr>
            <td>gültig ab</td>
            <td>WS 2012/13</td>
          </tr>
          <tr>
            <td>gültig bis</td>
            <td/>
          </tr>
        </table>
      </td>
    </tr>
  </table>
</sticky>

---++++ Zeugnistext
---+++++ de
Formale Sprachen und Automatentheorie
---+++++ en
Formal Languages and Automata


---++++ Unterrichtssprache
Deutsch

---+++ Modulprüfung
<sticky>
  <table border="1" cellpadding="2" cellspacing="0">
    <th colspan="2">Form der Modulprüfung</th>
    <tr>
      <td>sK</td>
      <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>bK</td>
      <td>individuelle Lernstandsrückmeldung (Gesamtumfang bis max. 2h)</td>
    </tr>
    <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 
---+++++ Kenntnisse
   * Chomsky-Hierarchie beschreiben (PFK.3)
   * Formalisierung und Eigenschaften von Grammatiken charakterisieren (PFK.2, PFK.3)
   * Formalisierungen von unterschiedlichen abstrakten Rechnermodellen erklären (PFK.2, PFK.3)
   * Eigenschaften unterschiedlicher Rechnermodelle und der dazugehörigen formalen Sprachen darstellen (PFK.2, PFK.3)
   * Pumping Lemma für reguläre und kontextfreie Sprachen angeben (PFK.2, PFK.3)
---+++++ Fertigkeiten
   * Systeme aus abstrakter Perspektive formalisieren und analysieren (PFK.1, PFK.2, PFK.4, PFK.5)
   * gegebene formale Sprachen formalisieren (PFK.2)
   * Grammatik zu gegebener Sprache spezifizieren (PFK.2)
   * akzeptierende Automaten für gegebene Sprachen identifizieren (PFK.1, PFK.2, PFK.5)
   * eine Beschreibungsform einer formalen Sprachen in eine andere, äquivalente Beschreibungsform transformieren (PFK.1, PFK.2, PFK.4)
   * Beweisen oder Widerlegen, das eine Sprache zu einer bestimmten Sprachklasse gehört (PFK.2, PFK.4)
   * Schwierigkeitsgrad (Komplexität) eines Problems abschätzen können (PFK.1, PFK.4)
---+++++ Handlungskompetenz demonstrieren
   * Probleme der realen Welt formalisieren (PFK.2)
   * (abstrakte) Automaten zur Lösung realer Probleme entwerfen (PFK.1, PFK.2, PFK.4, PFK.5)

---++++ Exemplarische inhaltliche Operationalisierung 
In den Übungsaufgaben könnten Beispiele zur Transformation zwischen unterschiedlichen Formalismen bearbeitet werden. Weiterhin sollten Probleme aus der realen Welt in eine formale Beschreibung überführt werden. Die Durchührung von formalen Beweisen erhäht das Verständnis der vorgestellten Formalisierungen.<br>


%ENDSECTION{"Vorlesung / Übung"}%


%ENDSECTION{"no_toc"}%
Topic-Revision: r11 - 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