Lehrveranstaltungen im Wintersemester 2007 (kommentiert)

Grundstudium
1. Semester

2060	Einführung in die Linguistische Datenverarbeitung I	Köhler, R.
	Vorlesung mit Übung, 2 Std., Di 10-12, D 034
	A: Für Studierende der LDV im 1. Semester
	B: Teilnahmeschein in Verbindung mit der Übung
	D: Die Vorlesung vermittelt einen Überblick über die Entwicklung der Computerlinguistik in 2 Teilen. Sie führt in die Ziele, Gegenstände und Methoden insbesondere solcher sprachwissenschaftlicher Fragestellungen ein, die der Einsatz und die Verfügbarkeit programmierbarer Automaten (Computer) erst ermöglicht haben. Anhand ausgewählter Probleme werden Grundkonzepte, Fachbegriffe und Methoden der linguistischen Datenverarbeitung und Computerlinguistik im Rahmen von Phonologie, Morphologie und Syntax (Teil I) entwickelt.

2061	Übung zu Einführung in die Linguistische Datenvearbeitung I	Köhler/Schaeffer
	Übung, 2 Std., Do 8-10, A 11
	A: Für Hörer der Vorlesung
	B: Teilnahmeschein in Verbindung mit der Vorlesung

2062	Einführung in die Programmierung mit JAVA	Weber, H.-J.
	Proseminar, 2 Std., Mo 10-12, A 11
	A: Für Studierende der LDV im Grundstudium
	B: Seminarschein: Hausaufgaben + Klausur
	C: Themen und Seminarplan in der ersten Sitzung
	D: Einführung in Java-1; Datentypen, einfache Programme
	E: Literatur- und System-Informationen werden im Semnar bekanntgegeben.

2063	Übung zur Einführung in die Programmierung mit JAVA	Weber, H.-J.
	Übung, 2 Std., Mo 14-16, B 329
	A: Für Studierende der LDV im Grundstudium


3. Semester

2068	Einführung in die formale Logik	Siedle, Chr.
	Proseminar mit Übung, 2 Std., Fr 10-12, B 111
	A: Für Studierende der LDV im 3. Semester
	B: Benoteter Leistungsnachweis auf der Basis einer Klausur
	D: Die Veranstaltung führt in die Grundlagen der formalen Logik ein. Dabei werden die allgemeinen mathematischen Grundlagen der formalen Logik eingeführt und ein Einblick in den historischen Werdegang dieser Disziplin vermittelt. Die Veranstaltung umfasst als Themenschwerpunkte Teilbereiche der Allgemeinen Algebra, die Aussagen- und Prädikatenlogik sowie das automatische Beweisen.
	E: Eine Einführung in die Prädikatenlogik erster Stufe mit Identität gibt das Skript von Christian Gottschall zu Vorlesung "Einführung in die Logik".

2069	Einführung in LISP	Naumann, S.
	Proseminar, 2 Std., Mo 16-18, D032
	A: Für Studierende der LDV im Grundstudium
	B: Leistungsschein: Klausur
	D: Neben PROLOG ist LISP auch heute noch die wichtigste Programmiersprache zur Behandlung nicht-numerischer Aufgabenstellungen, wie sie in der Computerlinguistik anzutreffen sind. Ziel der Veranstaltung ist es, die Teilnehmer mit den Grundzügen von LISP und besonders den verschiedenen, von LISP unterstützten Programmierstilen (prozedural/funktional/objektorientiert) vertraut zu machen.
	E: Skript

2070	Übung zu LISP	Naumann, S.
	Übung, 2 Std., Di 8-10, B 329
	A: Für Studierende der LDV im Grundstudium
	C: (P)

2071	Automatentheorie und formale Sprachen	Schmidt, P.
	Proseminar, 2 Std., Do 10-12, B 19
	A: Für Studierende der LDV im Grundstudium
	B: Hausaufgaben und Klausur
	C: (T)
	D: Einführende Darstellung und Erarbeitung der wichtigsten Konzepte, Modelle, Methoden und Resultate der Automatentheorie und der Theorie formaler Sprachen sowie ihrer linguistischen und computerlinguistischen Anwendung.
	E: -Hopcroft, J.E./Ullmann, J.D.: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie. Bonn et al.: Addison-Wesley 1994; - Levelt, W.J.M.: Formal Grammars in Linguistics and Psycholinguistics, vols. I, II. the Hague/Paris: Mouton 1974. Textgrundlage des Seminars ist ein Reader mit den für uns relevanten Abschnitten aus beiden Titeln und weiterer relevanter Literatur (Skript im Sekretariat erhältlich gegen Vorlage des Zahlungsbelegs!)

2072	Übung zu Automatentheorie und formale Sprachen	Schmidt, P.
	Übung, 2 Std., Mi 12-14, B 111
	A: Für Studierende der LDV im Grundstudium
	C: (P), die Teilnahme ist obligatorisch

2073	Einführung in die quantitative Sprachtypologie	Schmidt, P.
	Proseminar, 2 Std., Mi 10-12, B 19
	A: Für Studierende der LDV im Grundstudium
	B: Teilnahmeschein: Referat; Leistungsschein: Referat + Hausarbeit
	C: (T)
	D: Einführung in Grundbegriffe, grundlegende Fragestellungen, Denkansätze, Methoden und Resultate des quantitativ-linguistischen Ansatzes in der modernen Sprachtypologie und Universalienforschung; exemplarische Vertiefung anhand ausgewählter Phänomene auf verschiedenen Sprachebenen (bes. Morphologie und Syntax)
	E: Altmann, G./Lehfeldt, W.: Allgemeine Sprachtypologie: Prinzipien und Messverfahren. München: Fink 1973.

2074	Einführung in die Morphologie	Schmidt, P.
	Proseminar, 2 Std., Mo 12-14, B 329
	A: Für Studierende der LDV im Grundstudium
	B: Hausaufgaben und Klausur
	C: (T)
	D: Einführung in Grundbegriffe, grundlegende Fragestellungen, Methoden und Darstellungsmittel der linguistischen Morphologie, ihre computerlinguistische Bewertung und Anwendung. Das Seminar konzentriert sich auf die praktische Umsetzung des morphologietheoretischen Basiswissens in Entwurf, Implementierung und Testen von Programmen zur morphologischen Analyse von Wortformen (Schwerpunkt: Two-Level Morphology). Die betr. Software wird im Seminar zur Verfügung gestellt, schrittweise entwickelt, erläutert und erprobt. Spezielle Programmierkenntnisse sind nicht erforderlich.
	E: Einführende Literatur (im Semesterapparat): Carstensen & al. (Hrsg.): Computerlinguistik und Sprachtechnologie. Heidelberg/Berlin 2001, Abschnitt 3.2: "Morphologie", S. 175-202. Jurafsky/Martin: Speech and Language Processing. Upper Saddle River, NJ 2000, Kap. 3: "Morphology and Finite-State Transducers". Bergentholz/Mugdan: Einführung in die Morphologie. Stuttgart 1979.

2075	Dependenz-Grammatik	Weber, H.-J.
	Proseminar, 2 Std., Mi 16-18, B 20
	A: Für Studierende der LDV im Grundstudium
	B: Seminarschein: Hausaufgaben oder Hausarbeit
	C: (T)(P)
	E: Literatur im Seminar

2076	Intersemiotische Analysen von Comics- und Film-Erzählungen	Weber, H.-J.
	Proseminar, 2 Std., Mi 14-16, A 339
	A: Für Studierende der LDV und der Medienwissenschaft
	B: Leistungsschein
	C: (Z)
	E: Literatur im Seminar

Hauptstudium

2081	Forschungskolloquium	Köhler, R.
	Kolloquium, 2 Std., Do 16-18, B 211
	A: Für Studierende der LDV im Hauptstudium, Mitarbeiter und andere Interessierte aufgrund besonderer Einladung
	C: (Z)
	D: Vorstellung und Diskussion von Fragestellungen und (Zwischen-)Ergebnissen aus den laufenden Forschungsprojekten des Fachs LDV/CL

2082	Doktorandenkolloquium	Köhler, R.
	Kolloquium, Fr ab 16.00, B 323
	A: Für Doktoranden der LDV
	C: vierwöchentliche Veranstaltung

2083	Spezifikation, Entwurf und Implementierung von Software für die LDV	Köhler, R.
	Hauptseminar, 2 Std., Di 14-16, B 211
	A: Für Studierende der LDV im Hauptstudium
	C: (T)
	D: Hauptziel dieses Seminars ist die praktische Umsetzung der Methoden und Prinzipien der modernen Softwaretechnik, die es ermöglicht, auch komplexe Probleme zu beherrschen und die Einhaltung von Qualitäts- und Wirtschaftlichkeitskriterien sicher zu stellen.
	E: -von Mayrhauser: Software engeneering: methods and management. London: Academic Press 1980; -Sommerville: Software Engeneering. Addison Wesley 1002/ - Ghezzi/Jasayeri/Mandioli: Fundamentals of Software Engineering.

2084	Forensische Linguistik	Köhler, R./Naumann, S.
	Hauptseminar, 2 Std., do 14-16, B 211
	A: Für Studierende der LDV im Hauptstudium
	B: Teilnahmeschein: Referat; benoteter Schein: schriftliche Hausarbeit

2085	Übung zu Forensische Linguistik	Köhler, R./Naumann, S.
	Übung, 2 Std., Di 12-14, B 211
	A: Für Studierende der LDV im Hauptstudium

2086	Head-Driven Phrase Structure Grammar	Naumann, S.
	Hauptseminar, 2 Std., Mi 8-10, B 20
	A: Für Studierende der LDV im Hauptstudium
	B: Teilnahmeschein: Referat; benoteter Schein: schriftliche Hausarbeit
	C: (T)(P)
	D: Die Head-Driven Phrase Structure Grammar gehört neben der Lexical-Functional Grammar zu den wichtigsten nicht-transformationellen Grammatikformlismen. Ziel des Seminars ist es, die Grundlagen dieses Formalismus zu vermitteln und an ausgewählten Phänomenen zu skizzieren, wie sich Teilgrammatiken des Deutschen formulieren lassen. Grundlagen des Kurses bildet das aktuelle Buch von Stefan Müller, das auch online verfügbar ist.

2087	Sprachverstehen und seine Modellierungen	Rieger, B.
	Hauptseminar, 2 Std., Di 16-18, B 211
	A: Für Studierende der LDV im Hauptstudium
	B: Leistungsschein: Referat
	C: (T)(P)(Z)

2088	Wörterbücher	Weber, H.-J.
	Hauptseminar, 2 Std., Do 12-14, B 20
	A: Für Studierende der LDV im Hauptstudium
	B: Seminarschein: Referat und Hausarbeit
	C: (T)(P)
	E: Literatur und Unterlagen im Seminar