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 14 Febbraio		  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  

skilled
Nuovo Utente
Inserito il - 15/02/2012 : 17:03:14  Mostra Profilo  Visita l'Homepage di skilled Invia a skilled un Messaggio Privato  Rispondi Quotando
domande dell'esame di febbraio???

qaz
Nuovo Utente
Inserito il - 25/02/2012 : 12:53:52  Mostra Profilo  Visita l'Homepage di qaz Invia a qaz un Messaggio Privato  Rispondi Quotando
1)Teorema di Compattezza
2) Esercizio da risolvere:
AxEy(A(x) -> B(y)) -> ExAy(A(x,y) AND B(y)) (p.s. non è decidibile)
3)Secondo Teorema di Kleene
4)Dimostrazione Hamiltonian Path (12 cfu)
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,09 secondi.

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