184.765 Argumentation and Proof
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021S, VU, 4.0h, 6.0EC
TUWEL

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to...

  • explain the concept of proofs and their purpose.
  • apply fundamental proof techniques.
  • explain the relation to the proof calculus of natural deduction

Subject of course

  • What is a proof? What are the porpuses of proofs?
  • Fundamental proof techniques
  • Proofs for universal and existential statements, conjunctions, discjunctions, implications, equivalences
  • Applying these proof techniques in a proof
  • Connection to the calculus of natural inference 
  • What is a proof by induction? What is it needed for?
  • Different types of induction (mathematical, strong, structural, Noetherian), each with a discussion of the corresponding induction scheme and application cases (demonstrated in detail with examples) 
  • How to write a proof by induction proof?

In the practice part, the more complex proofs are considered, including application cases from computer science (e.g. induction proofs for the termination of recursive programs).

Teaching methods

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

Mode of examination

Immanent

Additional information

ECTS breakdown:

VLecture part (ca 2.5 ECTS):

24h in class  and 36h preparation (before and after the lecture).

Exercise part  (ca 3.5 ECTS):

90h Development of proofs  including the  documentation, presentation in exercise groups and review of  proofs developed by other students.

Lecturers

Institute

Course dates

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

Examination modalities

Elaboration of proofs including their documentation, presentation in exercise groups and peer review of proofs from other students.

Course registration

Begin End Deregistration end
03.03.2021 10:00 05.04.2021 12:00 06.04.2021 15:00

Curricula

Study CodeSemesterPrecon.Info
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase
033 535 Computer Engineering STEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Previous knowledge

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

Preceding courses

Language

German