Die dunkel hinterlegten Zellen sind dem Studienhandbuch entnommen; die alphanumerischen Klassencodes aus dem Studienhandbuch geben die Stellung der LVA im Curriculum an. Die hell hinerlegten Zellen geben die angebotenen LVAs im Semester 2023s laut KUSSS wieder; diese sind durch die LVA-Nummer identifiziert.[Alle Kursklassen anzeigen]
Klassencode bzw. LVA-Nummer und TitelLehrende(r)WECTSSSt.
404MAJS20: Mandatory subjects33,00
........ 404ANDM20: Algebra, Number Theory, and Discrete Mathematics12,00
................ 404ANDMCA2V20 / 368.302: VL Computer Algebra IIManuel Kauers3,002,0
................ 404ANDMCOAV20 / 326.079: VL Computer Analysis Weitere InfosVeronika Elisabeth Pillwein3,002,0
........ 404LFMT20: Logic, Formal Methods, and Theoretical Computer Science12,00
................ 921CGELSASK19 / 338.021: KV SAT SolvingMartina Seidl;
Adrian Rebola Pardo		3,002,0
........ 404PCSD20: Practical Computer Science and Software Development9,00
................ 404PCSDPSTK20 / 326.041: KV Practical Software Technology Weitere InfosIoana Cleopatra Pau4,503,0
404ELEC21: Electives34,50
........ 404ANAS12: a. Analysis0,00-7,50
................ 201MASEANAS18 / 324.158: SE Seminar Analysis: SpektraltheoriePaul Müller;
Richard Lechner;
Markus Passenbrunner		 W3,002,0
................ 201MASEANAS18 / 324.117: SE Seminar Analysis: Optimal recovery with function valuesMario Ullrich W3,002,0
........ 404NUAN20: b. Numerical analysis0,00-3,00
................ 201MASENUMS18 / 327.006: SE Numerical Analysis: ForschungsseminarHerbert Egger;
Helmut Gfrerer		 W3,002,0
................ 201MASENUMS18 / 327.014: SE Numerical Analysis: Fractional differential equationsLuca Gerardo-Giorda;
Marvin Fritz		 W3,002,0
................ 201MASENUMS18 / 327.018: SE Numerical Analysis: Electric Machine SimulationHerbert Egger W3,002,0
........ 404PTMS20: c. Probability theory and mathematical statistics0,00-12,00
................ 201WTMSSTSV20 / 369.116: VO Stochastic Simulation Weitere InfosAmira Meddah3,002,0
................ 201WTMSSTSU20 / 369.117: UE Stochastic Simulation Weitere InfosDevika Khurana1,501,0
........ 404MMNS20: d. Mathematical methods in the natural sciences0,00-3,00
........ 404MMEN20: e. Mathematical methods in engineering0,00-3,00
................ 201MASEMMTS18 / 323.008: SE Mathematical Methods in EngineeringRonny Ramlau W3,002,0
........ 404MMES20: f. Mathematical methods in the economic sciences0,00-3,00
........ 404OPTI20: g. Optimization0,00-3,00
........ 404SYCO21: h. Symbolic computation0,00-27,00
................ 993TARKKPLV21 / 351.009: VL Knowledge Representation and LearningJohannes Fürnkranz;
Josef Küng		3,002,0
................ 201MASESYMS20 / 326.0CA: SE Seminar symbolic computation: Computer-Algebra II Weitere InfosCarsten Schneider W3,002,0
................ 201MASESYMS20 / 326.096: SE Seminar symbolic computation: Projektseminar Algorithmische Kombinatorik II Weitere InfosPeter Paule W3,002,0
................ 201MASESYMS20 / 326.060: SE Seminar symbolic computation: Geschichte und Philosophie der MathematikJosef Schicho W3,002,0
................ 201SYMRSP2V20 / 326.083: VL Special Topics symbolic computation: Orthogonale Polynome und Symbolic ComputationVeronika Elisabeth Pillwein3,002,0
................ 201SYMRSP2V20 / 326.080: VL Special Topics symbolic computation: Symbolische Lineare Algebra Weitere InfosCarsten Schneider3,002,0
................ 201SYMRSP2V20 / 326.084: VL Special Topics symbolic computation: Algorithmische Algebraische GeometrieGünter Landsmann3,002,0
................ 201SYMRSP2V20 / 326.075: VL Special Topics symbolic computation: Spezielle Funktionen und Symbolische Summation II Weitere InfosSilviu Radu3,002,0
................ 201SYMRSP2U20 / 326.00D: UE Special Topics symbolic computation: Special Functions and Symbolic Summation IISilviu Radu1,501,0
........ 404LOSD21: i. Logic and software design0,00-33,00
................ 201LOSDFPLV13 / 326.0FS: VL Formal Semantics of Programming Languages Weitere InfosWolfgang Schreiner3,002,0
................ 201LOSDPLSK20 / 326.054: KV Practical in Logic and Software Design: Funktionales Programmieren Weitere InfosTeimuraz Kutsia3,002,0
................ 201LOSDPLSK20 / 326.062: KV Practical in Logic and Software Design: Programmieren in Mathematica Weitere InfosRalf Hemmecke3,002,0
................ 201LOSDRCLV14 / 326.065: VL Rewriting in Computer Science and Logic Weitere InfosTeimuraz Kutsia3,002,0
................ 201MASELSDS20 / 326.099: SE Seminar logic and software design: Projektseminar Formale Methoden und automatisches Beweisen II Weitere InfosWolfgang Schreiner;
Teimuraz Kutsia;
Wolfgang Windsteiger		 W3,002,0
................ 201LOSDSP2V20 / 326.00E: VL Special topics logic and software design: Formale Sprachen und formale GrammatikenNikolaj Popov W3,002,0
................ 201LOSDSP2V20 / 326.076: VL Special topics logic and software design: Formale Modelle Paralleler und Verteilter Systeme Weitere InfosWolfgang Schreiner W3,002,0
................ 201LOSDSP1U20 / 326.008: UE Special topics logic and software design: Rewriting in Computer Science and LogicIoana Cleopatra Pau W1,501,0
........ 404ADMA20: j. Algebra and discrete mathematics0,00-25,50
................ 201MASEADMS20 / 368.000: SE Seminar algebra and discrete mathematics: Research SeminarErhard Aichinger;
Manuel Kauers		 W3,002,0
................ 201ADMASP2V20 / 368.157: VL Special Topics algebra and discrete mathematics: SemigroupsPeter Fuchs W3,002,0
................ 201ADMASP2V20 / 368.165: VL Special Topics algebra and discrete mathematics: Combinatorial GeometryDmitrii Zhelezov;
Audie Warren		 W3,002,0
........ 404FUAN20: k. Functional analysis0,00-3,00
........ 404GEOM21: l. Geometry0,00-22,50
................ 201GEOMCOGV14 / 356.190: VL Computational Geometry Weitere InfosBert Jüttler3,002,0
................ 201GEOMCOGU14 / 356.191: UE Computational Geometry Weitere InfosLisa Groiss1,501,0
................ 201MASEGEOS18 / 356.300: SE Geometry: Recent Results in Computer Aided Geometric Design Weitere InfosBert Jüttler;
Lisa Groiss		 W3,002,0
........ 404KBMS20: m. Knowledge-based Mathematical Systems0,00-18,00
................ 201MASEWISS18 / 357.507: SE Seminar Wissensbasierte mathematische Systeme Weitere InfosLuca Gerardo-Giorda;
Susanne Saminger-Platz;
Thomas Vetterlein		 W3,002,0
........ 404NUTH20: n. Number theory0,00-27,00
................ 201ZATHSP2V20 / 325.015: VL Special Topics Number theoryArne Winterhof W3,002,0
................ 201ZATHSP1U20 / 325.016: UE Special Topics Number theoryArne Winterhof W1,501,0
................ TM1WNVOZNUM / 325.006: VO Number-theoretic Methods in Numerical Analysis Weitere InfosFriedrich Pillichshammer3,002,0
........ 404SOSK20: o. Soft Skills0,00-6,00
................ GS-BC / 536.020: VO Ethics and Gender Studies: Gender in Technological ProcessesWaltraud Ernst3,002,0
................ GS-ME-TN / 536.027: KV Gender Studies Managing Equality TN: Gender in Naturwissenschaft und TechnikLaura Dobusch3,002,0
404MAAR20: Master's Thesis Seminars16,00
........ 404MAARMA2S20 / 325.017: SE Master's Thesis Seminar IIGerhard Larcher;
Friedrich Pillichshammer		8,002,0
........ 404MAARMA2S20 / 326.113: SE Master's Thesis Seminar IIPeter Paule;
Carsten Schneider		8,002,0
........ 404MAARMA2S20 / 356.504: SE Master's Thesis Seminar IIBert Jüttler8,002,0
........ 404MAARMA2S20 / 369.307: SE Master's Thesis Seminar II Weitere InfosEvelyn Buckwar8,002,0
........ 404MAARMA2S20 / 368.162: SE Master's Thesis Seminar IIManuel Kauers;
Erhard Aichinger;
Peter Fuchs;
Oliver Roche-Newton		8,002,0
........ 404MAARMA2S20 / 357.511: SE Master's Thesis Seminar II Weitere InfosLuca Gerardo-Giorda;
Susanne Saminger-Platz;
Thomas Vetterlein		8,002,0
404FREL20: Free electives12,00
Master's Thesis20,00
Master's Examination4,50
Erzeugt am 14.02.2023