No prerequisites or propedeuticity required.

Withing Laboratory of Fundamental Logics, the learning objectives are:

1. Understand the basic principles of logic and propositional calculus.

2. Practice basic logical reasoning.

1. Introduction: Logic

2. Possible Worlds, Logical Sentences, Logical Entailment

3. Logical Proofs

4. Propositional Logic: Syntax, Semantics

5. Examples and Exercises

The lecturer will provide teaching materials in the form of slides and make them available on his lecturer page.

Teaching is taught entirely in English.

• The teaching activity is composed of frontal lectures. In support of the lectures, slides will be projected and where necessary technical exercises will be carried out.

• The assessment of the acquisition of the skills related to the fundamental logics will take place, once the remedial course has been attended in its entirety, through the completion of an online assessment/self-evaluation questionnaire. Specifically, the student will be provided with some multiple-choice questions relating to the context of the lectures. In the case of incorrect answers, the student will provided with useful indications for further study, without prejudice to the possibility for the student to talk to the teacher for more personalized advice.

English

English