UnivIS Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg - Semester: WS 2021/2022
  Config

---

Veranstaltungen anzeigen


Bachelor-Studiengänge und vertieftes Lehramt

Die Zuordnung der Lehrveranstaltungen der Bachelor-Studiengänge zu Semestern berücksichtigt einen Studienbeginn im Wintersemester und stellt nur eine Empfehlung dar. In Absprache mit der Studienfachberatung können Lehrveranstaltungen möglicherweise auch in anderen Semestern belegt werden.

1. Semester

Analysis I

VORL; Präsenz; 4 SWS; Mo, Do, 12:00 - 14:00, H11 		WPF DS-BA 1
PF M-BA 1
PF WM-BA 1
PF M-LA-v 1
PF Ph-BA 1
PF INF-LAG-M 1-2
PF TM-BA 1 		Schneider, C.  

Tafelübung zur Analysis I

UE; Präsenz; 2 SWS; Di, 12:00 - 14:00, H12; Mi, 10:00 - 12:00, H13 		PF M-BA 1
PF M-LA-v 1
PF TM-BA 1
PF WM-BA 1
WPF DS-BA 1
PF Ph-BA 1
PF INF-LAG-M 1-2 		Schneider, C.  

 

Übungen zur Analysis I

UE; Präsenz; 2 SWS 		PF M-BA 1
PF TM-BA 1
PF WM-BA 1
PF Ph-BA 1
PF INF-LAG-M 1-2
PF M-LA-v 1
WPF DS-BA 1 		Schneider, C.  

    Mo8:00 - 10:00Übung 1 / 01.250-128  N.N. 

    Mo8:00 - 10:00Übung 5 / 01.254-128  N.N. 

    Mo14:00 - 16:00Übung 5 / 01.254-128  N.N. 

    Mo14:00 - 16:0004.363  N.N. 

    Mo16:00 - 18:00Übung 4 / 01.253-128  N.N. 

    Mo16:00 - 18:00Übung 5 / 01.254-128  N.N. 

    Mo16:00 - 18:00H13  N.N. 

    Di8:00 - 10:00Übung 4 / 01.253-128  N.N. 

    Di8:00 - 10:00Übung 5 / 01.254-128  N.N. 

    Di8:00 - 10:00Übung 1 / 01.250-128  N.N. 

    Di
Einzeltermin am 9.11.2021		12:00 - 14:00
12:15 - 14:00		Übung 5 / 01.254-128
KS II		  N.N. 

    Di16:00 - 18:00Übung 5 / 01.254-128  N.N. 

    Mi14:00 - 16:00H13  N.N. 

    Mi16:00 - 18:00Übung 5 / 01.254-128  N.N. 

    Do8:00 - 10:00Übung 4 / 01.253-128  N.N. 

    Fr8:00 - 10:00Übung 4 / 01.253-128  N.N. 

Lineare Algebra I

VORL; Online/Präsenz; 4 SWS; Mi, Fr, 12:00 - 14:00, H11 		PF M-BA 1
PF TM-BA 1
PF WM-BA 1
PF Ph-BA 1
PF INF-LAG-M 1-2
PF M-LA-v 1
WPF DS-BA 1 		Meusburger, C.  

 

Tafelübungen zur Linearen Algebra I

UE; Online/Präsenz; 2 SWS 		PF M-BA 1
PF TM-BA 1
PF WM-BA 1
PF M-LA-v 1
PF INF-LAG-M 1-2
PF Ph-BA 1
WPF DS-BA 1 		Meusburger, C.  

    Di14:00 - 16:00H13  N.N. 

    Do14:00 - 16:00H12  N.N. 

 

Übungen zur Linearen Algebra I

UE; Präsenz; 2 SWS 		PF M-BA 1
PF TM-BA 1
PF WM-BA 1
PF INF-LAG-M 1-2
PF M-LA-v 1
WPF DS-BA 1 		Meusburger, C.  

    n.V.    N.N. 

    Mi16:00 - 18:00Übung 2 / 01.251-128  N.N. 

    Mi16:00 - 18:00Übung 4 / 01.253-128  N.N. 

    Do8:00 - 10:00Übung 2 / 01.251-128  N.N. 

    Do14:00 - 16:0004.363  N.N. 

    Do14:00 - 16:00Übung 1 / 01.250-128  N.N. 

    Do16:00 - 18:00Übung 2 / 01.251-128  N.N. 

    Fr8:00 - 10:00Übung 1 / 01.250-128  N.N. 

    Fr10:00 - 12:00Übung 1 / 01.250-128  N.N. 

    Fr10:00 - 12:00Übung 4 / 01.253-128  N.N. 

 

Computerorientierte Mathematik 1

V/UE; 3 SWS; Übungen n.V. 		PF WM-BA 1 Bauer, M.  

    Do10:00 - 12:00PC-Pool 1 / 00.230-128  Bauer, M. 

    Fr10:00 - 12:00PC-Pool 1 / 00.230-128  Bauer, M. 

 

Übungen zu Computerorientierte Mathematik I

UE; 2 SWS 		PF WM-BA 1 Bauer, M.  

    Mo10:00 - 12:00PC-Pool 1 / 00.230-128  Bauer, M. 

    Mo14:00 - 16:00PC-Pool 1 / 00.230-128  Bauer, M. 

    Fr14:00 - 16:00PC-Pool 1 / 00.230-128  Bauer, M. 


3. Semester

Einführung in die Numerik (= Numerische Mathematik)

VORL; Präsenz; 4 SWS; Die Vorlesung findet in Präsenz statt, wenn nötig wird auf Online-Lehre ausgewichen.; Mo, 14:00 - 16:00, H12, (außer Mo 20.12.2021); Mi, 12:00 - 14:00, H12; Einzeltermin am 20.12.2021, 11:00 - 12:00, 01.382 		WPF M-LA-v 7
PF M-BA 3
PF TM-BA 3
WPF WM-BA 5
WPF DS-BA 3 		Burger, M.
Wacker, Ph. 		 

 

Matlab-Kurs zur Einführung in die Numerik

UE; Online/Präsenz 		WPF DS-BA 3 Burger, M.
Föcke, L. 		 

    Einzeltermin am 11.10.20218:00 - 10:00H13  Föcke, L. 

    Einzeltermin am 11.10.202110:00 - 12:00PC-Pool 1 / 00.230-128  Föcke, L. 

    Einzeltermin am 12.10.20218:00 - 10:00H13  Föcke, L. 

    Einzeltermin am 12.10.202110:00 - 12:00PC-Pool 1 / 00.230-128  Föcke, L. 

    Einzeltermin am 13.10.20218:00 - 10:00H13  Föcke, L. 

    Einzeltermin am 13.10.202110:00 - 12:00PC-Pool 1 / 00.230-128  Föcke, L. 

 

Tutorium zur Einführung in die Numerik

UE; Online; 1 SWS; Die Tutorien finden online statt. Den Link zur Veranstaltung finden Sie auf StudOn. 		WPF M-LA-v 7
PF M-BA 3
PF TM-BA 3
WPF WM-BA 5
WPF DS-BA 3 		Burger, M.
Föcke, L. 		 

    Mo9:00 - 10:00Praktikum 2 - PC-Pool / 00.327-128  Föcke, L. 

    Di16:00 - 17:00Praktikum 2 - PC-Pool / 00.327-128  Föcke, L. 

 

Übungen zur Einführung in die Numerik

UE; Online; 2 SWS; Die Übungen finden online statt. Den Link zur Veranstaltung finden Sie auf StudOn. 		WPF M-LA-v 7
PF M-BA 3
PF TM-BA 3
WPF WM-BA 5
WPF DS-BA 3 		Burger, M.
Föcke, L. 		 

    Mo16:00 - 18:00Übung 2 / 01.251-128  N.N. 

    Mi16:00 - 18:0004.363  N.N. 

    Do12:00 - 14:00Übung 5 / 01.254-128  N.N. 

Lineare und Kombinatorische Optimierung

VORL; Präsenz; 4 SWS; Mi, 16:00 - 18:00, H12; Do, 10:00 - 12:00, H13; Sollten Sie sich für diesen Kurs interessieren, melden Sie sich im zugehörigen Studonkurs an. 		WPF WING-MA 1-3
PF WM-BA ab 3
WPF M-BA ab 3
WPF TM-BA ab 3
WPF M-LA-v 7
WPF DS-BA 3
WPF INF-BA 3
WPF INF-MA 1
WPF WING-BA-WIWI-WBWL 3-5 		Weninger, D.  

 

Übung zur Linearen und Kombinatorischen Optimierung

UE; 2 SWS; Bei Bedarf kann auch ein alternativer Übungstermin angeboten werden. Absprache in der ersten Vorlesung. 		WPF WING-MA 1-3
PF WM-BA 3
WPF M-BA 5
WPF TM-BA 5
WPF M-LA-v 7
WPF DS-BA 3
WPF INF-BA 3
WPF INF-MA 1
WPF WING-BA-WIWI-WBWL 3-5 		Weninger, D.  

    Di12:00 - 14:00Übung 1 / 01.250-128  N.N. 

    Mi8:00 - 10:00Übung 1 / 01.250-128  N.N. 

    Mi14:00 - 16:0001.255-128  N.N. 

Algebra

VORL; Präsenz; 4 SWS; Di, Do, 8:00 - 10:00, H12 		PF M-LA-v 5
PF M-BA 3
WPF TM-BA 5
WPF DS-BA-MTG 5 		Ruppert, W.  

Tutorium zur Algebra

TUT; Online; Mi, 16:00 - 18:00, Zoom-Webinar 		PF M-LA-v 5
PF M-BA 3
WPF TM-BA 5
WPF DS-BA-MTG 5 		Ruppert, W.  

 

Übungen zur Algebra

UE; Präsenz; 2 SWS 		PF M-LA-v 5
PF M-BA 3
WPF TM-BA 5
WPF DS-BA-MTG 5 		Ruppert, W.  

    Mo10:00 - 12:00Zoom-Meeting  Ruppert, W. 

    Mo12:00 - 14:00Übung 4 / 01.253-128  N.N. 

    Mo12:00 - 14:00H13  Ruppert, W. 

    Fr12:00 - 14:00Übung 5 / 01.254-128  N.N. 

 

Übungen zur Algebra

UE; Präsenz; 2 SWS 		PF M-LA-v 5
PF M-BA 3
WPF TM-BA 5
WPF DS-BA-MTG 5 		Ruppert, W.  

    Mo10:00 - 12:00Zoom-Meeting  Ruppert, W. 

    Mo12:00 - 14:00H13  Ruppert, W. 

    Mo12:00 - 14:00Übung 4 / 01.253-128  N.N. 

    Fr12:00 - 14:00Übung 5 / 01.254-128  N.N. 

Analysis für Lehramt

VORL; Präsenz; 4 SWS; Di, 10:00 - 12:00, H13; Fr, 8:00 - 10:00, H13 		PF M-LA-v 3 Van Steirteghem, B.  

Tafelübung zu Analysis für Lehramt

UE; Präsenz; 1 SWS; Di, 12:00 - 14:00, H13 		PF M-LA-v 3 Van Steirteghem, B.  

Analysis III

VORL; Präsenz; 4 SWS; Mo, 10:00 - 12:00, H12, (außer Mo 20.12.2021); Fr, 12:00 - 14:00, H12 		WPF M-BA 3
WPF WM-BA 3
WPF DS-BA-MTG 5
WPF DS-BA-MSD 5 		Grün, G.  

Fragestunde zur Analysis 3

TUT; Online; 1 SWS; Mo, 13:00 - 14:00, Zoom-Webinar 		  Grün, G.  

 

Übungen zu Analysis III

UE; Präsenz; 2 SWS 		WPF M-BA 3
WPF TM-BA 3
WPF WM-BA 3
WPF DS-BA-MTG 5
WPF DS-BA-MSD 5 		Grün, G.  

    Di10:00 - 12:00Übung 4 / 01.253-128  N.N. 

    Mi12:00 - 14:00Übung 5 / 01.254-128  N.N. 

    Mi14:00 - 16:00Übung 4 / 01.253-128  N.N. 

    Mi14:00 - 16:00H12  N.N. 

    Do12:00 - 14:00Übung 2 / 01.251-128  N.N. 

    Fr10:00 - 12:00Übung 2 / 01.251-128  N.N. 

Monad-Based Programming [MBProg]

V/UE; Präsenz; 4 SWS; ECTS: 7,5; Fr, 12:15 - 13:45, 00.131-128; Mi, 16:15 - 17:45, 01.021 		WF M-BA ab 3
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-MA ab 1 		Goncharov, S.  

Ontologien im Semantic Web [OntoSWeb]

V/UE; Präsenz; 4 SWS; ECTS: 7,5; Die Unterrichtssprache wird im Einvernehmen mit den Teilnehmern bestimmt / The course language will be agreed upon with the participants; Mo, 16:15 - 17:45, 01.255-128; Di, 12:15 - 13:45, 01.255-128 		WF M-BA ab 3
WF M-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WPF DS-BA-DW 6
WPF AI-MA ab 1 		Schröder, L.  


5. Semester

Numerics of Partial Differential Equations I [NuPDE]

VORL; Präsenz; 4 SWS; ben. Schein; ECTS: 10; Di, Fr, 10:00 - 12:00, 04.363 		PF TM-BA ab 5
WPF M-BA ab 5
WPF CAM-MA-NASi 1
WF M-MA-AnaSto ab 1
WPF DS-BA-SN 5
WF CE-MA-AM ab 1 		Bänsch, E.  

 

Tutorial to Numerics of Partial Differential Equations I [NuPDGU]

UE; 2 SWS 		PF TM-BA 5
WPF M-BA ab 5
WPF DS-BA-SN 5 		Bänsch, E.  

    Di14:00 - 16:00Übung 4 / 01.253-128  N.N. 

    Mi8:00 - 10:00Übung 5 / 01.254-128  N.N. 

Wahrscheinlichkeitstheorie

VORL; Online/Präsenz; 4 SWS; Di, Do, 14:15 - 16:00, Zoom-Meeting; Do, 14:15 - 16:00, Übung 3 / 01.252-128; https://ucph-ku.zoom.us/j/68829880507?pwd=K290SEFwUkhGNnlpcEhjdHRFaStvUT09 		PF WM-BA 5
WPF M-BA ab 5
WPF DS-MA-MSD ab 1 		Krüger, T.  

Tutorium zur Wahrscheinlichkeitstheorie

TUT; Präsenz; 1 SWS; Di, 12:00 - 13:00, Übung 4 / 01.253-128 		PF WM-BA 5
WPF M-BA ab 5
WPF DS-MA-MSD ab 1 		Quaschner, M.
Krüger, T. 		 

 

Übungen zu Wahrscheinlichkeitstheorie

UE; Präsenz; 2 SWS; Schein; ECTS: 10 		PF WM-BA 5
WPF M-BA ab 5
WPF DS-MA-MSD ab 1 		Krüger, T.  

    Do16:00 - 18:00Übung 5 / 01.254-128  N.N. 

Funktionentheorie II

VORL; Präsenz; 2 SWS; ECTS: 3; Fr, 14:00 - 16:00, H13 		PF M-BA 4-6
PF M-LA-v 8 		Neeb, K.-H.  

 

Übungen zur Funktionentheorie II

UE; Präsenz; 2 SWS; ECTS: 2 		PF M-BA 4-6
PF M-LA-v 8 		Neeb, K.-H.  

    Mo12:00 - 14:00Übung 5 / 01.254-128  Neeb, K.-H. 

Kryptographie I

VORL; Präsenz; 4 SWS; Mi, 8:00 - 10:00, H12; Fr, 10:00 - 12:00, H12 		WPF M-LA-v 6-9
WPF M-BA ab 4
WPF M-MA-AlgGeo ab 1 		Ruppert, W.  

Kryptographie für Lehramt

VORL; Präsenz; 2 SWS; ECTS: 5; Mi, 8:00 - 10:00, H12; Fr, 10:00 - 12:00, H12; bis zum 17.12.2021 		WPF M-LA-v 6-9 Ruppert, W.  

Übungen zur Kryptographie für Lehramt

VORL; Präsenz; 1 SWS; Fr, 12:00 - 14:00, H13; Fr, 8:15 - 9:45, 0.68; bis zum 17.12.2021 		WPF M-LA-v 6-9 Ruppert, W.  

 

Übungen zur Kryptographie I

UE; Präsenz; 2 SWS 		WPF M-LA-v 6-9
WPF M-BA ab 4
WPF M-MA-AlgGeo ab 1 		Ruppert, W.  

    Fr8:15 - 9:450.68  N.N. 

    Fr12:00 - 14:00H13  Ruppert, W. 

Seminar zum Querschnittmodul Darstellungstheorie

HS; Präsenz; 2 SWS; Mi, 16:00 - 18:00, Übung 1 / 01.250-128 		WPF M-BA ab 4
WPF WM-BA ab 4
WF M-LA-v ab 4 		Van Steirteghem, B.  

Geometrie von Mannigfaltigkeiten

VORL; Präsenz; 4 SWS; Mi, 10:00 - 12:00, H12; Di, 16:00 - 18:00, H12 		WF M-BA ab 5
WF M-LA-v ab 5
WPF DS-MA-MTG ab 1
WF M-MA ab 1
WF TM-MA ab 1
WF WM-MA ab 1
WF M-MA-AlgGeo ab 1
WF M-MA-AnaSto ab 1 		Neeb, K.-H.  

Übungen zur Geometrie von Mannigfaltigkeiten

UE; Präsenz; 2 SWS; Di, 10:00 - 12:00, H12 		WF M-BA ab 5
WF M-LA-v ab 5
WPF DS-MA-MTG ab 1
WF M-MA ab 1
WF M-MA-AlgGeo ab 1
WF M-MA-AnaSto ab 1
WF TM-MA ab 1
WF WM-MA ab 1 		Neeb, K.-H.  

Seminar Niedrigdimensionale Topologie: Zopfgruppen und Knotentheorie

HS; Präsenz; 2 SWS; Di, 14:00 - 18:00, Übung 3 / 01.252-128 		  Lechner, G.  

Seminar zum Querschnittmodul Topologie

HS; Präsenz; 2 SWS; ECTS: 5; Di, 14:00 - 18:00, Übung 3 / 01.252-128 		WF M-BA ab 4
WF M-LA-v ab 5 		Lechner, G.  

Spektraltheorie

VORL; Präsenz; 2 SWS; Di, 16:00 - 18:00, H13 		WF M-BA 6
WF M-MA ab 1
WF Ph-MA ab 1 		Lechner, G.  

Übung zur Spektraltheorie

UE; Präsenz; 2 SWS; Do, 10:00 - 12:00, Übung 4 / 01.253-128 		  Lechner, G.  

Stochastische Modellbildung

VORL; 4 SWS; Di, 14:00 - 16:00, H12; Do, 16:00 - 18:00, H12 		PF M-BA 4
PF WM-BA 4
PF M-LA-v 4
PF TM-BA 4 		Neuschel, Th.  

 

Tutorium zur Stochastischen Modellbildung

TUT; 1 SWS 		PF M-BA 4
PF TM-BA 4
PF WM-BA 4
PF M-LA-v 4 		Neuschel, Th.  

    Di13:00 - 14:00Übung 4 / 01.253-128  N.N. 

    Mi9:00 - 10:00Übung 2 / 01.251-128  N.N. 

    Mi10:00 - 11:00Übung 2 / 01.251-128  N.N. 

 

Übungen zur Stochastischen Modellbildung

UE; Präsenz; 2 SWS 		PF M-BA 4
PF TM-BA 4
PF WM-BA 4
PF M-LA-v 4 		Neuschel, Th.  

    Mo10:00 - 12:00Übung 2 / 01.251-128  N.N. 

    Mo12:00 - 14:00Zoom-Webinar  N.N. 

    Di16:00 - 18:00Übung 2 / 01.251-128  N.N. 

    Mi14:00 - 16:00Übung 2 / 01.251-128  N.N. 

Mathematisches Seminar "Variationsmethoden in der Angewandten Mathematik"

HS; 2 SWS; Zeit und Raum n.V. 		WPF M-LA-v ab 5
WPF M-BA ab 5
WPF TM-BA ab 5
WPF WM-BA ab 5 		Burger, M.
Friedrich, M. 		 

Mathematische Modellierung Theorie [MaMoThe]

VORL; 2 SWS; Mo, 12:00 - 14:00, Übung 2 / 01.251-128 		WF INF-MA ab 1
WPF ILS-MA ab 1
PF TM-BA 5
WPF M-LA-v 7
WPF M-BA 5
WPF WM-BA 5
WPF DS-BA-SN 5
WPF ILS-BA ab 5
WF INF-BA ab 5 		Friedrich, M.  

 

Mathematische Modellierung Praxis [MaMoPra]

PR; 2 SWS; ECTS: 5 		WPF ILS-BA ab 5
WPF M-BA 5
PF TM-BA 5
WPF WM-BA 5
WPF M-LA-v 7
WPF DS-BA 5
WPF DS-BA-SN 5
WPF ILS-MA ab 1
WF INF-BA ab 5
WF INF-MA ab 1 		Friedrich, M.  

    Mi12:00 - 14:00Übung 2 / 01.251-128  Friedrich, M. 

 

Übungen zur Mathematische Modellierung Theorie [MaMoTheU]

UE; 2 SWS 		WPF M-LA-v 7
WPF M-BA 5
PF TM-BA 5
WPF WM-BA 5
WPF DS-BA-SN 5
WPF ILS-MA ab 1
WPF ILS-BA ab 5
WF INF-BA ab 5
WF INF-MA ab 1 		Friedrich, M.  

    Mo16:00 - 17:30Übung 1 / 01.250-128  N.N. 

Nichtlineare Optimierung

VORL; Online/Präsenz; 4 SWS; Di, 8:00 - 10:00, H13; Do, 12:00 - 14:00, H13 		WPF M-BA ab 5
WPF WM-BA ab 5
WPF M-LA-v 7
WPF TM-BA ab 5
WPF DS-BA-DO 5 		Achtziger, W.  

 

Übungen zu Nichtlinearer Optimierung

UE; Präsenz; 2 SWS 		WPF M-BA ab 5
WPF WM-BA ab 5
WPF M-LA-v 7
WPF TM-BA ab 5
WPF DS-BA-DO 5 		Achtziger, W.
Kanzler, D. 		 

    Mo10:00 - 12:0004.363  Kanzler, D. 

    Mo14:00 - 16:00Übung 1 / 01.250-128  Kanzler, D. 

 

Introduction to Operator Algebras

VORL; Präsenz; 4 SWS 		  Li, K.  

    Di14:00 - 16:00Übung 5 / 01.254-128  N.N. 

    Mi14:00 - 16:00Übung 5 / 01.254-128  N.N. 

Übung zu Introduction to Operator Algebras

UE; Präsenz; 2 SWS; Fr, 14:00 - 16:00, Übung 5 / 01.254-128 		  Li, K.  

Seminar Diskrete Optimierung

HS; 2 SWS; Zeit und Raum n.V. 		WPF M-BA 4
WF TM-BA 4
WF WM-BA 4
WF M-LA-v 4 		Rolfes, J.  

Seminar zum Querschnittmodul Lineare und nichtlineare Systeme

HS; Online; 2 SWS; Di, 14:00 - 16:00; Sollten Sie sich für diesen Kurs interessieren, melden Sie sich im zugehörigen Studonkurs an. 		WPF M-BA ab 4
WPF TM-BA ab 4
WPF WM-BA ab 4 		Weninger, D.  

Partielle Differentialgleichungen I

VORL; Präsenz; 4 SWS; ECTS: 10; in Absprache Hybrid synchron; Mo, 10:00 - 12:00, Übung 5 / 01.254-128; Do, 10:00 - 12:00, Übung 1 / 01.250-128 		WPF M-BA ab 5
WPF WM-BA ab 5
WPF M-MA ab 1
WPF TM-MA ab 1
WPF WM-MA ab 1
WPF M-LA-v ab 5
WPF TM-BA 5
WPF DS-MA-MTG ab 1
WPF DS-BA-MTG 5
WPF DS-MA-SN ab 1 		Meinlschmidt, H.  

 

Übungen zu Partielle Differentialgleichungen I

UE; Präsenz; 2 SWS; in Absprache Hybrid synchron 		WPF M-BA ab 5
WPF WM-BA ab 5
WPF M-MA ab 1
WPF TM-MA ab 1
WPF WM-MA ab 1
WPF M-LA-v ab 5
WPF DS-MA-MTG ab 1
WPF DS-BA-MTG 5
WPF DS-MA-SN ab 1 		Meinlschmidt, H.  

    Do12:00 - 14:00Übung 1 / 01.250-128  N.N. 

Advanced Mechanized Reasoning in Coq [AMeRiCo]

V/UE; 4 SWS; ECTS: 7,5; Di, Mi, 18:15 - 19:45, 01.151-128 		WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WF M-BA ab 5
WF M-MA ab 1
WPF AI-MA ab 1 		Litak, T.  

Algebra des Programmierens [AlgProg]

V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 01.255-128; Do, 8:15 - 9:45, 01.255-128 		WPF INF-MA ab 2
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 2 		Milius, S.  

Formale Methoden der Softwareentwicklung [FMSoft]

V/UE; 4 SWS; ECTS: 7,5; Mo, Do, 14:15 - 15:45, 01.255-128 		WPF INF-BA-V-THI ab 4
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-BA ab 4
WF M-MA ab 1
WF IIS-MA ab 1
WF WINF-BA ab 4 		Litak, T.
Wild, P. 		 


Bachelor-Seminare

Bachelorseminar "Topologie"

HS; Präsenz; 2 SWS; ECTS: 5; Di, 14:00 - 18:00, Übung 3 / 01.252-128 		PF M-BA 6 Lechner, G.  

Bachelorseminar "Variationsmethoden in der Angewandten Mathematik"

HS; 2 SWS; Zeit und Raum n.V. 		WPF M-BA ab 5
WPF TM-BA ab 5
WPF WM-BA ab 5 		Burger, M.
Tenbrinck, D.
Wacker, Ph.
Friedrich, M. 		 

Bachelorseminar "Diskrete Optimierung"

HS; 2 SWS; Zeit und Raum n.V. 		WPF M-BA 6
WPF WM-BA 6
WPF TM-BA 6 		Rolfes, J.  

   

---
Diese Seite zum Drucken vorbereiten