Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Einführung in die mathematische Logik - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung/Übung Langtext
Veranstaltungsnummer Kurztext
Semester WiSe 2017/18 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Credits Belegung Keine Belegpflicht
Zeitfenster
Hyperlink
Sprache Deutsch
Termine Gruppe: [unbenannt] iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Status Bemerkung fällt aus am Max. Teilnehmer/-innen E-Learning
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 08:00 bis 10:00 wöch. Weststadtcarree - WSC-N-U-4.04       Präsenzveranstaltung
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 10:00 bis 12:00 wöch. Weststadtcarree - WSC-S-U-4.01       Präsenzveranstaltung
Einzeltermine anzeigen
iCalendar Export für Outlook
Mo. 09:00 bis 11:00 EinzelT am 12.03.2018 Weststadtcarree - WSC-S-U-2.02       Präsenzveranstaltung
Gruppe [unbenannt]:
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Böttinger, Claudia , Dr. rer. nat.
Zuordnung zu Einrichtungen
Mathematik
Inhalt
Bemerkung

In dieser Veranstaltung geht es um die Grundbegriffe der mathematischen Logik. Folgende ausgewählte Themen werden behandelt: Aussagenlogik, Prädikatenlogik, Turing-Maschinen und Berechenbarkeit, Mengenlehre, Zahlen.

Je nach Teilnehmern können einzelne Themen auch variieren.

Nach dem erfolgreichen Beenden der Veranstaltung sind die Studierenden in der Lage, mathematische Inhalte in der formalen Sprache der Logik zu formulieren und umgekehrt verstehen sie formale logische Ausdrücke als Abstraktionen bekannter mathematischer Inhalte. Parallel dazu erwerben sie Kenntnisse über grundlegende mathematische Begriffe. Sie wenden syntaktische Regeln an und können mit deren Hilfe Folgerungen für die mathematischen Inhalte ableiten.

Die Veranstaltung richtet sich an Mathematik-Studierende im Bachelor und wird im Bereich E1 mit 6 cr angerechnet.

Sie wird im Bereich E2 für Studierenden der Wirtschaftswissenschaften angerechnet, ebenfalls mit 6 cr.

Für die übrigen Studierenden ist diese Veranstaltung als E3-Veranstaltung anerkannt mit 6 cr.

E2/E3- Studierende erhalten Aufgaben, die an ihren Studiengang angepasst sind.

Die Veranstaltung schließt mit einer Klausur ab. Der Termin wird mit den Teilnehmern abgesprochen.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2017/18 , Aktuelles Semester: WiSe 2024/25