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.

2019S, VU, 4.0h, 6.0EC

Properties

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

Aim of course

To be added.

Subject of course

To be added.

 

Additional information

 

Die Vorbesprechung findet am Freitag 8.März.2019 um 9:15 (im Hörsaal 15).

Weitere Termine:

Vorlesungstermine

Fr. 15.März 9:00-11:00 (Hörsaal 15)
Fr. 29.März 9:00-11:00 (Hörsaal 15)
Mi. 10.April 13:00-15:00 (Hörsaal 14)
Mi. 8.Mai 13:00-15:00 (Hörsaal 14)
Fr. 10.Mai 9:00-11:00 (Hörsaal 15)

Übungstermine

Fr. 5.April 9:00-11:00 (Hörsaal 15)
Fr. 3.Mai 9:00-11:00 (Hörsaal 15)
Fr. 17.Mai 9:00-11:00 (Hörsaal 15)
Fr. 24.Mai 9:00-11:00 (Hörsaal 15)
Mi. 29.Mai 15:00-17:00 (Seminarraum FAV 01 A (Seminarraum 183/2))  <-- Abweichender Wochentag / Uhrzeit / Hörsaal
Fr. 7.Juni 9:00-11:00 (Hörsaal 15)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue13:00 - 15:0005.03.2019Seminarraum FAV EG B (Seminarraum von Neumann) Vorbesprechung
Fri09:00 - 11:0008.03.2019 - 28.06.2019Hörsaal 15 lecture
Wed13:00 - 15:0010.04.2019 - 26.06.2019Hörsaal 14 excercises
Wed15:00 - 17:0022.05.2019Seminarraum FAV 01 C (Seminarraum 188/2) Übung
Wed15:00 - 17:0029.05.2019Seminarraum FAV 01 C (Seminarraum 188/2) Übung
Argumentation and Proof - Single appointments
DayDateTimeLocationDescription
Tue05.03.201913:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) Vorbesprechung
Fri08.03.201909:00 - 11:00Hörsaal 15 lecture
Fri15.03.201909:00 - 11:00Hörsaal 15 lecture
Fri22.03.201909:00 - 11:00Hörsaal 15 lecture
Fri29.03.201909:00 - 11:00Hörsaal 15 lecture
Fri05.04.201909:00 - 11:00Hörsaal 15 lecture
Wed10.04.201913:00 - 15:00Hörsaal 14 excercises
Fri12.04.201909:00 - 11:00Hörsaal 15 lecture
Fri03.05.201909:00 - 11:00Hörsaal 15 lecture
Wed08.05.201913:00 - 15:00Hörsaal 14 excercises
Fri10.05.201909:00 - 11:00Hörsaal 15 lecture
Wed15.05.201913:00 - 15:00Hörsaal 14 excercises
Fri17.05.201909:00 - 11:00Hörsaal 15 lecture
Wed22.05.201913:00 - 15:00Hörsaal 14 excercises
Wed22.05.201915:00 - 17:00Seminarraum FAV 01 C (Seminarraum 188/2) Übung
Fri24.05.201909:00 - 11:00Hörsaal 15 lecture
Wed29.05.201913:00 - 15:00Hörsaal 14 excercises
Wed29.05.201915:00 - 17:00Seminarraum FAV 01 C (Seminarraum 188/2) Übung
Wed05.06.201913:00 - 15:00Hörsaal 14 excercises
Fri07.06.201909:00 - 11:00Hörsaal 15 lecture

Examination modalities

Geblockte Einfuehrungsvorlesung (im Gesamtumfang von knapp 2h/2.5
ECTS), danach umfangreiche individuell auszuarbeitende Aufgaben zum
Argumentieren und Beweisen (im Unfang von 3.5 ECTS). Ausfuehrliche
Praesentation der Beweise (alle Loesungen durch jede
Teilnehmerin/jeden Teilnehmer), exemplarische Ausarbeitung einiger
Loesungen, Korrektur durch Studierende und zusaetzlich durch LVA Leiter/Tutoren zwecks
Rueckmeldung. Leistungsermittlung auf Grund der Praesentationen, der Qualitaet der Reviews und  der berichtigten schriftlichen Ausarbeitungen (saubere Handschrift oder LaTeX).

Course registration

Begin End Deregistration end
03.03.2019 10:00 01.04.2019 12:00 02.04.2019 15:00

Curricula

Study CodeObligationSemesterPrecon.Info
033 534 Software & Information Engineering Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
033 535 Computer Engineering Mandatory electiveSTEOP
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