1 - Grundlagen der Logik in der Informatik [ID:5412]
50 von 552 angezeigt

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

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
Einbetten
Wordpress FAU Plugin
iFrame
Teilen