Algebra and Mathematical Logic

Synthetic program:

Corso introduttivo di logica matematica, il cui scopo è presentare tecniche e teoremi fondamentali della logica del prim'ordine e alcune sue applicazioni. Il corso intende anche fornire fondamenti per l'uso dei linguaggi formali in matematica e informatica oltre che preparare a corsi più avanzati in logica. In questa prospettiva, verranno introdotti durante il corso i concetti algebrici necessari a sviluppare la semantica di Tarski per la logica del prim'ordine, che allo stesso tempo forniscono esempi interessanti di teorie del prim'ordine. Nel corso del laboratorio sarà presentato un programma di dimostrazione automatica