LM410
Teoremi sulla Logica 1
Docenti: Roberto Maieli (modulo A) e Lorenzo Tortora de Falco (modulo B)
Il corso ha come obiettivo quello di acquisire una buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonché dei principali risultati che la concernono.
Il corso ha come obiettivo quello di acquisire una buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonché dei principali risultati che la concernono.
Il corso si articola in due moduli, A e B, tenuti rispettivamente dai Professori, Roberto Maieli e Lorenzo Tortora de Falco.
Il corso si articola in due moduli, A e B, tenuti rispettivamente dai Professori, Roberto Maieli e Lorenzo Tortora de Falco.