AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Vorlesung: Einführung in die Logik - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 51001
Semester SoSe 2020 SWS 2
Rhythmus keine Übernahme Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Digital

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mi. 10:00 bis 12:00 wöch 2094 (Hörsaal)
Stockwerk: 1. OG

alttext alttext 		Universitäts-Hauptgebäude - Unter den Linden 6 (UL 6)

Außenbereich eingeschränkt nutzbar Innenbereich eingeschränkt nutzbar Parkplatz vorhanden Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		  findet statt    
Gruppe 1:
 

Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Philosophie Kernfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Science  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Science  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Philosophische Fakultät, Institut für Philosophie
Inhalt
Kommentar

Die Studentinnen und Studenten erhalten eine Einführung in die Logik. Motiviert durch Überlegungen zum informellen Folgern werden speziell
aussagenlogische und prädikatenlogische Sprachen aufgebaut. Für diese wird „Herleitbarkeit" definiert und das Herleiten im Kalkül wird eingeübt.
Übersetzungen zwischen formalen Sprachen und natürlicher Sprache werden behandelt. Die dabei gewonnenen Kompetenzen werden für die Analyse von
philosophischen Texten und Argumenten eingesetzt.
Bemerkung

Alle Teilnehmer_innen der Logik-Vorlesung tragen sich bitte in den offenen Moodle-Kurs der Vorlesung ein. Vielen Dank.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2020. Aktuelles Semester: SoSe 2024.
Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin