185.A02 Foundations of Program Construction

2015W, VU, 2.0h, 2.9EC

Properties

  • Semester hours: 2.0
  • Credits: 2.9
  • Type: VU Lecture and Exercise

Aim of course

Technical and Methodological Knowledge

  • Basic and background knowledge about the construction of programs in a strongly typed object-oriented programming language (Java)
  • Systematic and constructive approach to the construction and evaluation of programs

Cognitive and Practical Skills

  • Abstract and system-oriented mindset in programming
  • Ability to use simple formal and informal methods in the construction and evaluation of programs

Social Competencies, Innovation and Creativity

  • Intellectual curiosity in programming

Subject of course

  • Basic language concepts and their use
  • Assertions (formal und informal)
  • Handling and avoiding run-time errors (debugging, exception handling, program analysis)
  • Problem solving strategies, Data structures and algorithms
  • Implementation of lists, stacks and trees
  • Rekursion in data structures und algorithms
  • Prinziples of objekt-oriented programming (data abstraction, subtypes)
  • Safety in programming (hazards and their avoidance)

Additional information

Preliminary Talk: Oktober 5 from 1 p.m. to 3 p.m., Audi.Max.

"Foundations of Program Construction" was (together with "Program Construction in Practice") one of two courses in the module "Program Construction". Now this modul is covered by a single course "Program Construction" (185.A79). Only students who already completed the (earlier accompanying) course "Program Construction in Practice" (183.592) or do not need that course according to their curriculum can participate in "Foundations of Program Construction". "Foundations of Program Construction"  is arranged in the context of the lecture "Program Construction" (185.A79).

Activities

There are two lecture units every week. They are identical to the theory-based parts of the lecture of "Program Construction".

Four exercise sheets have to be solved. The solutions have to be presented in four tutorials (one hour each).

Participation in two tests is required on December 9 and January 27. If there are only few participants, each test may be preplaced with an oral exam.

ECTS-Breakdown

2.9 ECTS=72.5 hours

  • 30 hours for participation in lectures (including preparation)
  • 24 hours for solving exercise sheets and participation in tutorials
  • 18.5 hours for participation in lectures (including preparation)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon13:00 - 15:0005.10.2015 - 19.10.2015GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Mon13:00 - 15:0005.10.2015 - 25.01.2016GM 1 Audi. Max.- ARCH-INF Vorlesung
Thu14:00 - 16:0008.10.2015 - 22.10.2015GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Thu14:00 - 16:0008.10.2015 - 21.01.2016GM 1 Audi. Max.- ARCH-INF Lecture
Wed16:00 - 17:0011.11.2015 - 27.01.2016EI 3A Hörsaal Tutorial
Foundations of Program Construction - Single appointments
DayDateTimeLocationDescription
Mon05.10.201513:00 - 15:00GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Mon05.10.201513:00 - 15:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Thu08.10.201514:00 - 16:00GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Thu08.10.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture
Mon12.10.201513:00 - 15:00GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Mon12.10.201513:00 - 15:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Thu15.10.201514:00 - 16:00GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Thu15.10.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture
Mon19.10.201513:00 - 15:00GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Mon19.10.201513:00 - 15:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Thu22.10.201514:00 - 16:00GM 5 Praktikum HS- TCH Lecture (broadcast from Audi.Max.)
Thu22.10.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture
Mon26.10.201513:00 - 15:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Thu29.10.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture
Thu05.11.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture
Mon09.11.201513:00 - 15:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Wed11.11.201516:00 - 17:00EI 3A Hörsaal Tutorial
Thu12.11.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture
Mon16.11.201513:00 - 15:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Thu19.11.201514:00 - 16:00GM 1 Audi. Max.- ARCH-INF Lecture

Examination modalities

The assessment of the exercises results from

  • the quality of solutions of exercise sheets,
  • the quality of presentations of these solutions,
  • the participation in the tutorials.

The assessment of the whole course results to three equal parts from each of the two tests as well as the assessment of the exercises provided that each of these parts is positive. A test or the exercises are positive if at least 50% of all tasks have been solved correctly. If one test is negative and the other test as well as the exercises are positive, the negative test can be replaced with an oral exam.

If there are only few participants, each test may be preplaced with an oral exam.

Course registration

Begin End Deregistration end
21.09.2015 08:00 11.10.2015 23:59 04.11.2015 08:00

Registration modalities

 

 

Curricula

Study CodeObligationSemesterPrecon.Info
No records found.

Literature

See http://www.complang.tuwien.ac.at/franz/pk15s-resources/ for the lecture notes (the same for "Foundations of Program Construction" and "Program Construction") and in due time the exercise sheets to be solved.

Previous knowledge

It is assumed that "Program Construction in Practice" has already been completed successfully. Hence, appropriate practical programming skills in Java are presumed.

Students who did not yet complete "Program Construction in Practice" have to participate in "Program Construction" (185.A79) instead of "Foundations of Program Construction".

Preceding courses

Language

German