**TSW: Thinking, Speaking, Writing
**

**(Training for Scientific Work)**

326.066 - TSW Speaking-Writing: Communication of Scientific Results (Fri 12:45 - 14:15)

326.057 - TSW Thinking: Understanding and Creating Mathematical Proofs (Fri 14:30 - 16:00)

256.702 - Formale Methoden (Fri 12:45 - 16:00, until Dec)

Winter Semester 2013

The lectures take place on Friday, 12:45 - 16:00 in KG 519.

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

Lectures

**Oct. 11, 12:45 - Lecture A (Communication)**:- The purpose and the structure of this lecture.
- Writing: basic principles (part 1).

**Oct. 11, 14:30 - Lecture B (Proof training)**:- Anonymous test.

**No lectures on Oct. 18, Oct. 25**:- Individual work using the materials above.

T. Jebelean