{{menu|Teaching|Courses Summer Semester 2017}}
{{DE|Sommer-LVA}}
'''Note:''' To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester!
'''Note:''' All lectures at the KGRC are given in English, or at least can be given in English if requested.
'''Place "HS11":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], 2nd floor, lecture hall 11
'''Place "KGRC":''' [https://maps.google.at/maps?q=Kurt+G%C3%B6del+Research+Center+(KGRC)+for+Mathematical+Logic,+University+of+Vienna,+W%C3%A4hringer+Stra%C3%9Fe,+Wien&hl=de&ie=UTF8&sll=48.220685,16.38006&sspn=0.372851,0.617294&oq=kurt+g%C3%B6del+re&t=m&z=16 Währinger Straße 25], [[Floor plan|top floor]], lecture room 101
{{comment|'''Place "HS2":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], ground floor, lecture hall 2}}
== Bachelor's program ==
{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}}{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250015&semester=2017S 250015]|VO|3.0 (5.0)|[http://boolesrings.org/sandrauhlenbrock/teaching/grundzuege-2017/ Basic concepts of mathematical logic]|WLO|[http://boolesrings.org/sandrauhlenbrock/ Sandra Uhlenbrock]|Tue 4:45pm–6:15pm, Thu 9:45am–10:30am
begins 2017‑03‑02|HS11|German}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250016&semester=2017S 250016]|UE|1.0 (2.0)|[/~vfischer/UE_Grundbegriffe2017.pdf Tutorials "Introduction to basics concepts of mathematical logic"]|WLO|[/~vfischer/ Vera Fischer]|Thu 10:45am–11:30am
begins 2017‑03‑02|HS11|German}}
{{table bottom}}
== Master's program ==
{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}}{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250100&semester=2017S 250100]|VO|3.0 (5.0)|[/~vfischer/SetTheory1_S2017.pdf Axiomatic set theory 1]|MLOM|[/~vfischer/ Vera Fischer]|Wed 11:30am–1:50pm
begins 2017‑03‑08|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250101&semester=2017S 250101]|PS|2.0 (3.0)|[/~koelbingm72/TutoratSoSe17.html Proseminar to Axiomatic set theory 1]|MLOM|Marlene Koelbing|Thu 9:30am–11:00am
begins 2017‑03‑09|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250103&semester=2017S 250103]|SE|2.0 (4.0)|[/2017/Seminar_summer.html Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm
begins 2017‑03‑06|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250104&semester=2017S 250104]|VO|2.0 (4.0)|[/2017/Advanced_topics_in_mathematical_logic_summer.html Advanced topics in mathematical logic]|MLOV|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm
begins 2017‑03‑02|KGRC|English}}
{{table row|[https://ufind.univie.ac.at/en/course.html?lv=250102&semester=2017S 250102]|SE|2.0 (4.0)|[/2017/Research_seminar_summer.html Research seminar in mathematical logic]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm
begins 2017‑03‑02|KGRC|English}}
{{table bottom}}
{{comment|* Update from previous information}}
== Modules ==
'''WLO''' - Wahlmodul: "Mathematische Logik" (elective module: mathematical logic)
* part of bachelor's program version 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"
* part of bachelor's program version 2011 (expiring), Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"
'''MLOM''' - Axiomatische Mengenlehre (axiomatic set theory)
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt
"Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
'''MLOS''' - Seminars: Mathematical Logic and Theoretical Computer Science
* part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic