Fakultät für Mathematik und Informatik
Stundenplan SS 2025
Studiengang: Informatik-Bachelor
S25 Studiengang: Informatik-Bachelor 2. Semester
10-201-1015
Lineare Algebra
[für Informatik]
[für Informatik]
B.Sc. Informatik
Pflichtmodul
Vorlesung
Lineare Algebra
dienstags
09:15
-
10:45
[für Informatik]
Hs 7
donnerstags
11:15
-
12:45
[für Informatik]
Hs 2
Übung
Lineare Algebra
a
montags
09:15
-
10:45
[für Informatik]
SG 3-13
b
montags
13:15
-
14:45
[für Informatik]
SG 3-12
c
mittwochs
13:15
-
14:45
[für Informatik]
SG 2-14
d
donnerstags
15:15
-
16:45
[für Informatik]
SG 3-10
e
freitags
09:15
-
10:45
[für Informatiker]
SG 3-13
Hörsaalübung [Ergänzende Veranstaltung]
Lineare Algebra
montags
17:15
-
18:45
[für Informatik]
Hs 7
10-201-2001-1
Algorithmen und Datenstrukturen 1
B.Sc. Informatik
Pflichtmodul
Vorlesung
Algorithmen und Datenstrukturen 1
dienstags
17:15
-
18:45
Audimax, Augustusplatz
Übung
Algorithmen und Datenstrukturen 1
a
mittwochs
11:15
-
12:45
Online-Kurs
b
mittwochs
11:15
-
12:45
Online-Kurs
c
donnerstags
09:15
-
10:45
SG 3-13
d
donnerstags
09:15
-
10:45
SG 3-11
e
donnerstags
11:15
-
12:45
SG 3-13
f
donnerstags
11:15
-
12:45
SG 3-14
g
freitags
09:15
-
10:45
Härtelstraße 16-18, S 017
h
freitags
09:15
-
10:45
Härtelstraße 16-18, S 018
i
freitags
11:15
-
12:45
Härtelstraße 16-18, S 017
j
freitags
11:15
-
12:45
Härtelstraße 16-18, S 018
k
dienstags
09:15
-
10:45
SG 3-11
l
dienstags
09:15
-
10:45
SG 3-13
10-201-2005-2
Programmierparadigmen
Studiernden des Lehramts Informatik für Ober- oder Sonderschule im 2. Fachsemester
wird empfohlen, im Sommersemester 2024 das Modul "Modellierung und Programmierung
2" anstelle des Moduls "Algorithmen und Datenstrukturen 2" zu belegen, da das Modul
"Algorithmen und Datenstrukturen 2" aller Voraussicht nach in Folge der zum nächsten
Wintersemster anstehenden Änderungssatzung kein Pflichtmodul mehr sein wird.
B.Sc. Informatik
Pflichtmodul
Vorlesung
Programmierparadigmen
mittwochs
15:15
-
16:45
Audimax, Augustusplatz
Übung
Programmierparadigmen
a
freitags
13:15
-
14:45
Felix-Klein-Hs, Paulinum
b
montags
11:15
-
12:45
[vorrangig für Lehramt Informatik]
Hs 12
c
donnerstags
09:15
-
10:45
Hs 19
d
freitags
09:15
-
10:45
Hs 5
e
freitags
11:15
-
12:45
Hs 5
10-201-2108-1
Logik
B.Sc. Informatik
Pflichtmodul
Vorlesung
Logik
donnerstags
13:15
-
14:45
Hs 9
Übung
Logik
a
montags
B
09:15
-
10:45
SG 3-12
b
montags
A
09:15
-
10:45
SG 3-12
c
dienstags
B
11:15
-
12:45
SG 2-14
d
dienstags
A
11:15
-
12:45
SG 2-14
e
mittwochs
B
09:15
-
10:45
SG 3-14
f
mittwochs
A
09:15
-
10:45
SG 3-14
g
mittwochs
B
15:15
-
16:45
SG 3-12
h
mittwochs
A
15:15
-
16:45
SG 3-12
S25 Studiengang: Informatik-Bachelor 4. Semester
07-102-4102
Entwicklung verteilter Anwendungen
B.Sc. Informatik
Vorlesung mit integrierter Übung
Entwicklung verteilter Anwendungen
dienstags
09:15
-
10:45
WiFa, Grimmaische Straße 12, Raum I-125, SR 4
Seminar
Entwicklung verteilter Anwendungen
dienstags
13:15
-
14:45
WiFa, Grimmaische Straße 12, Raum I-125, SR 4
10-201-2006-2
Grundlagen der Technischen Informatik 2
B.Sc. Informatik
Pflichtmodul
Vorlesung
Grundlagen der Technischen Informatik 2
dienstags
07:30
-
09:00
Hs 2
Übung
Grundlagen der Technischen Informatik 2
a
donnerstags
A
15:15
-
16:45
Hs 5
b
donnerstags
B
15:15
-
16:45
Hs 5
Praktikum
Hardware-Praktikum
a
dienstags
B
13:15
-
16:45
Paulinum, P-535, Hardwarelabor
b
dienstags
A
13:15
-
16:45
Paulinum, P-535, Hardwarelabor
c
mittwochs
B
09:15
-
12:45
Paulinum, P-535, Hardwarelabor
d
mittwochs
A
09:15
-
12:45
Paulinum, P-535, Hardwarelabor
e
mittwochs
B
13:15
-
16:45
Paulinum, P-535, Hardwarelabor
f
mittwochs
A
13:15
-
16:45
Paulinum, P-535, Hardwarelabor
Übung [Ergänzende Veranstaltung]
Tutorium zum Hardware-Praktikum für Lehramtsstudierende für Versuch 1 und 2
Diese Verstaltung ist optional und für Lehramtsstudierenden angedacht. Es sind jedoch
alle Studierenden des Moduls willkommen, sofern Platz ist
a
donnerstags
A
11:15
-
12:45
Hs 19
b
donnerstags
B
11:15
-
12:45
Hs 19
10-201-2009
Berechenbarkeit
B.Sc. Informatik
Pflichtmodul
Vorlesung
Berechenbarkeit
donnerstags
17:15
-
18:45
Hs 7
Übung
Berechenbarkeit
a
montags
A
11:15
-
12:45
SG 3-10
b
montags
B
11:15
-
12:45
SG 3-10
c
dienstags
B
11:15
-
12:45
SG 3-11
d
dienstags
A
11:15
-
12:45
SG 3-11
e
mittwochs
B
11:15
-
12:45
SG 3-12
f
mittwochs
A
11:15
-
12:45
SG 3-12
10-201-2011
Praktikum Objektorientierte Programmierung
Modul eingestellt, nur noch für Wiederholer im SS25
B.Sc. Informatik
Praktikum [Ergänzende Veranstaltung]
Objektorientierte Programmierung
für Wiederholer; begrenzte Neuanmeldung nur für Lehramtsstudiengänge und Studiengang
Digital Humanities möglich
montags
17:00
-
20:00
Informatik-Pool A-414
10-201-2107
Rechnernetze
B.Sc. Informatik
Kernmodul
Vorlesung
Rechnernetze
donnerstags
11:15
-
12:45
Felix-Klein-Hs, Paulinum
Übung
Rechnernetze
mittwochs
17:15
-
18:45
Hs 19
10-201-2209
Computergrafik
20 Bachelor Informatik, 5 Lehramt Informatik, 5 Sonstige
B.Sc. Informatik
Kernmodul
Vorlesung
Computergrafik
montags
15:15
-
16:45
Hs 19
Praktikum
Computergrafik
a
dienstags
09:15
-
10:45
Paulinum, P-801
b
dienstags
11:15
-
12:45
SG 3-10
10-201-2210
Datenbankpraktikum
B.Sc. Informatik
Kernmodul
Praktikum
Relationales Datenbankpraktikum
Präsenzveranstaltung nur in der 2. Vorlesungswoche. Abgesehen davon findet das Praktikum
ohne festen Zeitslot in Kleingruppen statt.
freitags
15:15
-
16:45
Hs 19
10-201-2212
Datenbanksysteme 2
B.Sc. Informatik
Kernmodul
Vorlesung
Datenbanksysteme 2
montags
15:15
-
16:45
Hs 1
Übung
Datenbanksysteme 2
a
dienstags
A
15:15
-
16:45
Hs 19
b
dienstags
B
15:15
-
16:45
Hs 19
c
donnerstags
A
15:15
-
16:45
Felix-Klein-Hs, Paulinum
d
donnerstags
B
15:15
-
16:45
Felix-Klein-Hs, Paulinum
10-201-2224
Realisierung von Informationsystemen
Die Übung zu "NoSQL Datenbanken" kann optional besucht werden.
B.Sc. Informatik
Kernmodul
Vorlesung
Mehrrechner-Datenbanksysteme
freitags
09:15
-
10:45
Hs 4
Vorlesung
NoSQL-Datenbanken
donnerstags
11:15
-
12:45
Hs 12
10-201-2317
Natural Language Processing
B.Sc. Informatik
Kernmodul
Vorlesung
Natural Language Processing
dienstags
13:15
-
14:45
Hs 20
Übung
Natural Language Processing
a
dienstags
A
15:15
-
16:45
SG 2-14
b
dienstags
B
15:15
-
16:45
SG 2-14
10-201-2324
Wissensbasierte Systeme
B.Sc. Informatik
Kernmodul
Vorlesung
Beschreibungslogik
montags
13:15
-
14:45
Felix-Klein-Hs, Paulinum
Übung
Beschreibungslogik
mittwochs
13:15
-
14:45
Felix-Klein-Hs, Paulinum
10-201-2401
Formale Argumentation
B.Sc. Informatik
Kernmodul
Vorlesung
Formale Argumentation
donnerstags
09:15
-
10:45
SG 3-12
Übung
Formale Argumentation
freitags
B
09:15
-
10:45
SG 3-12
10-207-0101
Aktuelle Trends in den Digital Humanities
B.Sc. Informatik
Ergänzungsbereich
Übung
Aktuelle Trends in den Digital Humanities: Kafka im digitalen Spiel
mittwochs
11:15
-
12:45
Paulinum, P-701
Seminar
Aktuelle Trends in den Digital Humanities: Kafka im digitalen Spiel
montags
13:15
-
14:45
Paulinum, P-801
10-MAT-BM002
Analysis 2
[für B.Sc. Mathe]
[für B.Sc. Mathe]
B.Sc. Informatik
Ergänzungsbereich
Vorlesung
Analysis 2
montags
11:15
-
12:45
Hs 1
dienstags
11:15
-
12:45
Hs 1
Übung
Analysis 2
a
dienstags
15:15
-
16:45
SG 3-11
b
mittwochs
13:15
-
14:45
SG 3-12
c
montags
09:15
-
10:45
SG 3-11
d
donnerstags
15:15
-
16:45
SG 3-12
Hörsaalübung
Analysis 2
donnerstags
17:15
-
18:45
Hs 2
10-MAT-BM004
Lineare Algebra 2
B.Sc. Informatik
Ergänzungsbereich
Vorlesung
Lineare Algebra 2
montags
13:15
-
14:45
Hs 3
mittwochs
09:15
-
10:45
Hs 3
Übung
Lineare Algebra 2
a
donnerstags
09:15
-
10:45
Paulinum, P-801
b
dienstags
15:15
-
16:45
SG 3-14
c
donnerstags
11:15
-
12:45
SG 3-10
d
dienstags
13:15
-
14:45
SG 3-12
e
freitags
09:15
-
10:45
SG 3-10
Hörsaalübung
Lineare Algebra 2
Die Hörsaalübung ist für das Lehramt eine fakultative Zusatzveranstaltung
freitags
11:15
-
12:45
Hs 2
10-MAT-LA13
Funktionentheorie 1
B.Sc. Informatik
Ergänzungsbereich
Vorlesung
Funktionentheorie 1
montags
11:15
-
12:45
Paulinum, P-801
donnerstags
13:15
-
14:45
SG 3-10
Übung
Funktionentheorie 1
dienstags
17:15
-
18:45
SG 3-10
S25 Studiengang: Informatik-Bachelor 6. Semester
10-201-2010
Bachelorseminar Informatik
B.Sc. Informatik
Pflichtmodul
Forschungs-, Bachelor- und Masterseminar BSV
mittwochs
13:15
-
14:45
Paulinum, P-701
10-201-2105
Formale Modelle
B.Sc. Informatik
Kernmodul
Vorlesung
Logik und Modelltheorie
dienstags
17:15
-
18:45
SG 3-13
Übung
Logik und Modelltheorie
dienstags
B
11:15
-
12:45
SG 3-13
10-201-2206
Interaktive Visuelle Datenanalyse 1
B.Sc. Informatik
Vertiefungsmodul
Vorlesung
Informationsvisualisierung 1
dienstags
15:15
-
16:45
Felix-Klein-Hs, Paulinum
Vorlesung
Interactive Visual Data Mining 1
dienstags
13:15
-
14:45
Hs 19
Praktikum
Interaktive Visuelle Datenanalyse 1
a
n.V.
b
n.V.
10-201-2209
Computergrafik
20 Bachelor Informatik, 5 Lehramt Informatik, 5 Sonstige
B.Sc. Informatik
Kernmodul
Vorlesung
Computergrafik
montags
15:15
-
16:45
Hs 19
Praktikum
Computergrafik
a
dienstags
09:15
-
10:45
Paulinum, P-801
b
dienstags
11:15
-
12:45
SG 3-10
10-201-2210
Datenbankpraktikum
B.Sc. Informatik
Kernmodul
Praktikum
Relationales Datenbankpraktikum
Präsenzveranstaltung nur in der 2. Vorlesungswoche. Abgesehen davon findet das Praktikum
ohne festen Zeitslot in Kleingruppen statt.
freitags
15:15
-
16:45
Hs 19
10-201-2212
Datenbanksysteme 2
B.Sc. Informatik
Kernmodul
Vorlesung
Datenbanksysteme 2
montags
15:15
-
16:45
Hs 1
Übung
Datenbanksysteme 2
a
dienstags
A
15:15
-
16:45
Hs 19
b
dienstags
B
15:15
-
16:45
Hs 19
c
donnerstags
A
15:15
-
16:45
Felix-Klein-Hs, Paulinum
d
donnerstags
B
15:15
-
16:45
Felix-Klein-Hs, Paulinum
10-201-2213
Verifikation
Zusätzliche Informationen zu außercurricularen Angeboten unter https://www.mathcs.uni-leipzig.de/studium/studienorganisation/aussercurriculares-modulangebot
B.Sc. Informatik
Kernmodul
Vorlesung
Introduction to Verification
donnerstags
13:15
-
14:45
Felix-Klein-Hs, Paulinum
Übung
Introduction to Verification
dienstags
13:15
-
14:45
Felix-Klein-Hs, Paulinum
10-201-2224
Realisierung von Informationsystemen
Die Übung zu "NoSQL Datenbanken" kann optional besucht werden.
B.Sc. Informatik
Kernmodul
Vorlesung
Mehrrechner-Datenbanksysteme
freitags
09:15
-
10:45
Hs 4
Vorlesung
NoSQL-Datenbanken
donnerstags
11:15
-
12:45
Hs 12
10-201-2317
Natural Language Processing
B.Sc. Informatik
Kernmodul
Vorlesung
Natural Language Processing
dienstags
13:15
-
14:45
Hs 20
Übung
Natural Language Processing
a
dienstags
A
15:15
-
16:45
SG 2-14
b
dienstags
B
15:15
-
16:45
SG 2-14
10-201-2324
Wissensbasierte Systeme
B.Sc. Informatik
Kernmodul
Vorlesung
Beschreibungslogik
montags
13:15
-
14:45
Felix-Klein-Hs, Paulinum
Übung
Beschreibungslogik
mittwochs
13:15
-
14:45
Felix-Klein-Hs, Paulinum
10-201-2401
Formale Argumentation
B.Sc. Informatik
Kernmodul
Vorlesung
Formale Argumentation
donnerstags
09:15
-
10:45
SG 3-12
Übung
Formale Argumentation
freitags
B
09:15
-
10:45
SG 3-12
FMI08
Mathematics and Machine Learning Internship
B.Sc. Informatik
Kernmodul
Praktikum
Mathematics and Machine Learning Internship
donnerstags
11:15
-
12:45
MPI MIS, Raum A3 01
FMI11
Prozessierung natürlicher Sprache mittels Künstlicher Intelligenz
B.Sc. Informatik
Seminarmodul
Seminar
NLP-KI
freitags
13:15
-
14:45
SG 3-14
Forschungskolloquium Neuromorphe Informationsverarbeitung
B.Sc. Informatik
Seminar
Forschungskolloquium Neuromorphe Informationsverarbeitung
Die Teilnahme von Studierenden am Kolloquium kann nachträglich als Bachelor- bzw.
Masterseminar angerechnet werden, sofern diese begleitend eine Bachelor- bzw. Masterarbeit
in der Abteilung Neuromorphe Informationsverarbeitung anfertigen. Eine selbstständige
Einschreibung von Studierenden über Almaweb ist für diese Veranstaltung nicht vorgesehen.
dienstags
13:15
-
14:45
Paulinum, P-801
letzte Änderung: 2025-04-26+02:00