Allgemeine Informationen
Veranstaltungsname | Übung: Einführung in die formale Logik |
Veranstaltungsnummer | 016 |
Semester | WS 2018/19 |
Aktuelle Anzahl der Teilnehmenden | 20 |
Heimat-Einrichtung | Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie |
beteiligte Einrichtungen | Philosophie |
Veranstaltungstyp | Übung in der Kategorie Lehre |
Erster Termin | Freitag, 19.10.2018 10:00 - 11:30, Ort: 2110 Gebäude D |
Leistungsnachweis | Prüfungsform/Scheinerwerb: entsprechend der jeweiligen Prüfungsordnung |
Online/Digitale Veranstaltung | Veranstaltung wird online/digital abgehalten. |
Hauptunterrichtssprache | deutsch |
Literaturhinweise |
Copi, Irving: Einführung in die Logik. München 1998 Gerster, Hans-Dieter: Aussagenlogik, Mengen, Relationen. Hildesheim 1998 Hoyningen-Huene, Paul: Formale Logik. Eine philosophische Einführung. Stuttgart 1998 Kneale, William / Kneale, Martha: The Development of Logic. Oxford 1978 Lightstone, A.H., Mathematical Logic, New York , 1978 Löffler, Winfried, Einführung in die Logik, Stuttgart 2008 Mates, Benson: Elementare Logik. Prädikatenlogik der ersten Stufe. Göttingen 21978. Unveränd. Nachdr. 1997 Rosenkranz, Sven: Einführung in die Logik. Stuttgart-Weimar 2006 Oberschelp, Arnold, Logik für Philosophen, 2. Aufl. Stuttgart 1997 Spies, Marcus: Einführung in die Logik. Heidelberg-Berlin 2004 Strobach, Niko: Einführung in die Logik. Darmstadt 2005 Tetens, Holm: Philosophisches Argumentieren. Eine Einführung. München 2004 Tugendhat, Ernst / Wolf, Ursula: Logisch-semantische Propädeutik. Stuttgart 1997 Zoglauer, Thomas: Einführung in die formale Logik für Philosophen. Göttingen 2002 |
Sonstiges |
- Nebenfachmodul/Pool (Einzelnachweise durch Schein): BacMath 710, BacInfo 835, MaMath 712 - Weitere Zuordnungen: D Phy, D Info, D Math, EF Philosophie/Ethik |