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.

2016S, 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

Attention: The lecture will start in the second week!

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed09:00 - 12:0002.03.2016 - 22.06.2016EI 3A Hörsaal Argumentieren und Beweisen
Thu17:30 - 19:3010.03.2016 - 23.06.2016EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Tue17:00 - 19:0015.03.2016Seminarraum FAV EG B (Seminarraum von Neumann) 1. Termin Prof. Egly
Tue17:00 - 19:0005.04.2016 - 19.04.2016Seminarraum FAV EG B (Seminarraum von Neumann) Termine Prof. Egly
Argumentation and Proof - Single appointments
DayDateTimeLocationDescription
Wed02.03.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Wed09.03.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu10.03.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Tue15.03.201617:00 - 19:00Seminarraum FAV EG B (Seminarraum von Neumann) 1. Termin Prof. Egly
Wed16.03.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu17.03.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Tue05.04.201617:00 - 19:00Seminarraum FAV EG B (Seminarraum von Neumann) Termine Prof. Egly
Wed06.04.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu07.04.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Tue12.04.201617:00 - 19:00Seminarraum FAV EG B (Seminarraum von Neumann) Termine Prof. Egly
Wed13.04.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu14.04.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Tue19.04.201617:00 - 19:00Seminarraum FAV EG B (Seminarraum von Neumann) Termine Prof. Egly
Wed20.04.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu21.04.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Wed27.04.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu28.04.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen
Wed04.05.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Wed11.05.201609:00 - 12:00EI 3A Hörsaal Argumentieren und Beweisen
Thu12.05.201617:30 - 19:30EI 10 Fritz Paschke HS - UIW Argumentieren und Beweisen

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
06.03.2016 10:00 04.04.2016 12:00 05.04.2016 15:00

Curricula

Study CodeObligationSemesterPrecon.Info
033 534 Software & Information Engineering Mandatory elective
033 535 Computer Engineering Not specified
033 535 Computer Engineering Mandatory elective

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