180001 UE Logik-Übung für LehramtskandidatInnen (PP) (2011S)
Prüfungsimmanente Lehrveranstaltung
Labels
Zusammenfassung
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Fr 11.02.2011 14:00 bis So 27.02.2011 09:00
- Abmeldung bis Do 31.03.2011 23:00
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Freitag
04.03.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
11.03.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
18.03.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
25.03.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
01.04.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
08.04.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
15.04.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
06.05.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
13.05.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
20.05.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
27.05.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
03.06.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
10.06.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
17.06.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Freitag
24.06.
09:00 - 10:00
Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Die "Übung Logik" findet begleitend zu der Vorlesung "Grundkurs Logik" statt. In ihr sollen die inhaltlichen Schwerpunkte der Vorlesung (Semantik und Syntax der Aussagen- und Prädikatenlogik) angewendet und vertieft werden. Besonders soll das praktische Arbeiten mit Aufgaben aus der Logik geübt werden, zum Beispiel Wahrheitswerttabellen und Ableitungen im Kalkül des natürlichen Schließens.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.
Gruppe 2
Fr 20.5./27.5./10.6./17.6./24.6. 16-18 Uhr HS 2G
Sa 21.5./28.5./18.6./25.6. 10-12 Uhr HS 2G
Sa 21.5./28.5./18.6./25.6. 10-12 Uhr HS 2G
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine
Zur Zeit sind keine Termine bekannt.
Ziele, Inhalte und Methode der Lehrveranstaltung
Die Übung ist als begleitende Veranstaltung zur Einführungsvorlesung in die Logik gedacht und soll das dort vorgetragene Material erläutern und vertiefen. Eine Teilnahme an der Übung setzt den Besuch der Vorlesung voraus.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Übungen, Prüfung
Mindestanforderungen und Beurteilungsmaßstab
Die Studierenden sollen mit aussagen- und prädikatenlogischen Systemen vertraut gemacht werden. Dies umfasst (1) selbstständig eine formale Sprache konstruieren zu können; (2) die Fähigkeit formale Sprachen zur Lösung einfacher logischer Probleme zu verwenden.
Prüfungsstoff
Vortrag, Übungen, Diskussion
Gruppe 3
Achtung!!! Der Termin am 11.04.2011 muß krankheitsbedingt leider entfallen!!!
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Montag
07.03.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
21.03.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
28.03.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
23.05.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
30.05.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
20.06.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Montag
27.06.
15:00 - 17:00
Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Syntax und Semantik der klassischen Aussagenlogik: eine formale Sprache und formale Schlussregeln (in Gestalt eines Kalküls des natürlichen Schließens) für die klassische Aussagenlogik.
Art der Leistungskontrolle und erlaubte Hilfsmittel
wird in der Übung bekanntgegeben
Mindestanforderungen und Beurteilungsmaßstab
Erwerb theoretischer Kenntnisse in Aussagen- und Prädikatenlogik
Art der Leistungskontrolle: schriftliche Prüfung am Ende des Semesters oder schriftliche/mündliche Prüfung ab dem Folgesemester in meiner Sprechstunde
Art der Leistungskontrolle: schriftliche Prüfung am Ende des Semesters oder schriftliche/mündliche Prüfung ab dem Folgesemester in meiner Sprechstunde
Prüfungsstoff
Vortrag mit Möglichkeit zur Diskussion
Gruppe 4
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Freitag
04.03.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
11.03.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
18.03.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
25.03.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
01.04.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
08.04.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
15.04.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
06.05.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
13.05.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
20.05.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
27.05.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
03.06.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
10.06.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
17.06.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Freitag
24.06.
10:00 - 11:00
Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Die "Übung Logik" findet begleitend zu der Vorlesung "Grundkurs Logik" statt. In ihr sollen die inhaltlichen Schwerpunkte der Vorlesung (Semantik und Syntax der Aussagen- und Prädikatenlogik) angewendet und vertieft werden. Besonders soll das praktische Arbeiten mit Aufgaben aus der Logik geübt werden, zum Beispiel Wahrheitswerttabellen und Ableitungen im Kalkül des natürlichen Schließens.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.
Gruppe 5
max. 45 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
02.03.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
09.03.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
16.03.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
23.03.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
30.03.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
06.04.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
13.04.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
04.05.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
11.05.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
18.05.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
25.05.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
01.06.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
08.06.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
15.06.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
22.06.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Mittwoch
29.06.
18:00 - 19:00
Hörsaal 3B NIG 3.Stock
Ziele, Inhalte und Methode der Lehrveranstaltung
Die "Übung Logik" findet begleitend zu der Vorlesung "Grundkurs Logik" statt. In ihr sollen die inhaltlichen Schwerpunkte der Vorlesung (Semantik und Syntax der Aussagen- und Prädikatenlogik) angewendet und vertieft werden. Besonders soll das praktische Arbeiten mit Aufgaben aus der Logik geübt werden, zum Beispiel Wahrheitswerttabellen und Ableitungen im Kalkül des natürlichen Schließens.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Die Benotung setzt sich aus der Mitarbeit (vor allem dem Aufgaben rechnen an der Tafel) und einer Abschlussprüfung zusammen.
Information
Literatur
Materialen der Vorlesung; Skriptum
Zuordnung im Vorlesungsverzeichnis
PP § 57.2.3
Letzte Änderung: Fr 26.02.2021 00:20