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 Titel | Lehrende(r) | W | ECTS | SSt. | |
---|---|---|---|---|---|
404MAJS20: Mandatory subjects | 33,00 | ||||
........ 404ANDM20: Algebra, Number Theory, and Discrete Mathematics | 12,00 | ||||
................ 404ANDMACOV20: VL Algebraic combinatorics | 3,00 | 2,0 | |||
................ 404ANDMANTV20: VL Applied Number Theory | 3,00 | 2,0 | |||
................ 404ANDMCA2V20: VL Computer Algebra II | 3,00 | 2,0 | |||
........................ 368.302: VL Computer Algebra II | Manuel Kauers | ||||
................ 404ANDMCOAV20: VL Computer Analysis | 3,00 | 2,0 | |||
........................ 326.079: VL Computer Analysis Weitere Infos | Veronika Elisabeth Pillwein | ||||
........ 404LFMT20: Logic, Formal Methods, and Theoretical Computer Science | 12,00 | ||||
................ 404LFMTAURV20: VL Automated Reasoning | 3,00 | 2,0 | |||
................ 404LFMTMVLV20: VL Manyvalued Logic | 3,00 | 2,0 | |||
................ 404LFMTML1V20: VL Mathematical logic 1 | 3,00 | 2,0 | |||
................ 921CGELSASK19: KV SAT Solving | 3,00 | 2,0 | |||
........................ 338.021: KV SAT Solving | Martina Seidl; Adrian Rebola Pardo | ||||
........ 404PCSD20: Practical Computer Science and Software Development | 9,00 | ||||
................ 921SOENFMSK13: KV Formal Methods in Software Development | 4,50 | 3,0 | |||
................ 404PCSDPSTK20: KV Practical Software Technology | 4,50 | 3,0 | |||
........................ 326.041: KV Practical Software Technology Weitere Infos | Ioana Cleopatra Pau | ||||
404ELEC21: Electives | 34,50 | ||||
........ 404ANAS12: a. Analysis | 0,00-7,50 | ||||
................ TMAPAVODYNA: VL Dynamische Systeme und Chaos | 3,00 | 2,0 | |||
................ TM1WAUEDYNA: UE Dynamische Systeme und Chaos | 1,50 | 1,0 | |||
................ 201MASEANAS18: SE Seminar Analysis | W | 3,00 | 2,0 | ||
........................ 324.158: SE Seminar Analysis: Spektraltheorie | Paul Müller; Richard Lechner; Markus Passenbrunner | ||||
........................ 324.117: SE Seminar Analysis: Optimal recovery with function values | Mario Ullrich | ||||
........ 404NUAN20: b. Numerical analysis | 0,00-3,00 | ||||
................ 201MASENUMS18: SE Seminar Numerische Mathematik | W | 3,00 | 2,0 | ||
........................ 327.006: SE Numerical Analysis: Forschungsseminar | Herbert Egger; Helmut Gfrerer | ||||
........................ 327.014: SE Numerical Analysis: Fractional differential equations | Luca Gerardo-Giorda; Marvin Fritz | ||||
........................ 327.018: SE Numerical Analysis: Electric Machine Simulation | Herbert Egger | ||||
........ 404PTMS20: c. Probability theory and mathematical statistics | 0,00-12,00 | ||||
................ 201MASEWTMS18: SE Seminar Wahrscheinlichkeitstheorie und Mathematische Statistik | W | 3,00 | 2,0 | ||
................ TMAPBVOSTAT: VL Statistische Methoden | 3,00 | 2,0 | |||
................ TM1WCUESTAT: UE Statistische Methoden | 1,50 | 1,0 | |||
................ 201WTMSSTSV20: VL Stochastische Simulation | 3,00 | 2,0 | |||
........................ 369.116: VO Stochastic Simulation Weitere Infos | Amira Meddah | ||||
................ 201WTMSSTSU20: UE Stochastische Simulation | 1,50 | 1,0 | |||
........................ 369.117: UE Stochastic Simulation Weitere Infos | Devika Khurana | ||||
........ 404MMNS20: d. Mathematical methods in the natural sciences | 0,00-3,00 | ||||
................ 201MASEMMNS18: SE Seminar Mathematische Methoden in den Naturwissenschaften | W | 3,00 | 2,0 | ||
........ 404MMEN20: e. Mathematical methods in engineering | 0,00-3,00 | ||||
................ 201MASEMMTS18: SE Seminar Mathematische Methoden in der Technik | W | 3,00 | 2,0 | ||
........................ 323.008: SE Mathematical Methods in Engineering | Ronny Ramlau | ||||
........ 404MMES20: f. Mathematical methods in the economic sciences | 0,00-3,00 | ||||
................ 201MASEMMWS18: SE Seminar Mathematische Methoden in den Wirtschaftswissenschaften | W | 3,00 | 2,0 | ||
........ 404OPTI20: g. Optimization | 0,00-3,00 | ||||
................ 201MASEOPTS18: SE Seminar Optimierung | W | 3,00 | 2,0 | ||
........ 404SYCO21: h. Symbolic computation | 0,00-27,00 | ||||
................ 201SYMRACOU20: UE Algebraic combinatorics | 1,50 | 1,0 | |||
................ 201SYMRCAGV20: VL Commutative algebra and algebraic geometry | 3,00 | 2,0 | |||
................ 201SYMRCAGU20: UE Commutative algebra and algebraic geometry | 1,50 | 1,0 | |||
................ 201SYMRCOAU20: UE Computer Analysis | 1,50 | 1,0 | |||
................ 993TARKKPLV21: VL Knowledge Representation and Learning | 3,00 | 2,0 | |||
........................ 351.009: VL Knowledge Representation and Learning | Johannes Fürnkranz; Josef Küng | ||||
................ 201SYMRPSRK20: KV Programming project symbolic computation | W | 3,00 | 2,0 | ||
................ 201MASESYMS20: SE Seminar symbolic computation | W | 3,00 | 2,0 | ||
........................ 326.0CA: SE Seminar symbolic computation: Computer-Algebra II Weitere Infos | Carsten Schneider | ||||
........................ 326.096: SE Seminar symbolic computation: Projektseminar Algorithmische Kombinatorik II Weitere Infos | Peter Paule | ||||
........................ 326.060: SE Seminar symbolic computation: Geschichte und Philosophie der Mathematik | Josef Schicho | ||||
................ 201SYMRSF2V20: VL Special Functions and Symbolic Summation | 3,00 | 2,0 | |||
................ 201SYMRSF2U21: UE Special Functions and Symbolic Summation | 1,50 | 1,0 | |||
................ 201SYMRSP1V20: VL Special Topics symbolic computation (1,5 ECTS) | W | 1,50 | 1,0 | ||
................ 201SYMRSP2V20: VL Special Topics symbolic computation | 3,00 | 2,0 | |||
........................ 326.083: VL Special Topics symbolic computation: Orthogonale Polynome und Symbolic Computation | Veronika Elisabeth Pillwein | ||||
........................ 326.080: VL Special Topics symbolic computation: Symbolische Lineare Algebra Weitere Infos | Carsten Schneider | ||||
........................ 326.084: VL Special Topics symbolic computation: Algorithmische Algebraische Geometrie | Günter Landsmann | ||||
........................ 326.075: VL Special Topics symbolic computation: Spezielle Funktionen und Symbolische Summation II Weitere Infos | Silviu Radu | ||||
................ 201SYMRSP2U20: UE Special Topics symbolic computation | 1,50 | 1,0 | |||
........................ 326.00D: UE Special Topics symbolic computation: Special Functions and Symbolic Summation II | Silviu Radu | ||||
........ 404LOSD21: i. Logic and software design | 0,00-33,00 | ||||
................ 201LOSDAURU13: UE Automated Reasoning | 1,50 | 1,0 | |||
................ 201LOSDCTHV20: VL Computability theory | 3,00 | 2,0 | |||
................ 201LOSDDAAV13: VL Design and Analysis of Algorithms | 3,00 | 2,0 | |||
................ 201LOSDFPLV13: VL Formal Semantics of Programming Languages | 3,00 | 2,0 | |||
........................ 326.0FS: VL Formal Semantics of Programming Languages Weitere Infos | Wolfgang Schreiner | ||||
................ 201LOSDIPDV20: VL Introduction to parallel and distributed computing | 3,00 | 2,0 | |||
................ 201LOSDML1U20: UE Mathematical logic 1 | 1,50 | 1,0 | |||
................ 201LOSDPLSK20: KV Practical in Logic and Software Design | 3,00 | 2,0 | |||
........................ 326.054: KV Practical in Logic and Software Design: Funktionales Programmieren Weitere Infos | Teimuraz Kutsia | ||||
........................ 326.062: KV Practical in Logic and Software Design: Programmieren in Mathematica Weitere Infos | Ralf Hemmecke | ||||
................ 201LOSDRCLV14: VL Rewriting in Computer Science and Logic | 3,00 | 2,0 | |||
........................ 326.065: VL Rewriting in Computer Science and Logic Weitere Infos | Teimuraz Kutsia | ||||
................ 201MASELSDS20: SE Seminar logic and software design | W | 3,00 | 2,0 | ||
........................ 326.099: SE Seminar logic and software design: Projektseminar Formale Methoden und automatisches Beweisen II Weitere Infos | Wolfgang Schreiner; Teimuraz Kutsia; Wolfgang Windsteiger | ||||
................ 201LOSDSP1V20: VL Special topics logic and software design (1,5 ECTS) | W | 1,50 | 1,0 | ||
................ 201LOSDSP2V20: VL Special topics logic and software design | W | 3,00 | 2,0 | ||
........................ 326.00E: VL Special topics logic and software design: Formale Sprachen und formale Grammatiken | Nikolaj Popov | ||||
........................ 326.076: VL Special topics logic and software design: Formale Modelle Paralleler und Verteilter Systeme Weitere Infos | Wolfgang Schreiner | ||||
................ 201LOSDSP1U20: UE Special topics logic and software design | W | 1,50 | 1,0 | ||
........................ 326.008: UE Special topics logic and software design: Rewriting in Computer Science and Logic | Ioana Cleopatra Pau | ||||
................ TM1WIVOTHSW: VL Thinking, Speaking, Writing | W | 3,00 | 2,0 | ||
........ 404ADMA20: j. Algebra and discrete mathematics | 0,00-25,50 | ||||
................ 201ADMAALGV20: VL Algebra | 6,00 | 4,0 | |||
................ 201ADMAALGU20: UE Algebra | 1,50 | 1,0 | |||
................ 201ADMACA2U20: UE Computer Algebra II | 1,50 | 1,0 | |||
................ 201ADMADEMV20: VL Discrete and experimental mathematics | 3,00 | 2,0 | |||
................ 201ADMADEMU20: UE Discrete and experimental mathematics | 1,50 | 1,0 | |||
................ 201ADMAGRBV20: VL Groebner Bases | 3,00 | 2,0 | |||
................ 201MASEADMS20: SE Seminar algebra and discrete mathematics | W | 3,00 | 2,0 | ||
........................ 368.000: SE Seminar algebra and discrete mathematics: Research Seminar | Erhard Aichinger; Manuel Kauers | ||||
................ 201ADMASP1V20: VL Special Topics algebra and discrete mathematics (1,5 ECTS) | W | 1,50 | 1,0 | ||
................ 201ADMASP2V20: VL Special Topics algebra and discrete mathematics | W | 3,00 | 2,0 | ||
........................ 368.157: VL Special Topics algebra and discrete mathematics: Semigroups | Peter Fuchs | ||||
........................ 368.165: VL Special Topics algebra and discrete mathematics: Combinatorial Geometry | Dmitrii Zhelezov; Audie Warren | ||||
................ 201ADMASP1U20: UE Special Topics algebra and discrete mathematics | W | 1,50 | 1,0 | ||
........ 404FUAN20: k. Functional analysis | 0,00-3,00 | ||||
................ 201MASEFUAS18: SE Seminar Funktionalanalysis | W | 3,00 | 2,0 | ||
........ 404GEOM21: l. Geometry | 0,00-22,50 | ||||
................ 201GEOMCOGV14: VL Computational Geometry | 3,00 | 2,0 | |||
........................ 356.190: VL Computational Geometry Weitere Infos | Bert Jüttler | ||||
................ 201GEOMCOGU14: UE Computational Geometry | 1,50 | 1,0 | |||
........................ 356.191: UE Computational Geometry Weitere Infos | Lisa Groiss | ||||
................ TM1WLVOCAGD: VL Computer-aided geometric design | 3,00 | 2,0 | |||
................ TM1WLUECAGD: UE Computer-aided geometric design | 1,50 | 1,0 | |||
................ TMAPAVODGEO: VL Differentialgeometrie | 3,00 | 2,0 | |||
................ TM1WLUEDGEO: UE Differentialgeometrie | 1,50 | 1,0 | |||
................ 201MASEGEOS18: SE Seminar Geometrie | W | 3,00 | 2,0 | ||
........................ 356.300: SE Geometry: Recent Results in Computer Aided Geometric Design Weitere Infos | Bert Jüttler; Lisa Groiss | ||||
................ 201GEOMSP1V12: VL Spezialvorlesung Geometrie (1,5 ECTS) | W | 1,50 | 1,0 | ||
................ 201GEOMSP2V12: VL Spezialvorlesung Geometrie | W | 3,00 | 2,0 | ||
................ 201GEOMSP1U12: UE Spezialvorlesung Geometrie | W | 1,50 | 1,0 | ||
........ 404KBMS20: m. Knowledge-based Mathematical Systems | 0,00-18,00 | ||||
................ 201WIMSFUSV18: VL Fuzzy Systems | 3,00 | 2,0 | |||
................ 201WIMSFUSU18: UE Fuzzy Systems | 1,50 | 1,0 | |||
................ 201WIMSMVLU20: UE Manyvalued Logic | 1,50 | 1,0 | |||
................ 404KBMSPKBK20: KV Practical Knowledge-Based Systems | 3,00 | 2,0 | |||
................ 201MASEWISS18: SE Seminar Wissensbasierte mathematische Systeme | W | 3,00 | 2,0 | ||
........................ 357.507: SE Seminar Wissensbasierte mathematische Systeme Weitere Infos | Luca Gerardo-Giorda; Susanne Saminger-Platz; Thomas Vetterlein | ||||
................ 201WIMSSP1V12: VL Spezialvorlesung Wissensbasierte mathematische Systeme (1,5 ECTS) | W | 1,50 | 1,0 | ||
................ 201WIMSSP2V12: VL Spezialvorlesung Wissensbasierte mathematische Systeme | W | 3,00 | 2,0 | ||
................ 201WIMSSP1U12: UE Spezialvorlesung Wissensbasierte mathematische Systeme | W | 1,50 | 1,0 | ||
........ 404NUTH20: n. Number theory | 0,00-27,00 | ||||
................ 201ZATHANTU20: UE Applied Number Theory | 1,50 | 1,0 | |||
................ 201ZATHCRGV20: VL Cryptography | 3,00 | 2,0 | |||
................ 201ZATHCRGU20: UE Cryptography | 1,50 | 1,0 | |||
................ 201ZAHLEKOV20: VL Einführung in die Kombinatorik | 3,00 | 2,0 | |||
................ 201MASENTHS20: SE Seminar Number theory | W | 3,00 | 2,0 | ||
................ 201ZATHSP1V20: VL Special Topics Number theory (1,5 ECTS) | W | 1,50 | 1,0 | ||
................ 201ZATHSP2V20: VL Special Topics Number theory | W | 3,00 | 2,0 | ||
........................ 325.015: VL Special Topics Number theory | Arne Winterhof | ||||
................ 201ZATHSP1U20: UE Special Topics Number theory | W | 1,50 | 1,0 | ||
........................ 325.016: UE Special Topics Number theory | Arne Winterhof | ||||
................ TM1WNVOZNUM: VL Zahlentheoretische Methoden in der Numerik | 3,00 | 2,0 | |||
........................ 325.006: VO Number-theoretic Methods in Numerical Analysis Weitere Infos | Friedrich Pillichshammer | ||||
................ TM1WNUEZNUM: UE Zahlentheoretische Methoden in der Numerik | 1,50 | 1,0 | |||
................ 201ZATHZTHV20: VL Zahlentheorie | 3,00 | 2,0 | |||
................ 201ZATHZTHU20: UE Zahlentheorie | 1,50 | 1,0 | |||
........ 404SOSK20: o. Soft Skills | 0,00-6,00 | ||||
................ GS-BC: VL Ethics and Gender Studies | 3,00 | 2,0 | |||
........................ 536.020: VO Ethics and Gender Studies: Gender in Technological Processes | Waltraud Ernst | ||||
................ GS-ME-TN: KV Gender Studies Managing Equality TN | 3,00 | 2,0 | |||
........................ 536.027: KV Gender Studies Managing Equality TN: Gender in Naturwissenschaft und Technik | Laura Dobusch | ||||
................ 404SOSKPWPU20: UE Planning, writing and presenting an academic paper | 3,00 | 2,0 | |||
404MAAR20: Master's Thesis Seminars | 16,00 | ||||
........ 404MAARMA1S20: SE Master's Thesis Seminar I | 8,00 | 2,0 | |||
........ 404MAARMA2S20: SE Master's Thesis Seminar II | 8,00 | 2,0 | |||
................ 325.017: SE Master's Thesis Seminar II | Gerhard Larcher; Friedrich Pillichshammer | ||||
................ 326.113: SE Master's Thesis Seminar II | Peter Paule; Carsten Schneider | ||||
................ 356.504: SE Master's Thesis Seminar II | Bert Jüttler | ||||
................ 369.307: SE Master's Thesis Seminar II Weitere Infos | Evelyn Buckwar | ||||
................ 368.162: SE Master's Thesis Seminar II | Manuel Kauers; Erhard Aichinger; Peter Fuchs; Oliver Roche-Newton | ||||
................ 357.511: SE Master's Thesis Seminar II Weitere Infos | Luca Gerardo-Giorda; Susanne Saminger-Platz; Thomas Vetterlein | ||||
404FREL20: Free electives | 12,00 | ||||
Master's Thesis | 20,00 | ||||
Master's Examination | 4,50 |