Formale Grundlagen der Computerlinguistik: Mathematische Grundlagen
Kursbeschreibung
Studiengang | Modulkürzel | Leistungs- bewertung |
---|---|---|
BA-2010 | FF-FM | 6 LP |
NBA | FF-FM | 6 LP |
Magister | - | - |
Dozenten/-innen | Yannick Versley |
Veranstaltungsart | Vorlesung/Übung |
Erster Termin | 23.04.2014 |
Zeit und Ort | Mi, 11:15–12:45, INF 306 / SR 13 (SR) |
Commitment-Frist | 16.06.–13.07.2014 |
Tutorien | Di 14-16 Angela Schneider: Seminarraum 4, INF 327 Mi 9-11 Mareike Hartmann: INF 325 CiP-Pool (erster Termin 30.4.) |
Teilnahmevoraussetzungen
Empfohlen: Einführung in die Computerlinguistik, Einführung in die Logik
Leistungsnachweis
- aktive Teilnahme
- erfolgreiche Bearbeitung der Übungsaufgaben
- Bestehen der Klausur
Inhalt
Die Veranstaltung vermittelt eine Einführung in die formalen Methoden, die für die Modellierung von computerlinguistischen Problemen grundlegend sind, und ihre Anwendung auf ausgewählte Probleme in der Computerlinguistik.
Voraussichtlicher Inhalt:
- Diskrete Strukturen
- Wahrscheinlichkeitsverteilungen, statistische Tests
- Folgen, Konvergenz, Stetigkeit
- Ableitungen mehrdimensionaler Funktionen, Skalarprodukte, Eigenwerte
- Probabilistische Graphische Modelle
Kursübersicht
Seminarplan
Datum | Sitzung | Materialien |
23.04.2014 | Einführung / Gruppentheorie | Folien HTML (Teil 1) HTML (Vorbemerkungen) |
30.04.2014 | Ordnungsrelationen / Vektoren / NumPy | Folien Aufgabe 1 gf5.txt gf5_mul.txt z6.txt z6_mul.txt HTML (Teil 2) |
07.05.2014 | Folgen, Stetigkeit, lineare Abbildungen, Differenzierbarkeit | HTML (Teil 3) Folien |
13.05.2014 | Wahrscheinlichkeiten I | HTML (Teil 4) Folien Aufgabe 2 10k_passwords.txt |
21.05.2014 | Wahrscheinlichkeiten II | HTML (Teil 5) Folien Aufgabe 3 |
28.05.2014 | Skalarprodukte und multivariate Verteilungen | HTML (Teil 6) Folien (Teil 1+2) Aufgabe 4 count_matrix.py |
04.06.2014 | Eigenwerte und Kovarianz | Folien (Teil 1+2) Aufgabe 5 |
11.06.2014 | Inferenz mit statistischen Modellen | HTML (Teil 7) Folien Aufgabe 6 |
18.06.2014 | Entropie, Smoothing | HTML (Teil 7) Aufgabe 7 Folien |
25.06.2014 | Hidden Markov Models | Folien Aufgabe 8 |
2.07.2014 | Bayes-Netze | HTML Folien Probeklausur |
9.07.2014 | Faktorgraphen | Folien |
16.07.2014 | Klausur | |
23.07.2014 | Blick zurück / formale Sprchen |
Literatur
Zur Anschaffung empfohlen:
-
Klaus Jänich: Lineare Algebra
Vektoren und Matrizen, enthält auch eine Einleitung in die Grundbegriffe von Mengen und Abbildungen -
Chris Manning, Hinrich Schütze.
Foundations of Statistical Natural Language Processing
Wahrscheinlichkeitsverteilungen, Informationstheorie, Smoothing
- Florian Modler, Martin Kreh. Tutorium Analysis 1 und Lineare Algebra 1 — Das Buch ist eines der wenigen, das die wichtigsten Stichpunkte aus Analysis und Linearer Algebra
- Auf dieser Wikiseite gibt es Hinweise auf weitere Literatur zu dem Thema. Die Uni-Bibliothek hat auch einige umfangreichere Analysis-Bücher als Ebooks lizensiert, die man als PDF zum nachschlagen verwenden kann.
Weitere Literatur wird zu Vorlesungsbeginn bekanntgegeben