TSW: Thinking, Speaking, Writing

(Techniques for Scientific Work)

Schedule 30 Jan - 3 Feb

Every student must send me by e-mail a summary of the project presentation until the examination on Feb 3:


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