TSW: Thinking, Speaking, Writing

TSW: Thinking, Speaking, Writing

(Training for Scientific Work)

326.057 - TSW Thinking: Understanding and Creating Mathematical Proofs.

Winter Semester 2023

The schedule of the lecture is shown in KUSSS.

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.

Exam is to be handed in at latest on 6 February by email: tswexam.pdf

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:

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.

Sample papers for analysis of structure: TSW-Sample-Papers.zip

S. Radu