Pages: [1]   Go Down
Print
Author Topic: Argomenti lezione 30/11  (Read 559 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
fabio.rinnone
Apprendista Forumista
**
Offline Offline

Gender: Male
Posts: 160


WWW
« on: 01-12-2011, 12:55:44 »

Come da oggetto, quali sono stati gli argomenti della lezione di ieri (30/11)?

Grazie.
Logged

Fabio Rinnone
phil
Matricola
*
Offline Offline

Posts: 10



« Reply #1 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 
Logged
Pages: [1]   Go Up
Print
Jump to: