Dieser Audiobeitrag wird von der Universität Erlangen-Nürnberg präsentiert.
Wir beginnen heute relativ locker mit erstens organisatorischen Ansagen und vielleicht Rückfragen
ihrerseits, zweitens einem ganz kurzen Überblick und dann einer gemeinsamen Meditation über gewisse
Formeln. Das sehen Sie dann. Ja, wie Sie sicher wissen ist die Vorlesung einmal die Woche jetzt um
diese Uhrzeit. Es gibt außerdem Übungen und eine Intensivübung zur Veranstaltung. Die Intensivübung
ist am Donnerstag um 16 Uhr. Diese Intensivübung ist nur für Sie, will sagen. Da steht der Herr
Dr. Ganscharow, der die Übungen verantwortlich begleitet, der steht Ihnen da zur Verfügung. Der
kann mit Ihnen Dinge, die Sie gerne nochmal üben wollen, in besonderen Aufgaben nochmal üben. Der
kann schlicht und einfach Fragen zur Veranstaltung beantworten. Das ist also die Gelegenheit für Sie,
sich jemanden zu schnappen, der was davon versteht und sich da auf die Sprünge helfen zu lassen. Das
wird immer überraschend wenig angenommen, was eigentlich zu dem Schluss verleiten müsste,
dass alle auch so klar kommen. Das bewahrheitet sich dann am Ende typischerweise immer nicht ganz
so. Also mit anderen Worten, ich kann Ihnen das wirklich nur sehr ans Herz legen, gerade dann,
wenn Ihnen das vielleicht alles nicht ganz so leicht fällt, was wir hier machen, da regelmäßig
hinzugehen. Ja, die Übungen beginnen in Woche drei. Also diese Woche sind keine und nächste Woche sind
auch noch keine. Wir beginnen diese Woche mit der Organisation der Übungen, will sagen mit der
Anmeldung und zwar. Also die Anmeldung beginnt heute um 20 Uhr und sie
geht bis Mittwoch um 24 Uhr und sie läuft über meinen Campus, über ein nicht besonders
intelligentes Verfahren. So deswegen heute erst ab 20 Uhr, damit diejenigen ohne schnellen
Mobiltarif jetzt nicht im Nachteil sind. Man kann es auch von zu Hause machen. Wir haben relativ
viele Gruppen dieses Jahr. Wir haben also 12 Übungsgruppen, die wir anbieten können. Wir
haben allerdings auch deutlich mehr Leute als sonst. Ich hoffe, es verteilt sich einigermaßen. Die
Kapazität der Gruppen sollte typischerweise auf 20 beschränkt sein, so ist es glaube ich eingestellt.
Wenn irgendwas gar nicht geht, setzen sie sich mit Herrn von Scharoff in Verbindung, aber normalerweise
sollten wir jetzt also kapazitativ so aufgestellt sein, dass also jeder einigermaßen unterkommt.
In den Übungen werden Übungszettel bearbeitet, wie das üblich ist. Es gibt tendenziell pro Woche
einen, allerdings jetzt erst mal in den ersten beiden Wochen wird noch keiner abgegeben,
beziehungsweise auch in der dritten noch nicht. Wir geben einen Zettel aus, der jetzt in der dritten
Woche, wenn die Tutorien anfangen, dort gissermaßen vorbesprochen wird. Also da wird so ein bisschen
erklärt, was also diese Aufgaben nun sollen und sie können auch Fragen stellen. Und in der vierten
Woche wird dann dieser Zettel abgegeben und danach gibt es einen wöchentlichen Rhythmus, in dem die
Zettel abgegeben werden. Die Zettel sind immer abzugeben in der Übung, wo man nachher landet.
Das heißt, man ist immer nie so ganz synchron mit seinen Mitstudierenden. Je nachdem, ob nun das
Tutorium, wo man drin sitzt, nun gerade irgendwie am Montag oder am Freitag ist, muss man also früher
oder später abgeben. Aber dafür kriegt man eben auch früher oder später für den nächsten Zettel
dann halt Tipps in seinem Tutorium, sodass sich das alles über die Dauer nachher einigermaßen
rausmittelt. Das hat sich also als das Verfahren herausgeschält, was nachher doch über die
Zeitdauer am wenigsten Verwerfungen ergibt. Der Schein als solcher ist ja abgeschafft seit
längerem, auch wenn das zum Teil noch in einigen Fachprüfungsordnungen falsch steht. Das heißt,
sie sind nicht verpflichtet, diesen Übungsschein zu bestehen. Beziehungsweise sie kriegen auch am
Ende keinen. Die Motivation für das Bearbeiten der Aufgaben ist jetzt eine andere. Sie bekommen
für hinreichend erfolgreiches Bearbeiten der Übungsaufgaben einen Bonus auf die Klausur in
Gestalt von bis zu 15 Prozent Zusatzpunkte. Allerdings nur dann, wenn sie die Klausur auch
ohne diese Zusatzpunkte schon bestanden haben. Das ist aus rechtlichen Gründen, kann man nicht
anders machen. Um diese Zusatzpunkte zu bekommen, müssen Sie dieses Jahr wieder, wir hatten diese
Regelung zwischendurch abgeschafft, dann haben wir wieder eingeführt, dann wieder abgeschafft
und so weiter. Dieses Jahr ist sie gerade eingeführt. Die müssen Sie mindestens einer Aufgabe im
Tutorium vorrechnen. Wir haben das deswegen wieder eingeführt, weil wir also nach einer
kurzen Division im Kopf festgestellt haben, dass auch in der Tat voraussichtlich für jeden
Tutoriumsteilnehmer mindestens eine Aufgabe da ist im Semester, was auch schon mal nicht der Fall
Presenters
Zugänglich über
Offener Zugang
Dauer
01:06:40 Min
Aufnahmedatum
2015-10-12
Hochgeladen am
2015-10-12 18:36:03
Sprache
de-DE
Aussagenlogik:
- Syntax und Semantik
- Automatisches Schließen: Resolution
- Formale Deduktion: Korrektheit, Vollständigkeit
Prädikatenlogik erster Stufe:
- Syntax und Semantik
- Automatisches Schließen: Unifikation, Resolution
- Quantorenelimination
- Anwendung automatischer Beweiser
- Formale Deduktion: Korrektheit, Vollständigkeit