Elementary Mathematics and Theoretical Computer Science.

The course aims at providing a basic understanding of formal, quantitative and algorithmic reasoning. In addition to provide a solid background for further courses in the logico-linguistic and scientific area, the course aims at providing students with the basic toolkit to take an active part in "information society" and to acquire computer skills.

Knowledge and understanding
At the end of the course graduates

- know the central concepts of elementary mathematical logic
- master the fundamental tools of deductive and inductive logic
- know the central concepts of elementary probability theory
- know the concepts of algorithm and data bases
- understand the relevance of those concepts in society and public discourse

Ability to apply knowledge and understanding
At the end of the study path, the graduate

- can apply the method of Boolean tables to decide the validity of propositional arguments
- can apply the Bayes to solve elementary problems in probabilistic inference
- can apply their knowledge to design and write elementary algorithms