Forum by laureateci.it - Completezza del calcolo degli enunciati

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

Magistrale - Primo Anno

Metodi formali dell'Informatica

Completezza del calcolo degli enunciati

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

frncscngr
Utente medio

Inserito il - 21/02/2010 : 14:30:00

Ragazzi in cosa consiste la domanda in cui si chiede di dimostrare che il calcolo degli enunciati è completo?

leptica
Utente medio

Regione: Puglia
Prov.: Bari
Città: murgia parco

Inserito il - 22/02/2010 : 19:37:34

ogni formula del linguaggio del calcolo degli enunciati è vera(per ogni interpretazioe la formula è vera) allora è anche derivabile (completeness)

gym83s
Utente Estremo

Regione: Puglia
Prov.: Foggia
Città: Trinitapoli

Inserito il - 13/03/2010 : 16:22:42

scusami a che slide si trova?

gym83s
Utente Estremo

Regione: Puglia
Prov.: Foggia
Città: Trinitapoli

Inserito il - 14/03/2010 : 20:31:05

????

gsp_crt
Utente giovane

Città: ortanova

Inserito il - 21/03/2010 : 16:09:53

Citazione:
Messaggio inserito da gym83s

????

vabbè non starti a fossilizzare pure tu su un unico teorema scusami. Con un sacco di cose che ha spiegato non è che mette sempre 1 domanda fissa all'appello. Si preparerebbero tutti la solita domanda e via

Stanno un sacco teoremi abbastanza pesanti che non sono usciti nemmeno 1 volta ancora....

gepy

Discussione

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Vai a:

Forum by laureateci.it

Il DB ha risposto in 0,14 secondi.