Mathematische Grundlagen der Computerlinguistik
WiSe 13/14
Organisatorisches
Dozentin: Wiebke Petersen
Sitzungen: Mo. 12.30-14.00 Uhr in Raum 25.31.HS 5K
Sprechstunde: Terminkalender
Telefon: 81-15295
Literaturempfehlung
- K.-U. Carstensen et al. (2004): Computerlinguistik und Sprachtechnologie. Eine Einführung. Spektrum, Akademischer Verlag
- Dirk W. Hoffmann (2. Auflage, 2011): Theoretische Informatik. Hanser Fachbuchverlag
- B.H. Partee, A. ter Meulen & R.E. Wall (1990): Mathematical Methods in Linguistics. Kluwer Academic Publishers
- U. Schöning (5. Aufl., 2008): Theoretische Informatik - kurzgefasst. Spektrum.
- Rolf Socher: Theoretische Grundlagen der Informatik. Hanser Fachbuchverlag, 2008 (3. Auflage).
Neu! Tutoriumstermin!
- Immer Dienstags um 12.30 Uhr im Computerraum des Containers (24.53.00.81)
- Tutorin: Lisa Hofmann
Sonstiges
- Link zur Anmeldung im Moodle-System
- Link zur Moodle-Kursseite
- Exorciser Software (zum Ãœben mit endlichen Automaten)
Folien
- Organisatorisches
- Mengen und Mengenoperationen
- Relationen und Funktionen
- formale Sprachen
- Ordnungen
- Algebren
- Bäume
- Kombinatorik
- Wahrscheinlichkeit
Foliensammlung Druckversion
Sitzungen
Datum | Thema |
---|---|
14.10.2013 | Vorbesprechung |
21.10.2013 | Mengenoperationen und Relationen | 28.10.2013 | Relationen |
04.11.2013 | Funktionen |
11.11.2013 | Charakteristische Funktion, formale Sprachen I |
18.11.2013 | Formale Sprachen II, Endliche Automaten I |
25.11.2013 | Endliche Automaten II |
02.12.2013 | Wiederholung Relationen |
09.12.2013 | Ordnungen und Verbände I |
16.12.2013 | Verbände und Algebren |
06.01.2014 | Gruppen und Bäume |
13.01.2014 | Kombinatorik I |
20.01.2014 | Kombinatorik II, Wahrscheinlichkeitstheorie I |
27.01.2014 | Wahrscheinlichkeitssitzung II |
03.02.2014 | Beweistheorie |
14.02.2014 | BN-Klausur (für alle, die nicht durch die Hausaufgaben allein den BN geschafft haben) Raum 23.21.00.81-83; 16:00-18:00 Uhr |