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 Nov 26)

Winter Semester 2011

The lectures take place on Friday, 12:45 - 16:00 in HT 177 F.

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

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.

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:
  • Working-Techniques-3-Speaking-Writing-2008 2008-09-01-15h29.ppt
  • Additional details in Reading, Speaking, and Writing - part 1.pdf
  • Additional details in Writing part 2.pdf

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. 14: Lecture A (Communication):
  • The purpose and the structure of this lecture.
  • Writing: basic principles.
• Oct. 14: Lecture B (Proof training):
  • Anonymous test.

• Oct. 21: No lecture:
  • Individual study of the material linked to this homepage.
  • Individual proof training by solving the exercises linked above.