Lehrstuhl für Mathematik mit Schwerpunkt Symbolic Computation

Lehrveranstaltungen im aktuellen Semester

Vorlesung
Veranstaltung
5670V Computational Logic Di. 15:00 - 16:00 (wöchentlich), Ort: (IM) HS 13, Fr. 12:00 - 14:00 (wöchentlich), Ort: (IM) HS 13, Termine am Dienstag. 18.02.20, Donnerstag. 02.04.20 08:00 - 12:00, Ort: (IM) HS 13, (WIWI) HS 8 Prof. Dr. Martin Kreuzer
5780V Computer Algebra Mo. 10:00 - 12:00 (wöchentlich), Ort: (JUR) HS 14, Mi. 18:00 - 20:00 (wöchentlich), Ort: (IM) HS 13, Termine am Montag. 17.02.20, Donnerstag. 02.04.20 14:00 - 18:00, Ort: (IM) HS 13 Dr. John Abbott Prof. Dr. Martin Kreuzer

Seminar
Veranstaltung
5786S Applied Computer Algebra Termine am Donnerstag. 18.07.19 16:00 - 17:00, Ort: (IM 242) Prof. Dr. Martin Kreuzer

Übung
Veranstaltung
5670Ü Computational Logic Do. 14:00 - 16:00 (wöchentlich), Ort: (IM) HS 11, Fr. 08:00 - 10:00 (wöchentlich), Ort: (IM) HS 12 Prof. Dr. Martin Kreuzer
5780Ü Computer Algebra Di. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 007 Dr. John Abbott Prof. Dr. Martin Kreuzer

Proseminar
Veranstaltung
5787PS Alles logisch oder was? Termine am Freitag. 13.12.19 14:00 - 17:00, Freitag. 17.01.20, Freitag. 24.01.20, Freitag. 31.01.20, Freitag. 07.02.20 14:00 - 18:00, Ort: (IM) SR 010 Prof. Dr. Martin Kreuzer

Oberseminar
Veranstaltung
5783OS NOCAS - Niederbayrisch-Oberösterreichisches Computeralgebraseminar Mo. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 033 Prof. Dr. Martin Kreuzer

In der Lehre ist der Lehrstuhl mit folgenden Themengebieten vertreten:

Algebra und Zahlentheorie
Lineare Algebra
Computeralgebra
Kryptographie
Codierungstheorie
Logik für Informatiker
Algorithmische algebraische Geometrie
Funktionentheorie
Staatsexamensvorbereitung in Algebra und Analysis

Diese Seite teilen