Forum Informatica Unict

LAUREA MAGISTRALE => Logica Computazionale, 9 CFU => Topic started by: fabio.rinnone on 01-12-2011, 12:55:44



Title: Argomenti lezione 30/11
Post by: fabio.rinnone on 01-12-2011, 12:55:44
Come da oggetto, quali sono stati gli argomenti della lezione di ieri (30/11)?

Grazie.


Title: Re:Argomenti lezione 30/11
Post by: phil on 01-12-2011, 14:58:48
Gli argomenti trattati sono, per somme linee, questi:
- BCP ottimizzata
- Sistema di Hilbert
- Teorema di deduzione di Tarski-Herbrand con dimostrazione
- Correttezza forte e Completezza forte del sistema di Hilbert con relative dimostrazioni
- Sistema di deduzione naturale

A domani  .wink