LM410
Teoremi sulla Logica 1
Docenti: Roberto Maieli (modulo A) e Lorenzo Tortora de Falco (modulo B)
Embedded Files
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.
Page updated
Google Sites
Report abuse