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 2012

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

---

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

• Oct. 12, 12:45 - No lecture on Communication:
  • The lecture is rescheduled for Thu 18 Oct 18:00.
• Oct. 12, 14:30 - Lecture B (Proof training) repetition for students who could not attend first lecture:
  • Repetition of anonymous test.

• Oct. 18, 18:00, K223 B - Lecture A (Communication) repetition for students who could not attend first lecture:
  • The purpose and the structure of this lecture (repeated).
  • Writing: basic principles (part 1, repeated).

• Oct. 19, 12:45 - Lecture A (Communication):
  • Writing: basic principles (part 2).

• Oct. 19, 14:30 - Lecture B (Proof training):
  • Discussion of solutions to anonymous test and additional exercises.

• Oct. 26, No lectures.

• Nov. 2, No lectures.

• Nov. 9, 12:45 - Lecture A (Communication):
  • The scientific problem solving cycle: the role of Mathematics, Mathematical Logic, and Computer Science.
  • The activities of the software mathematician in the problem solving cycle.
  • The creativity spiral.
  • Discussion about possible topics for student projects.

• Nov. 9, 14:30 - Lecture B (Proof training):
  • Discussion of solutions to the anonymous test.

• Nov. 16, 12:45 - Lecture A (Communication):
  • Writing: basic principles (part 3).
  • Speaking: basic principles.
  • Discussion about possible topics for student projects.

• Nov. 16, 14:30 - Lecture B (Proof training):
  • Discussion of solutions to the anonymous test and additional exercises.
  • Example of propositional proof with failed branch, extracting a counterexample.

• Nov. 23, 12:45 - Lecture A (Communication):

• Nov. 23, 14:30 - Lecture B (Proof training):

• Nov. 30, 12:45 - Lecture A (Communication):

• Nov. 30, 14:30 - Lecture B (Proof training):

• Dec. 7, 12:45 - No lecture A (Communication):

• Dec. 7, 14:30 - Lecture B (Proof training): Examination.

• Dec. 14, 12:45 - Lecture A (Communication):

• Dec. 14, 14:30 - Lecture B (Proof training):

• Dec. 20 - No lectures (holiday).

• Jan. 11, 12:45 - Lecture A (Communication):

• Jan. 11, 14:30 - Lecture B (Proof training):

• Jan. 18, 12:45 - Lecture A (Communication):

• Jan. 18, 14:30 - Lecture B (Proof training):

• Jan. 25, 12:45 - Lecture A (Communication):

• Jan. 25, 14:30 - Lecture B (Proof training):

---

T. Jebelean