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 17 Gennaio		  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 - 25/01/2012 : 11:43:47  Mostra Profilo  Visita l'Homepage di skilled Invia a skilled un Messaggio Privato  Rispondi Quotando
qualcuno conosce le domande dell'esame di gennaio??? condividete!!!

ntò
Nuovo Utente
Inserito il - 25/01/2012 : 22:01:31  Mostra Profilo  Visita l'Homepage di ntò Invia a ntò un Messaggio Privato  Rispondi Quotando
Questa è la traccia del 17-gennaio-2012

1.Completezza del sistema logico degli enunciati basato sulla risoluzione
2.Verificare se la seguente formula è derivabile: per ogni x esiste y (A(x) or B(y)) --> esiste x per ogni y (A(x) and B(y))
3.A partire dalla definizione di macchina di Turing costruire la propria macchina universale
4.Teorema di Savitch (solo 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,14 secondi.

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