Logica matematica - non solo per ragionare ma per conoscerne la storia dalle origini ai giorni nostri

Un breve corso di tre incontri che vuole presentare in sintesi la storia della logica dalle origini della Grecia classica agli ultimi esempi logici con gli studi nel linguaggio dei computer.
Verrà presentata la logica di Aristotele, con i sillogismi, la logica delle proposizioni (frasi) che ha avuto origine con Crisippo (III secolo a.C.) con i connettivi, ancora oggi attuale, la logica  dei predicati (concetti) con Gottob Frege (XX secolo), la logica dei linguaggi dei computer con George Boole con l'algebra booleana e le applicazioni della logica in Alan Turing (1912-1954) logico, matematico, inventore del computer.
Nei tre incontri inoltre verranno presentati test e quiz di logica volti a valutare capacità di ragionamento, abilità di calcolo mentale e intuito logico-matematico.

Coordinatrice: dott.ssa Iolanda Davletbaiev, esperta della materia