Jakob Kellner's courses

Cf. the course catalogues of TU Wien and University of Vienna.

TU Wien

2024W

104.304UE 1.5SWS, 2.5ECTSAlgebra
104.128RE 1.0SWS, 1.0ECTSAlgebra, Repetitorium

2024W

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)
104.674VO 2.0SWS, 3.0ECTSAKLOG Forcing Einführung in die mengentheoretische Forcing-Methode
104.675UE 1.0SWS, 1.5ECTSAKLOG Forcing UE Einführung in die mengentheoretische Forcing-Methode
104.342UE 1.0SWS, 1.5ECTSLogik und Grundlagen der Mathematik UE

2024S

104.304UE 1.5SWS, 2.5ECTSAlgebra

2023W

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)
104.342UE 1.0SWS, 1.5ECTSLogik und Grundlagen der Mathematik UE

2023S

104.265VO 4.0SWS, 4.0ECTSAlgebra und Diskrete Mathematik für Informatik und Wirtschaftsinformatik

2022W

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)
104.261VO 2.0SWS, 2.0ECTSAnalysis für Informatik und Wirtschaftsinformatik
104.262UE 2.0SWS, 4.0ECTSAnalysis für Informatik und Wirtschaftsinformatik

2022S

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)

2021W

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)

2021S

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)
104.294SE 2.0SWS, 3.0ECTSAKLOG: Forschungsseminar Mengenlehre

2020W

104.108SE 2.0SWS, 3.0ECTSAKALG: Forschungsseminar (with M. Goldstern)

2020S

(The two research seminars could not take place due to the corona virus epidemic)

2019W

104.558 VO 2st, 3ECTS AKALG Advanced forcing methods with emphasis on set theory of the reals
104.108 SE 2st, 3ECTS AKLOG: Research seminar (with Martin Goldstern)

2019S

104.294 SE 2st, 3ECTS AKLOG: Research seminar Set Theory

2018W

104.108 SE 2st, 3ECTS AKLOG: Research seminar (with Martin Goldstern)

2018S

104.294 SE 2st, 3ECTS AKLOG: Research seminar Set Theory

2017W

104.294 SE 2st, 3ECTS AKLOG: Research seminar Set Theory (with Martin Goldstern)

2017S

104.294 SE 2st, 3ECTS AKLOG: Research seminar (with Martin Goldstern)

2004W

113.054 UE 1st Übungen zu Mathematik III (für Vermessungswesen)
113.059 UE 2st Übungen zu Mathematik 1 (für die Informatik)

2005WS–2015WS: University of Vienna

2015W

250109 KO 2st, 3ECTS Logische Spiele, Rätsel und Paradoxa für die Schule (using moodle).

2014W

250083 VO 2st, 4ECTS Modelltheorie und Arithmetik (led by Tin Lok Wong)

2014S

250082 VO 3st, 5ECTS Axiomatische Mengenlehre 1
250081 UE 1st, 2ECTS Übungen zu Grundbegriffe der mathematischen Logik (led by Ekaterina Fokina)

2013W

250103 VO 4st, 6ECTS Einführung in die Mathematische Logik

2013S

250065 UE 1st, 2ECTS Übungen zu Grundbegriffe der Mathematische Logik
250075 VO 3st, 5ECTS Axiomatische Mengenlehre

2012W

250080 PS 2st 3 ECTS Proseminar zur Einführung in die Mathematische Logik
250118 VO 2st 7 ECTS Mengenlehre (reading course)
250127 VO 2st 3 ECTS Forcing with random variables (led by Moritz Müller)

2011S

250045UE 1st, 2 ECTS Übungen zu Grundbegriffe der Mathematischen Logik
250114VO 3st, 5 ECTS Axiomatische Mengenlehre 1

2010W

250124PS 2st Proseminar zur Einführung in die mathematische Logik
250125VO 2st Axiomatische Mengenlehre 2

2010S

250130 VO 2st Grundbegriffe der Mathematischen Logik.
250132 VO 3st Axiomatische Mengenlehre 1 (with Hans Adler)

2009W

250119 PS 2st Proseminar zur Einführung in die Mathematische Logik
250120 VO 2st Axiomatische Mengenlehre 2

2009S

250128 VO 2st Rekursionstheorie
250124 VO 2st Grundbegriffe der mathematischen Logik

2008W

250123 VO 3st Einführung in die Theoretische Informatik (with Ajdin Halilovic)
250122 PS 2st Proseminar zu Einführung in die Mathematische Logik

2006S

250432 VO 4st Mathematische Logik 1 (with Sy-David Friedman)
250434 VO 3st Mengenlehre 2

2005W

250150 VO 2st Grundbegriffe der Mathematischen Logik
250086 PS 2stProseminar zur Axiomatischen Mengenlehre 1

Back to homepage