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.701 - Methodenlehre II (Fri 12:45 - 16:00, until Nov 20)

Winter Semester 2009

The lectures take place on Friday, 12:45 - 16:00 in K 112A.

There is no lecture on Fri 30 Oct.

Consultations: Thu 3 Dec 16:00 - 18:00 in KG 416.

Rehearse examination: Fri 4 Dec.

Suggested exercises: thu.pdf, fri.pdf.

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.