**TSW: Thinking, Speaking, Writing
**

**(Techniques for Scientific Work)**

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

The course trains formal skills (proving mathematical statements, formalizing mathematical theories, and understanding formal text).

The grade is based on a written test at the end of the lecture.

Lecture 1

TSW-Lecture-1-Propositional-Proof.pdf

TSW-Proof-Presentation-Continuity-of-Product.pdf

T. Jebelean