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.

2014S, VU, 4.0h, 6.0EC

TUWEL course

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

E184 Institute of Information Systems

Course dates

Day	Time	Date	Location	Description
Wed	09:00 - 12:00	05.03.2014 - 25.06.2014	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	17:30 - 19:30	13.03.2014 - 26.06.2014	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen

Show single appointments

Argumentation and Proof - Single appointments

Day	Date	Time	Location	Description
Wed	05.03.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Wed	12.03.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	13.03.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	19.03.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Wed	26.03.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	27.03.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	02.04.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	03.04.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	09.04.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	10.04.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	30.04.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Wed	07.05.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	08.05.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	14.05.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	15.05.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	21.05.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	22.05.2014	17:30 - 19:30	EI 10 Fritz Paschke HS - UIW	Argumentieren und Beweisen
Wed	28.05.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Wed	04.06.2014	09:00 - 12:00	EI 3A Hörsaal	Argumentieren und Beweisen
Thu	05.06.2014	17:30 - 19:30	EI 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
05.03.2014 10:00	31.03.2014 12:00	01.04.2014 15:00

Curricula

Study Code	Obligation	Semester	Precon.	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