PhD Curriculum for
Symbolic Computation / Mathematics
for Computer Science / The
"Thinking, Speaking, Writing" Course / The
WhiteBox  BlackBox Principle
Special Didactic Activities/ Mathematics for Computer
Science:
In 1979 I designed the "Mathematics for Computer Science"
part of the curriculum of computer science (consisting of four semesters)
at the University of Linz. The approach emphasizes formal training
(predicate logic as a working language) in the first two semesters
and the integration of symbolic computation software systems into
math teaching. This was the first such program that emphasizes the
formal aspects of math training for computer science students. I
taught the courses of this curriculum a couple of times myself (19791985
at the University of Linz and, again, 19931996 in the Fachhochschule
(Polytechnic University) in Hagenberg. I laid down the basics of
this approach in a textbook (1980) and a series of lecture notes
(19931996). Coworkers of mine took this activity over and offer
this series of courses now both at the University of Linz and the
Polytechnik University of Hagenberg.
