180140 UE M-03 Exercise Course in Logic (2017W)
Continuous assessment of course work
Labels
Summary
Registration/Deregistration
Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
- Registration is open from Fr 08.09.2017 12:04 to Fr 22.09.2017 12:00
- Deregistration possible until Mo 30.10.2017 12:00
Registration information is available for each group.
Groups
Group 1
max. 45 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Friday
13.10.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
20.10.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
27.10.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
03.11.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
10.11.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
17.11.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
24.11.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
01.12.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
15.12.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Thursday
11.01.
13:15 - 14:45
Hörsaal 3F NIG 3.Stock
Friday
12.01.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
19.01.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday
26.01.
11:30 - 13:00
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Assessment and permitted materials
Zur Beurteilung dienen mehrere eher kurze schriftliche Teilprüfungen während der Lehrveranstaltung sowie eine etwas umfangreichere schriftliche Prüfung in der letzten Einheit des Semesters. Es handelt sich um eine prüfungsimmanente Lehrveranstaltung, d.h. die Übung zählt als Ganzes als eine Prüfung, die nur als Ganzes nachgeholt werden kann; für die Teilprüfungen gibt es keine Ersatztermine, aber das z.B. krankheitsbedingte Versäumen einzelner (!) Teilprüfungstermine ist natürlich kein Problem.Die Studienprogrammleitung begehrt die Bekanntgabe folgender Information:"Alle Studierende, die einen Lehrveranstaltungsplatz erhalten haben, sind zu beurteilen, sofern sie sich nicht zeitgerecht abgemeldet haben oder unverzüglich nach Wegfall des Hindernisses einen wichtigen Grund für die Nichtdurchführung der Abmeldung glaubhaft machen."
Minimum requirements and assessment criteria
Jede der Prüfungsfragen ist einem der folgenden Themengebiete zugeordnet: (1) Semantik, (2) Syntax - Herleitungen, (3) Syntax - Sonstiges, (4) Theorie. Für eine positive Abschlussnote muss jedes dieser Gebiete positiv bewältigt worden sein.ACHTUNG: Beim Gebiet "formale Logik" geht es nicht oder nur am Rande um Wissen, sondern vielmehr um Können. Klassisches (Auswendig-) Lernen ist weder notwendig noch sinnvoll. Es geht vielmehr darum, eine Technik zu erlernen, und dafür ist (viel) Übung erforderlich.
Examination topics
Der genaue Stoffumfang variiert mit den Möglichkeiten und Interessen der Teilnehmenden, aber der Mindestumfang sind Syntax und Semantik der klassischen Aussagenlogik einschließlich eines einfachen Kalküls sowie Grundzüge der klassischen Prädikatenlogik der ersten Stufe.
Reading list
Literatur im engeren Sinn ist nicht erforderlich, aber wenn Ihnen die Übung zu elementar oder zu langsam ist und/oder Sie andere Kalküle erlernen und verwenden wollen, können Sie sich gerne in der Einführungsliteratur bedienen und die Prüfungsaufgaben in einem anderen Kalkül des natürlichen Schließens oder in einem axiomatischen Kalkül lösen.
Group 2
max. 45 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Tuesday
10.10.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
17.10.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
24.10.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
31.10.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
07.11.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
14.11.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
21.11.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
28.11.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
05.12.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
12.12.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
09.01.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
16.01.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
23.01.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday
30.01.
16:45 - 18:15
Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Assessment and permitted materials
aktive Teilnahme an Lehrveranstaltung; schriftliche Übungstests; etwaige schriftliche oder mündliche Zusatzaufgaben, etwa bei Unklarheiten über Selbstständigkeit der erbrachten Leistungen
Minimum requirements and assessment criteria
Vorbereitung von mindestens 50 Prozent der Übungsbeispiele als notwendige (nicht hinreichende) Bedingung für positive Beurteilung; Punkteschema für Gesamtnote: ausgehend von den Noten der Übungstests kann sich die Gesamtnote durch aktive Teilnahme und Bonusbeispiele um bis zu zwei Grade verändern (üblicherweise verbessern)
Examination topics
Formationsregeln, Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen wie Vollständigkeitssatz, Kompaktheitssatz, Unvollständigkeitssätze, Nichtklassische Logiken, Prädikatenlogik mit unendlich langen Ausdrücken, Typentheorie, Modelltheorie; historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Popper, Tarski, G. Russell, Leitgeb)
Reading list
erfolgen in Absprache mit der zugehörigen Vorlesung ‚Grundkurs Logik‘
Information
Aims, contents and method of the course
Association in the course directory
Last modified: Mo 07.09.2020 15:36