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 2010

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

Suggested exercises: a sample examination, another sample examination. one more sample examination 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. 8: Lecture A (Communication):
  • The purpose and the structure of this lecture.
  • Writing: basic principles.
• Oct. 8: Lecture B (Proof training):
  • Anonymous test.
  • Outline of solutions to the test.

• A: No lecture on Oct. 15:
  • Individual work: study the chapter on writing from the lecture notes (see above).
• B: No lecture on Oct. 15:
  • Individual work: solve the exercises from the anonymous test and other similar exercises.
  • Study the material related to proof training.

• Oct. 22 - Nov. 12: Lecture A (Communication):
  • Discussion of material from the script.
  • Preliminary presentations of projects.
• Oct. 22 - Nov. 12: Lecture B (Proof training):
  • Simple proofs in propositional logic and in predicate logic.
  • Limit of sum of sequences: Formalization and proof in predicate logic.

• A: No lecture on Nov. 19:
  • Individual work: prepare project presentations.
• B: No lecture on Nov. 19:
  • Individual work: solve the exercises from the anonymous test and other similar exercises.
  • Study the material related to proof training.

• Nov. 26: Lecture A (Communication):
  • Project presentations from students in Business Informatics.
• Nov. 26: Lecture B (Proof training):
  • Proofs in predicate logic.
  • Review of main techniques: please prepare questions!

• Dec. 2, 13:30 - 14:30, RISC office KG 416: Consultations

• Dec. 3, 12:45 - 14:15 Lecture B (Proof training):
  • Examination in proof techniques.
• Dec. 3, 14:30 - 16:00 Lecture A (Communication):
  • Project presentations.

• Dec. 10: Lecture A (Communication):
  • Project presentations.
• Dec. 10: Lecture B (Proof training):
  • Discussion of the exam papers.

• Dec. 17: Lecture A (Communication):
  • Complex example of communication, formalization and proving LRP.pdf by W. Windsteiger.
• Dec. 17: Lecture B (Proof training):
  • Discussion of exam papers.
  • Formalization of permutations of tuples.

• Jan. 14: Lecture A (Communication):
  • Project presentations.
• Jan. 14: Lecture B (Proof training):
  • Equivalence relations vs. partitions

• Jan. 21: Lecture A (Communication):
  • Final project presentations.
• Jan. 21: Lecture B (Proof training):
  • Equivalence relations vs. partitions

• Jan. 28, 12:45: Lecture B (Proof training):
  • Final examination in proof training.