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.

2017S, 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 planning meeting is on 7th of March, 5pm in the Seminarraum von Neumann!

Lecturers

Institute

E184 Institute of Information Systems

Course dates

Day	Time	Date	Location	Description
Tue	17:00 - 19:00	07.03.2017	Seminarraum FAV EG B (Seminarraum von Neumann)	Vorbesprechung
Fri	09:00 - 11:00	10.03.2017	Theresianumgasse HS 2	lecture
Fri	09:00 - 11:00	17.03.2017	Theresianumgasse HS 1 - MWB	lecture
Wed	13:00 - 15:00	22.03.2017 - 28.06.2017	Hörsaal 14	excercises
Fri	09:00 - 11:00	24.03.2017	FAV Hörsaal 3 Zemanek (Seminarraum Zemanek)	lecture
Fri	09:00 - 11:00	31.03.2017	Theresianumgasse HS 2	lecture
Fri	09:00 - 11:00	07.04.2017	Theresianumgasse HS 2	lecture
Wed	13:00 - 15:00	26.04.2017	EI 6 Eckert HS	excercises
Wed	13:00 - 15:00	03.05.2017	EI 6 Eckert HS	excercises
Wed	13:00 - 15:00	24.05.2017	EI 6 Eckert HS	excercises

Show single appointments

Argumentation and Proof - Single appointments

Day	Date	Time	Location	Description
Tue	07.03.2017	17:00 - 19:00	Seminarraum FAV EG B (Seminarraum von Neumann)	Vorbesprechung
Fri	10.03.2017	09:00 - 11:00	Theresianumgasse HS 2	lecture
Fri	17.03.2017	09:00 - 11:00	Theresianumgasse HS 1 - MWB	lecture
Wed	22.03.2017	13:00 - 15:00	Hörsaal 14	excercises
Fri	24.03.2017	09:00 - 11:00	FAV Hörsaal 3 Zemanek (Seminarraum Zemanek)	lecture
Wed	29.03.2017	13:00 - 15:00	Hörsaal 14	excercises
Fri	31.03.2017	09:00 - 11:00	Theresianumgasse HS 2	lecture
Wed	05.04.2017	13:00 - 15:00	Hörsaal 14	excercises
Fri	07.04.2017	09:00 - 11:00	Theresianumgasse HS 2	lecture
Wed	26.04.2017	13:00 - 15:00	EI 6 Eckert HS	excercises
Wed	03.05.2017	13:00 - 15:00	EI 6 Eckert HS	excercises
Wed	10.05.2017	13:00 - 15:00	Hörsaal 14	excercises
Wed	17.05.2017	13:00 - 15:00	Hörsaal 14	excercises
Wed	24.05.2017	13:00 - 15:00	EI 6 Eckert HS	excercises
Wed	31.05.2017	13:00 - 15:00	Hörsaal 14	excercises
Wed	07.06.2017	13:00 - 15:00	Hörsaal 14	excercises
Wed	14.06.2017	13:00 - 15:00	Hörsaal 14	excercises
Wed	21.06.2017	13:00 - 15:00	Hörsaal 14	excercises
Wed	28.06.2017	13:00 - 15:00	Hörsaal 14	excercises

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.2017 10:00	03.04.2017 12:00	04.04.2017 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.

Go to Course Materials

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