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

2021S, VU, 4.0h, 6.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

  • zu erklären was ist ein Beweis ist und welche Aufgaben er hat.
  • fundamentale Beweistechniken anzuwenden.
  • den Zusammenhang zum Kalkuel des natürlichen Schliessens erklären.

Inhalt der Lehrveranstaltung

  • Was ist ein Beweis? Welche Aufgaben hat er?
  • Einfache Beweistechniken
  • Beweis von All- und Existenzaussagen, Konjunktionen, Diskunktionen,  Implikationen, Aequivalenzen
  • Nutzung dieser Aussagen in einem Beweis
  • Zusammenhang zum Kalkuel des natuerlichen Schliessens
  • Was ist Induktion? Wozu wird sie benoetigt?
  • Arten der Induktion (mathematische, starke, strukturelle, Noether'sche) jeweils mit Diskussion des entsprechenden Induktionsschemas und   Anwendungsfaelle (ausfuehrlich demonstriert an Beispielen)
  • Wie schreibt man einen Induktionsbeweis?

Im Uebungsteil wird die Erstellung komplexerer Beweise geuebt, wobei versucht
wird, Anwendungsfaelle aus der Informatik zu nutzen (z.B. Induktionsbeweise
zum Nachweis der Termination rekursiver Programme).

 

Methoden

Die LVA besteht aus einem Vorlesungsteil und einem Übungsteil. Im Vorlesungsteil werden Beweistechniken besprochen die dann im Übungsteil selbstständig auf Übungsaufgaben anzuwenden sind.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS breakdown:

VO-Teil (ca 2.5 ECTS):

24h Anwesenheit in Vorlesung und 36h Vor- und Nachbereitung.

VO finden online oder mittels Video  statt. Termine und Zugangsdaten folgen noch.

UE-Teil (ca 3.5 ECTS):

90h Ausarbeitung der Beweise inklusive deren Dokumentation, Praesentation in UE-Gruppen und Review von Beweisen anderer Studierender.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.10:00 - 11:0005.03.2021 https://tuwien.zoom.us/j/97461739169?pwd=N2ZxWkE2c2ZqUUEwUk01NXN3T2NzZz09 (LIVE)Vorbesprechung (via Zoom)

Leistungsnachweis

Ausarbeitung der Beweise inklusive deren Dokumentation, Praesentation in UE-Gruppen und Review von Beweisen anderer Studierender.

UE-Gruppen werden im ZOOM Meetings abgehalten.

LVA-Anmeldung

Von Bis Abmeldung bis
03.03.2021 10:00 05.04.2021 12:00 06.04.2021 15:00

Curricula

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

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Erste Erfahrungen mit Definitionen und im Formalisieren und  Beweisen.

Mathematikkenntnisse aus Algebra und Diskrete Mathematik,
Rekursion als Programmiertechnik (z.B. aus Algorithmen und Datenstrukturen 1).

Vorausgehende Lehrveranstaltungen

Sprache

Deutsch