Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Anmelden

230015 Formale Methoden 2 (S) (SoSe 2016)

Inhalt, Kommentar

Der Inhalt dieser Vorlesung ist: Aussagenlogik und Prädikatenlogik. Behandelt werden in beiden Fällen die Syntax und Semantik sowie der Folgerungsbegriff. Voraussetzungen sind lediglich Kenntnisse in Formale Methoden I. Alles Weitere wird zur Verfügung gestellt.
Es gibt Literatur, aber das Skript deckt alle behandelten Themen und Inhalte ab.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Kenntnisse in Formale Methoden 1 werden vorausgesetzt.

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Ort Zeitraum  

Zeige vergangene Termine >>

Klausuren

  • Keine gefunden

Fachzuordnungen

Modul Veranstaltung Leistungen  
23-LIN-BaLin5 Linguistik Orientierungsmodul Linguistik Orientierungsveranstaltung Studienleistung
Studieninformation
23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie Formale Methoden 2 Studienleistung
Studieninformation
23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) Formale Methoden 2 Studienleistung
Studieninformation
25-FS-EM Einführungsmodul E2: Einführende Veranstaltung aus den Fakultäten Studieninformation
E3: Einführende Veranstaltung aus den Fakultäten Studieninformation
25-FS-GM Grundlagenmodul E2: Einführende Veranstaltung aus den Fakultäten Studieninformation
E3: Einführende Veranstaltung aus den Fakultäten Studieninformation

Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.

Studiengang/-angebot Gültigkeit Variante Untergliederung Status Sem. LP  
Frauenstudien (Einschreibung bis SoSe 2015)    
Studieren ab 50    
Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
TeilnehmerInnen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges