TSW: Thinking, Speaking, Writing

(Techniques for Scientific Work)

Every student needs to send me a research report by e-mail until the time of the examination, this counts as 2 points in your final grade. The examination consists in exercises in formal training.
Summary of the project presentation:


Proof examples:

irrationality of square root of 2





Exercises for proof training:

exercises for proof training,

more exercises,

exercises with solutions.

Program transformation and analysis:

reverse of a list.

Material for individual study by Bruno Buchberger:

All this material is copyrighted by Bruno Buchberger and it may be used only by the students participating in this lecture and for the purpose of studying for this lecture.

T. Jebelean