Logica, rappresentazione della conoscenza e ragionamento automatico

Location: 
Aula A2

La logica è la disciplina che studia gli strumenti per ragionare, ovvero per trarre conclusioni validi, o accettabili, da un insieme di premesse. La logica ha più di 2.400 anni, ed ha svolto un ruolo fondamentale sia nello sviluppo del pensiero scientifico sia nell'ambito del pensiero filosofico. Lo scopo del seminario è fornire una breve introduzione a questa disciplina, e motivare il perchè, sebbene talvolta non sembri patrimonio acquisito della cultura contemporanea, è alla base di diversi campi del sapere, tra i quali l'informatica e l'intelligenza artificiale. Attraverso aneddoti e giochi si tenterà di dimostrare che la logica è anche divertente.