"G. d'Annunzio"
None
Introduce the basic concepts of propositional and first order logic.
Logic: inferences and reasonings.
Logic: inferences and reasonings. Atomic and composite propositions. Truth functional connectives. Truth tables. Tautologies. Equivalence and logical consequence. Language and rules of first order logic.
Dario Palladino. Corso di logica: Introduzione elementare al calcolo dei predicati (nuova edizione). Carocci editore.
Lectures and computer laboratory.
Written/practical and oral exam.