Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Anmelden

230007 Formale Methoden 2 (S) (SoSe 2018)

Inhalt, Kommentar

Gegenstand dieser Veranstaltung sind Aussagen- und Prädikatenlogik. Behandelt werden in beiden Fällen die Syntax und Semantik sowie der Folgerungsbegriff. Voraussetzung sind lediglich Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden 1 vermittelt werden. Alles Weitere wird zur Verfügung gestellt.
Es existiert eine große Literaturauswahl zum Gegenstand. Das veranstaltungsbegleitende Skript deckt allerdings alle behandelten Themen und Inhalte ab.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden 1 werden, 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

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

Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
TeilnehmerInnen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges