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.

2022S, VU, 4.0h, 6.0EC
TUWEL

LVA-Bewertung

Merkmale

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

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):

Anwesenheit in Vorlesung, Vor- und Nachbereitung, Q&A Einheiten

VO finden online oder mittels Video statt. Termine und Zugangsdaten folgen noch (im tuwel Kurs).

UE-Teil (ca 3.5 ECTS):

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

Abhaltemodus Sommersemester 2022:

Die Vorbesprechung findet online via ZOOM statt.

Es ist geplant, dass die Q&A Einheiten und Übungen in Präsenz abgehalten werden. Wir behalten uns aber vor, wenn es die Situation erfordern sollte,
auf Distance Learning umzustellen. Im Distance Learning würden Q&A Einheiten und Übungen im gleichen Modus via ZOOM Meetings abgewickelt.

Bei etwaigen Distance Learning ist folgendes Equipment ausreichend: geeigneter Arbeitsplatz, stabile Internetverbindung, Notebook mit integrierter Kamera & Headset (oder vergleichbarer Setup)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.10:00 - 11:0004.03.2022 https://tuwien.zoom.us/j/96448564293?pwd=MzBqa2JJZy9jS2VxemRJZWlmbitBUT09Vorbesprechung (via Zoom)
Fr.09:00 - 11:0011.03.2022 - 10.06.2022Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Argumentieren und Beweisen - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.04.03.202210:00 - 11:00 https://tuwien.zoom.us/j/96448564293?pwd=MzBqa2JJZy9jS2VxemRJZWlmbitBUT09Vorbesprechung (via Zoom)
Fr.11.03.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.18.03.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.25.03.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.01.04.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.08.04.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.29.04.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.06.05.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.13.05.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.20.05.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten
Fr.10.06.202209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Uebungen, Q&A Einheiten

Leistungsnachweis

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

LVA-Anmeldung

Von Bis Abmeldung bis
02.03.2022 10:00 04.04.2022 12:00 05.04.2022 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