FB 6 Mathematik/Informatik/Physik

Institut für Mathematik


Navigation und Suche der Universität Osnabrück


Hauptinhalt

Topinformationen

Personen

Introduction to Logic and Critical Thinking

8.3507

Dozenten

Beschreibung

This is an introductory course on the basics of argumentation theory and classical formal logic, including propositional and predicate logic. The course introduces to the central notions of validity and soundness, develops the links between the notions of validity, semantic consequence, and syntactic derivability and related notions like completeness and correctness, and provides semantic (semantic trees) and syntactic (Fitch-style calculus for natural deduction) frameworks for checking for the validity of arguments.

Weitere Angaben

Ort: 93/E12: Mo. 10:00 - 12:00 (12x) Mo. 12:00 - 14:00 (12x) Mo. 16:00 - 18:00 (12x) Do. 12:00 - 14:00 (12x), 93/E44: Mi. 10:00 - 12:00 (14x) Mittwoch, 31.01.2024, Mittwoch, 03.04.2024 08:00 - 10:00, 93/E01: Do. 12:00 - 14:00 (12x)
Zeiten: Mo. 10:00 - 12:00 (wöchentlich) - Tutorial Johanna, Ort: 93/E12, Mo. 12:00 - 14:00 (wöchentlich) - Tutorial Mariia, Ort: 93/E12, Mo. 16:00 - 18:00 (wöchentlich) - Tutorial Max, Ort: 93/E12, Mi. 10:00 - 12:00 (wöchentlich), Ort: 93/E44, Do. 12:00 - 14:00 (wöchentlich) - Tutorial Anna, Ort: 93/E12, Do. 12:00 - 14:00 (wöchentlich) - Tutorial Bogdan, Ort: 93/E01, Termine am Mittwoch, 31.01.2024, Mittwoch, 03.04.2024 08:00 - 10:00, Ort: 93/E44
Erster Termin: Mittwoch, 18.10.2023 10:00 - 12:00, Ort: 93/E44
Veranstaltungsart: Vorlesung und Seminar (Offizielle Lehrveranstaltungen)

Studienbereiche

  • Cognitive Science > Bachelor-Programm
  • Human Sciences (e.g. Cognitive Science, Psychology)