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:

TSW-Summary-Project-Presentation.pdf


Proof examples:

irrationality of square root of 2

Proof-Continuity-of-Sum.pdf

Proof-Continuity-of-Product.pdf

Proof-Uniform-Continuity-of-Sum.pdf

Failed-Proof-Uniform-Continuity-of-Product.pdf


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