184.765 Argumentieren und Beweisen Abgesagt
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018W, VU, 4.0h, 6.0EC

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Erlernen der grundlegenden Elemente der Sprache der Mathematik.
Wie lese ich eine Definition? Wie sieht ein korrekter mathematischer Beweis aus?
Aussagen mathematisch korrekt beweisen.
Methoden und Techniken um Beweise zu strukturieren.
Syntax und Semantik von: Aussagenlogik, Prädikatenlogik und Mengen.

Inhalt der Lehrveranstaltung

Erlernen der grundlegenden Elemente der Sprache der Mathematik.
Wie lese ich eine Definition? Wie sieht ein korrekter mathematischer Beweis aus?
Aussagen mathematisch korrekt beweisen.
Methoden und Techniken um Beweise zu strukturieren.
Syntax und Semantik von: Aussagenlogik, Prädikatenlogik und Mengen.

Vortragende Personen

Institut

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 534 Software & Information Engineering Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 535 Technische Informatik Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch