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.

2018S, 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.

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue13:00 - 15:0006.03.2018Seminarraum FAV EG B (Seminarraum von Neumann) Vorbesprechung
Fri09:00 - 11:0009.03.2018 - 29.06.2018Hörsaal 15 lecture
Wed13:00 - 15:0011.04.2018 - 27.06.2018Hörsaal 14 excercises
Wed13:00 - 15:0002.05.2018EI 6 Eckert HS excercises
Wed13:00 - 15:0009.05.2018EI 6 Eckert HS excercises
Wed13:00 - 15:0030.05.2018EI 6 Eckert HS excercises
Argumentation and Proof - Single appointments
DayDateTimeLocationDescription
Tue06.03.201813:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) Vorbesprechung
Fri09.03.201809:00 - 11:00Hörsaal 15 lecture
Fri16.03.201809:00 - 11:00Hörsaal 15 lecture
Fri23.03.201809:00 - 11:00Hörsaal 15 lecture
Wed11.04.201813:00 - 15:00Hörsaal 14 excercises
Fri13.04.201809:00 - 11:00Hörsaal 15 lecture
Wed18.04.201813:00 - 15:00Hörsaal 14 excercises
Fri20.04.201809:00 - 11:00Hörsaal 15 lecture
Wed25.04.201813:00 - 15:00Hörsaal 14 excercises
Fri27.04.201809:00 - 11:00Hörsaal 15 lecture
Wed02.05.201813:00 - 15:00EI 6 Eckert HS excercises
Wed09.05.201813:00 - 15:00EI 6 Eckert HS excercises
Wed16.05.201813:00 - 15:00Hörsaal 14 excercises
Fri18.05.201809:00 - 11:00Hörsaal 15 lecture
Wed23.05.201813:00 - 15:00Hörsaal 14 excercises
Fri25.05.201809:00 - 11:00Hörsaal 15 lecture
Wed30.05.201813:00 - 15:00EI 6 Eckert HS excercises
Fri01.06.201809:00 - 11:00Hörsaal 15 lecture
Wed06.06.201813:00 - 15:00Hörsaal 14 excercises
Fri08.06.201809: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
04.03.2018 10:00 02.04.2018 12:00 03.04.2018 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