TORTORA DE FALCO LORENZO
(programma)
DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI. TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE. TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE. TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE.
(testi)
DISPENSE FORNITE DAL DOCENTE
|