Teaching Workshop:
A.Y. 2020/2021
Learning objectives
The laboratory aims at giving students the essential tools to get acquainted with research in logic. In particular, students will exercise their skills in arguing and presenting research results in mathematics and logic, and will be introduced to tools, such as the Latex typesetting system, to prepare scientific articles, master theses, and presentations.
Expected learning outcomes
The workshop aims to develop the following skills:
Critical thinking skills:
By the end of the workshop, students will display a sufficiently independent critical approach in selecting and interpreting the notions that are most relevant their area of study and to the broader socio-cultural context in which they operate
Communication skills:
By the end of the workshop:
- students will be able to effectively communicate the acquired knowledge and disseminate it to the general public;
- student will have developed basic IT skills concerning knowledge preservation and transfer.
Learning skills:
By the end of the workshop, students will have developed the learning skills required to continue their studies in keeping with their own research interests. In order to meet this objective, students will also develop relevant skills in the independent interpretation of sources and in the use of basic IT tool for bibliographic research.
Critical thinking skills:
By the end of the workshop, students will display a sufficiently independent critical approach in selecting and interpreting the notions that are most relevant their area of study and to the broader socio-cultural context in which they operate
Communication skills:
By the end of the workshop:
- students will be able to effectively communicate the acquired knowledge and disseminate it to the general public;
- student will have developed basic IT skills concerning knowledge preservation and transfer.
Learning skills:
By the end of the workshop, students will have developed the learning skills required to continue their studies in keeping with their own research interests. In order to meet this objective, students will also develop relevant skills in the independent interpretation of sources and in the use of basic IT tool for bibliographic research.
Lesson period: First semester
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Lesson period
First semester
The first part of the course, on LaTeX, will be held online, via Microsoft Teams.
Course syllabus
In the first part of the course, students will be introduced to the LaTex typesetting system, to prepare scientific articles, master theses, and presentations. There will be a special focus on the management of the bibliography and the correct presentation of the existing results in the literature.
The second part of the course will be focused on mathematical notions, with a particular focus on proof techniques and methodological aspects which are relevant for research in logic.
The second part of the course will be focused on mathematical notions, with a particular focus on proof techniques and methodological aspects which are relevant for research in logic.
Prerequisites for admission
Logica (LT)
Teaching methods
During the classes, the instructor will prepare documents in LaTeX, to present the main features of such language. The documents can also be used by the students as guides to LaTeX, and as templates for their master thesis.
The part focused on mathematics will be held mainly via slides, exercises, and discussions with the students.
The part focused on mathematics will be held mainly via slides, exercises, and discussions with the students.
Teaching Resources
Slides and LaTeX source files provided by the instructor.
Further readings:
- The LaTeX Companion, 2nd edition (F. Mittelbach et al.)
- More Precisely. The Math you need to do Philosophy (E. Steinhart)
- Sets, Logic and Computation. An Open Introduction to Metalogic.
(see https://openlogicproject.org/)
Further readings:
- The LaTeX Companion, 2nd edition (F. Mittelbach et al.)
- More Precisely. The Math you need to do Philosophy (E. Steinhart)
- Sets, Logic and Computation. An Open Introduction to Metalogic.
(see https://openlogicproject.org/)
Assessment methods and Criteria
Students are expected to deliver documents prepared in the LaTeX language, based on the teacher's instructions. It is also expected that they actively participate in the classes and the research seminars organized by the logic group.
- University credits: 3
Humanities workshops: 20 hours
Professor:
Baldi Paolo