Ruprecht-Karls-Universität Heidelberg
Institut für Computerlinguistik

Bilder vom Neuenheimer Feld, Heidelberg und der Universität Heidelberg

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:1512: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.)
Es gibt eine Wikiseite Formale Grundlagen, auf der Sie Fragen zur Vorlesung stellen können.

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
Zum gelegentlichen Nachschlagen:
  • 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

» weitere Kursmaterialien

zum Seitenanfang