Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
 Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 Magistrale - Primo Anno
 Metodi formali dell'Informatica
 Domande esame 3/02/2011		  Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
I seguenti utenti stanno leggendo questo Forum Qui c'è:
Autore Discussione Precedente Discussione Discussione Successiva  

giaefre
Nuovo Utente
Inserito il - 07/02/2011 : 11:10:05  Mostra Profilo  Visita l'Homepage di giaefre Invia a giaefre un Messaggio Privato  Rispondi Quotando
Qualcuno cortesemente potrebbe postare le domande che il prof ha fatto in questo appello? Grazie

loz
Utente medio
Inserito il - 08/02/2011 : 11:48:21  Mostra Profilo  Visita l'Homepage di loz Invia a loz un Messaggio Privato  Rispondi Quotando
1)Verificare se la seguente formula è derivabile:
AxEy(A(x) v B(y)) -> ExAy(A(x) ^ B(y))
(dove Ax per ogni x, Ey esiste y, v or, ^ and)
2)Hamilthonian path e NP-completezza
3)Teorema della risoluzione per il calcolo dei predicati
4)Secondo teorema del punto fisso
Torna all'inizio della Pagina

loz
Utente medio
Inserito il - 09/02/2011 : 19:57:43  Mostra Profilo  Visita l'Homepage di loz Invia a loz un Messaggio Privato  Rispondi Quotando
Chi posta cortesemente una soluzione della prima domanda?
Torna all'inizio della Pagina

Giovanni
Utente giovane
Inserito il - 10/02/2011 : 11:37:12  Mostra Profilo  Visita l'Homepage di Giovanni Invia a Giovanni un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da giaefre

Qualcuno cortesemente potrebbe postare le domande che il prof ha fatto in questo appello? Grazie


m potete indicare dove trovare sulle slide Hamilthonian path e NP-completezza?
Torna all'inizio della Pagina

giaefre
Nuovo Utente
Inserito il - 14/02/2011 : 16:29:10  Mostra Profilo  Visita l'Homepage di giaefre Invia a giaefre un Messaggio Privato  Rispondi Quotando
da 31 a 38 del pdf calcolabilità e complessità del prof... devi ricondurre il problema a sat
Torna all'inizio della Pagina

loz
Utente medio
Inserito il - 14/03/2011 : 14:21:06  Mostra Profilo  Visita l'Homepage di loz Invia a loz un Messaggio Privato  Rispondi Quotando
Il teorema della risoluzione per il calcolo dei predicati dove si trova sulle slide?
Torna all'inizio della Pagina
  Discussione Precedente Discussione Discussione Successiva  
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
Vai a:
Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,17 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000