**TSW: Thinking, Speaking, Writing
**

**(Training for Scientific Work)**

326.057 - TSW Thinking: Understanding and Creating Mathematical Proofs.

Winter Semester 2023

The schedule of the lecture is shown in KUSSS.

The course consists in traninig for scientific work for students in Computer Science and Mathematics.

It is recommended to take both parts of the course together.

Exercises for proof training: exercises for proof training, more exercises, exercises with solutions.

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

Sample papers for analysis of structure: TSW-Sample-Papers.zip

S. Radu