**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:

TSW-Summary-Project-Presentation.pdf

Proof examples:

irrationality of square root of 2

Proof-Continuity-of-Product.pdf

Proof-Uniform-Continuity-of-Sum.pdf

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

Exercises for proof training:

Program transformation and analysis:

Material for individual study by Bruno Buchberger:

- Introduction: Working-Techniques-1-Intro-2008-08-28-21h26.ppt
- Basic proof techniques: Buchberger-Proof-Techniques.pdf
- Definitions in predicate logic: Buchberger_Logic_Definitions.pdf
- Working in predicate logic: Buchberger-Predicate-Logic-2006.pdf
- Sample proofs as short papers: Buchberger-Sample-Proofs.pdf
- Reading: Working-Techniques-2-Reading-2008 2008-08-29-14h35.ppt
- Speaking and Writing:

** 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