DISI Laurea Specialistica in Informatica


Corso di Logica Matematica 2 - a.a. 2004/05


Descrizione

Lo scopo del corso è di studiare la struttura alla base delle logiche, usando il proof editor JAPE.
In seguito, si affronteranno almeno i casi della: