lecture LA1 2026-27

Vorlesungen

Prüfungszulassung

Wir werden drei Tests zu den Hausaufgaben organisieren, voraussichtlich in der 4., 8. und 12. Woche, während der Übungseinheiten und/oder Vorlesungen. Für die Prüfungszulassung werden 50\% der insgesamt erreichbaren Punkte benötigt.

Es wird eine Liste möglicher Testaufgaben geben. In den Tests werden Aufgaben gestellt, die diesen sehr ähnlich sind.

Testat 1: Es werden 4 Fragen gestellt. Die erste betrifft die Aussagenlogik, im Großen und Ganzen ähnlich wie in 1.3 und/oder 1.4, und/oder einige einfache Äquivalenzketten.

Die zweite Frage betrifft das Verständnis der Prädikatenlogik, im Großen und Ganzen ähnlich wie in 2.10 und 2.11

Die dritte Frage ist ein Beweis einer arithmetischen Aussage, mit ähnlichem Schwierigkeitsgrad wie in 2.7, 2.8, 2.9, 2.15 und 2.16.

Die vierte Aufgabe wird ein einfacher Beweis einer Aussage mit Quantoren sein, ähnlich wie 3.1, 3.2, 3.3, 3.4, 3.5.

Aufgabenblätter

In den meisten Wochen gibt es ein Übungsblatt (freitags oder samstags veröffentlicht). Einige Aufgaben können freiwillig über Moodle abgegeben werden. Dafür gibt es eine Note, die jedoch keinen Einfluss auf die Prüfungszulassung hat.

Manche Aufgaben werden als „nicht Lehramt“ (o.Ä.) gekennzeichnet. Diese sind für Lehramtsstudierende nicht unmittelbar relevant und werden typischerweise in der Hörsaalübung besprochen.

Sonstiges