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.[Nur angebotene LVAs anzeigen]
Klassencode bzw. LVA-Nummer und TitelLehrende(r)WECTSSSt.
404MAJS20: Mandatory subjects33,00
........ 404ANDM20: Algebra, Number Theory, and Discrete Mathematics12,00
................ 404ANDMACOV20: VL Algebraic combinatorics3,002,0
................ 404ANDMANTV20: VL Applied Number Theory3,002,0
................ 404ANDMCA2V20: VL Computer Algebra II3,002,0
........................ 368.302: VL Computer Algebra IIManuel Kauers
................ 404ANDMCOAV20: VL Computer Analysis3,002,0
........................ 326.079: VL Computer Analysis Weitere InfosVeronika Elisabeth Pillwein
........ 404LFMT20: Logic, Formal Methods, and Theoretical Computer Science12,00
................ 404LFMTAURV20: VL Automated Reasoning3,002,0
................ 404LFMTMVLV20: VL Manyvalued Logic3,002,0
................ 404LFMTML1V20: VL Mathematical logic 13,002,0
................ 921CGELSASK19: KV SAT Solving3,002,0
........................ 338.021: KV SAT SolvingMartina Seidl;
Adrian Rebola Pardo
........ 404PCSD20: Practical Computer Science and Software Development9,00
................ 921SOENFMSK13: KV Formal Methods in Software Development4,503,0
................ 404PCSDPSTK20: KV Practical Software Technology4,503,0
........................ 326.041: KV Practical Software Technology Weitere InfosIoana Cleopatra Pau
404ELEC21: Electives34,50
........ 404ANAS12: a. Analysis0,00-7,50
................ TMAPAVODYNA: VL Dynamische Systeme und Chaos3,002,0
................ TM1WAUEDYNA: UE Dynamische Systeme und Chaos1,501,0
................ 201MASEANAS18: SE Seminar Analysis W3,002,0
........................ 324.158: SE Seminar Analysis: SpektraltheoriePaul Müller;
Richard Lechner;
Markus Passenbrunner
........................ 324.117: SE Seminar Analysis: Optimal recovery with function valuesMario Ullrich
........ 404NUAN20: b. Numerical analysis0,00-3,00
................ 201MASENUMS18: SE Seminar Numerische Mathematik W3,002,0
........................ 327.006: SE Numerical Analysis: ForschungsseminarHerbert Egger;
Helmut Gfrerer
........................ 327.014: SE Numerical Analysis: Fractional differential equationsLuca Gerardo-Giorda;
Marvin Fritz
........................ 327.018: SE Numerical Analysis: Electric Machine SimulationHerbert Egger
........ 404PTMS20: c. Probability theory and mathematical statistics0,00-12,00
................ 201MASEWTMS18: SE Seminar Wahrscheinlichkeitstheorie und Mathematische Statistik W3,002,0
................ TMAPBVOSTAT: VL Statistische Methoden3,002,0
................ TM1WCUESTAT: UE Statistische Methoden1,501,0
................ 201WTMSSTSV20: VL Stochastische Simulation3,002,0
........................ 369.116: VO Stochastic Simulation Weitere InfosAmira Meddah
................ 201WTMSSTSU20: UE Stochastische Simulation1,501,0
........................ 369.117: UE Stochastic Simulation Weitere InfosDevika Khurana
........ 404MMNS20: d. Mathematical methods in the natural sciences0,00-3,00
................ 201MASEMMNS18: SE Seminar Mathematische Methoden in den Naturwissenschaften W3,002,0
........ 404MMEN20: e. Mathematical methods in engineering0,00-3,00
................ 201MASEMMTS18: SE Seminar Mathematische Methoden in der Technik W3,002,0
........................ 323.008: SE Mathematical Methods in EngineeringRonny Ramlau
........ 404MMES20: f. Mathematical methods in the economic sciences0,00-3,00
................ 201MASEMMWS18: SE Seminar Mathematische Methoden in den Wirtschaftswissenschaften W3,002,0
........ 404OPTI20: g. Optimization0,00-3,00
................ 201MASEOPTS18: SE Seminar Optimierung W3,002,0
........ 404SYCO21: h. Symbolic computation0,00-27,00
................ 201SYMRACOU20: UE Algebraic combinatorics1,501,0
................ 201SYMRCAGV20: VL Commutative algebra and algebraic geometry3,002,0
................ 201SYMRCAGU20: UE Commutative algebra and algebraic geometry1,501,0
................ 201SYMRCOAU20: UE Computer Analysis1,501,0
................ 993TARKKPLV21: VL Knowledge Representation and Learning3,002,0
........................ 351.009: VL Knowledge Representation and LearningJohannes Fürnkranz;
Josef Küng
................ 201SYMRPSRK20: KV Programming project symbolic computation W3,002,0
................ 201MASESYMS20: SE Seminar symbolic computation W3,002,0
........................ 326.0CA: SE Seminar symbolic computation: Computer-Algebra II Weitere InfosCarsten Schneider
........................ 326.096: SE Seminar symbolic computation: Projektseminar Algorithmische Kombinatorik II Weitere InfosPeter Paule
........................ 326.060: SE Seminar symbolic computation: Geschichte und Philosophie der MathematikJosef Schicho
................ 201SYMRSF2V20: VL Special Functions and Symbolic Summation3,002,0
................ 201SYMRSF2U21: UE Special Functions and Symbolic Summation1,501,0
................ 201SYMRSP1V20: VL Special Topics symbolic computation (1,5 ECTS) W1,501,0
................ 201SYMRSP2V20: VL Special Topics symbolic computation3,002,0
........................ 326.083: VL Special Topics symbolic computation: Orthogonale Polynome und Symbolic ComputationVeronika Elisabeth Pillwein
........................ 326.080: VL Special Topics symbolic computation: Symbolische Lineare Algebra Weitere InfosCarsten Schneider
........................ 326.084: VL Special Topics symbolic computation: Algorithmische Algebraische GeometrieGünter Landsmann
........................ 326.075: VL Special Topics symbolic computation: Spezielle Funktionen und Symbolische Summation II Weitere InfosSilviu Radu
................ 201SYMRSP2U20: UE Special Topics symbolic computation1,501,0
........................ 326.00D: UE Special Topics symbolic computation: Special Functions and Symbolic Summation IISilviu Radu
........ 404LOSD21: i. Logic and software design0,00-33,00
................ 201LOSDAURU13: UE Automated Reasoning1,501,0
................ 201LOSDCTHV20: VL Computability theory3,002,0
................ 201LOSDDAAV13: VL Design and Analysis of Algorithms3,002,0
................ 201LOSDFPLV13: VL Formal Semantics of Programming Languages3,002,0
........................ 326.0FS: VL Formal Semantics of Programming Languages Weitere InfosWolfgang Schreiner
................ 201LOSDIPDV20: VL Introduction to parallel and distributed computing3,002,0
................ 201LOSDML1U20: UE Mathematical logic 11,501,0
................ 201LOSDPLSK20: KV Practical in Logic and Software Design3,002,0
........................ 326.054: KV Practical in Logic and Software Design: Funktionales Programmieren Weitere InfosTeimuraz Kutsia
........................ 326.062: KV Practical in Logic and Software Design: Programmieren in Mathematica Weitere InfosRalf Hemmecke
................ 201LOSDRCLV14: VL Rewriting in Computer Science and Logic3,002,0
........................ 326.065: VL Rewriting in Computer Science and Logic Weitere InfosTeimuraz Kutsia
................ 201MASELSDS20: SE Seminar logic and software design W3,002,0
........................ 326.099: SE Seminar logic and software design: Projektseminar Formale Methoden und automatisches Beweisen II Weitere InfosWolfgang Schreiner;
Teimuraz Kutsia;
Wolfgang Windsteiger
................ 201LOSDSP1V20: VL Special topics logic and software design (1,5 ECTS) W1,501,0
................ 201LOSDSP2V20: VL Special topics logic and software design W3,002,0
........................ 326.00E: VL Special topics logic and software design: Formale Sprachen und formale GrammatikenNikolaj Popov
........................ 326.076: VL Special topics logic and software design: Formale Modelle Paralleler und Verteilter Systeme Weitere InfosWolfgang Schreiner
................ 201LOSDSP1U20: UE Special topics logic and software design W1,501,0
........................ 326.008: UE Special topics logic and software design: Rewriting in Computer Science and LogicIoana Cleopatra Pau
................ TM1WIVOTHSW: VL Thinking, Speaking, Writing W3,002,0
........ 404ADMA20: j. Algebra and discrete mathematics0,00-25,50
................ 201ADMAALGV20: VL Algebra6,004,0
................ 201ADMAALGU20: UE Algebra1,501,0
................ 201ADMACA2U20: UE Computer Algebra II1,501,0
................ 201ADMADEMV20: VL Discrete and experimental mathematics3,002,0
................ 201ADMADEMU20: UE Discrete and experimental mathematics1,501,0
................ 201ADMAGRBV20: VL Groebner Bases3,002,0
................ 201MASEADMS20: SE Seminar algebra and discrete mathematics W3,002,0
........................ 368.000: SE Seminar algebra and discrete mathematics: Research SeminarErhard Aichinger;
Manuel Kauers
................ 201ADMASP1V20: VL Special Topics algebra and discrete mathematics (1,5 ECTS) W1,501,0
................ 201ADMASP2V20: VL Special Topics algebra and discrete mathematics W3,002,0
........................ 368.157: VL Special Topics algebra and discrete mathematics: SemigroupsPeter Fuchs
........................ 368.165: VL Special Topics algebra and discrete mathematics: Combinatorial GeometryDmitrii Zhelezov;
Audie Warren
................ 201ADMASP1U20: UE Special Topics algebra and discrete mathematics W1,501,0
........ 404FUAN20: k. Functional analysis0,00-3,00
................ 201MASEFUAS18: SE Seminar Funktionalanalysis W3,002,0
........ 404GEOM21: l. Geometry0,00-22,50
................ 201GEOMCOGV14: VL Computational Geometry3,002,0
........................ 356.190: VL Computational Geometry Weitere InfosBert Jüttler
................ 201GEOMCOGU14: UE Computational Geometry1,501,0
........................ 356.191: UE Computational Geometry Weitere InfosLisa Groiss
................ TM1WLVOCAGD: VL Computer-aided geometric design3,002,0
................ TM1WLUECAGD: UE Computer-aided geometric design1,501,0
................ TMAPAVODGEO: VL Differentialgeometrie3,002,0
................ TM1WLUEDGEO: UE Differentialgeometrie1,501,0
................ 201MASEGEOS18: SE Seminar Geometrie W3,002,0
........................ 356.300: SE Geometry: Recent Results in Computer Aided Geometric Design Weitere InfosBert Jüttler;
Lisa Groiss
................ 201GEOMSP1V12: VL Spezialvorlesung Geometrie (1,5 ECTS) W1,501,0
................ 201GEOMSP2V12: VL Spezialvorlesung Geometrie W3,002,0
................ 201GEOMSP1U12: UE Spezialvorlesung Geometrie W1,501,0
........ 404KBMS20: m. Knowledge-based Mathematical Systems0,00-18,00
................ 201WIMSFUSV18: VL Fuzzy Systems3,002,0
................ 201WIMSFUSU18: UE Fuzzy Systems1,501,0
................ 201WIMSMVLU20: UE Manyvalued Logic1,501,0
................ 404KBMSPKBK20: KV Practical Knowledge-Based Systems3,002,0
................ 201MASEWISS18: SE Seminar Wissensbasierte mathematische Systeme W3,002,0
........................ 357.507: SE Seminar Wissensbasierte mathematische Systeme Weitere InfosLuca Gerardo-Giorda;
Susanne Saminger-Platz;
Thomas Vetterlein
................ 201WIMSSP1V12: VL Spezialvorlesung Wissensbasierte mathematische Systeme (1,5 ECTS) W1,501,0
................ 201WIMSSP2V12: VL Spezialvorlesung Wissensbasierte mathematische Systeme W3,002,0
................ 201WIMSSP1U12: UE Spezialvorlesung Wissensbasierte mathematische Systeme W1,501,0
........ 404NUTH20: n. Number theory0,00-27,00
................ 201ZATHANTU20: UE Applied Number Theory1,501,0
................ 201ZATHCRGV20: VL Cryptography3,002,0
................ 201ZATHCRGU20: UE Cryptography1,501,0
................ 201ZAHLEKOV20: VL Einführung in die Kombinatorik3,002,0
................ 201MASENTHS20: SE Seminar Number theory W3,002,0
................ 201ZATHSP1V20: VL Special Topics Number theory (1,5 ECTS) W1,501,0
................ 201ZATHSP2V20: VL Special Topics Number theory W3,002,0
........................ 325.015: VL Special Topics Number theoryArne Winterhof
................ 201ZATHSP1U20: UE Special Topics Number theory W1,501,0
........................ 325.016: UE Special Topics Number theoryArne Winterhof
................ TM1WNVOZNUM: VL Zahlentheoretische Methoden in der Numerik3,002,0
........................ 325.006: VO Number-theoretic Methods in Numerical Analysis Weitere InfosFriedrich Pillichshammer
................ TM1WNUEZNUM: UE Zahlentheoretische Methoden in der Numerik1,501,0
................ 201ZATHZTHV20: VL Zahlentheorie3,002,0
................ 201ZATHZTHU20: UE Zahlentheorie1,501,0
........ 404SOSK20: o. Soft Skills0,00-6,00
................ GS-BC: VL Ethics and Gender Studies3,002,0
........................ 536.020: VO Ethics and Gender Studies: Gender in Technological ProcessesWaltraud Ernst
................ GS-ME-TN: KV Gender Studies Managing Equality TN3,002,0
........................ 536.027: KV Gender Studies Managing Equality TN: Gender in Naturwissenschaft und TechnikLaura Dobusch
................ 404SOSKPWPU20: UE Planning, writing and presenting an academic paper3,002,0
404MAAR20: Master's Thesis Seminars16,00
........ 404MAARMA1S20: SE Master's Thesis Seminar I8,002,0
........ 404MAARMA2S20: SE Master's Thesis Seminar II8,002,0
................ 325.017: SE Master's Thesis Seminar IIGerhard Larcher;
Friedrich Pillichshammer
................ 326.113: SE Master's Thesis Seminar IIPeter Paule;
Carsten Schneider
................ 356.504: SE Master's Thesis Seminar IIBert Jüttler
................ 369.307: SE Master's Thesis Seminar II Weitere InfosEvelyn Buckwar
................ 368.162: SE Master's Thesis Seminar IIManuel Kauers;
Erhard Aichinger;
Peter Fuchs;
Oliver Roche-Newton
................ 357.511: SE Master's Thesis Seminar II Weitere InfosLuca Gerardo-Giorda;
Susanne Saminger-Platz;
Thomas Vetterlein
404FREL20: Free electives12,00
Master's Thesis20,00
Master's Examination4,50
Erzeugt am 14.02.2023