Acquisire la conoscenza della logica classica e di alcuni sistemi di logica non classica, della relativa semantica formale e metodi di dimostrazione. Acquisire la capacità di utilizzare le logiche studiate per la rappresentazione di realtà sia statiche che dinamiche. Presentazione di alcune importanti applicazioni della logica in ambito informatico