|
|
- Info
Themenliste
- 12.04. 2013 Besprechungstermin: Vergabe der Themen
- 19.04.2013 Was ist Logik? Logik, Argumente, Gründe, Gültigkeit Schlüssigkeit und Wahrheit, Argumentationsdiagramme
- 26.04.2013 Aussagenlogik
Aussagen, Wahrheitswerttabellen, Syntaxbäume, Negationen, Zurückweisen von Prämissen - 03.05.2013 Aussagenlogik II typische Schlüsse und Fehlschlüsse, Logik der natürlichen Sprache, Negation von Implikationen, Widerlegen von Inferenzen
- 10.05.2013 Indirekte Beweise
Wohlgeformtheit von Formeln, Abkürzungsmethode, Konsistenz, Widersprüchlichkeit, Wahrheitsbaumverfahren - 17.05.2013 Prädikatenlogik Prädikate, Übersetzen in prädikatenlogische Aussagen, Lesen zwischen den Zeilen
- 24.05. 2013 Sematik Universen, Syllogismus, Gültigkeit in Prädikatenlogik
- 31.05.2013 Induktive Logik
ausreichende Evidenz statt Gültigkeit, Schließen aus Statistik, Bilden von Theorien - 07.06.2013 Prädikatenlogik Wohlgeformtheit, Aufbau einer Argumentation, Logik der Wahrscheinlichkeiten
- 14.06.2013 Formale Beweise (ausnahmsweise in Raum in 03.04.2.01) Erste Ableitungsregeln, Einfache Strategie, Argumentation aufschreiben
- 21.06. 2013 Natürlichen Schließen, Beweisstrategien, Entscheidungen treffen, (Modallogik)
- 28.06. 2013 Natürlichen Schließen in PL Regeln, Beweisstrategien, Diskutieren, Paradoxien
- 05.07. 2013 Induktionsbeweise, Unvollständigkeit der Logik
|
-
Lehrform
Proseminar
-
Empfohlen ab FS
2
-
Benotet
Ja
-
Punkte gesamt
3
-
davon praktisch
0
-
Sprache
deutsch
-
Fremdhörer zugelassen?
Nein
-
Teilgebiete
Theoretische Informatik(2000), Wahlfrei(7000)
-
Studiengang
Bachelor
-
Belegung
via PULS
|
