TSW: Thinking, Speaking, Writing

(Training for Scientific Work)

326.057 - TSW-Thinking: Understanding and Creating Mathematical Proofs

326.066 - TSW-Speaking-Writing: Communication of Scientific Results

Winter Semester 2008

Friday 12:45 - 16:00 in T212 (except on Jan 16 in T041).

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

Both parts of the course must be taken together.

Examination in Formal Training

• Consultations: Wed 17 Dec 17:00 - 19:00 in Kopf Geb. 416 (RISC room)
• Exam: Thu 18 Dec 8:30 - 10:00 in HS6 or
• exam: Fri 19 Dec 12:45 - 14:15 in T212.

Material for individual study by Bruno Buchberger:

• Introduction:
• Sample proofs as short papers: Buchberger-Sample-Proofs.pdf 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
• 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