Kommentar |
Inhalte: Aussagenlogik, Prädikatenlogik, Turing-Maschinen und Berechenbarkeit, Mengenlehre, Zahlen. Lernziele: 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. |
Voraussetzungen |
In E3 nicht geeignet für: Mathe, WiWi; Ang. Inf. (IngWi & WiWi), BauIng, BWL (MSM & WiWi), EIT, ISE, Masch.bau, Med.technik, NanoEng |