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
 traccia scritto 10 giugno 2009

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra:
Nome Utente:
Password:
Modo:
Formato: GrassettoCorsivoSottolineatoBarrato Aggiungi Spoiler Allinea a  SinistraCentraAllinea a Destra Riga Orizzontale Inserisci linkInserisci EmailInserisci FlashInserisci Immagine Inserisci CodiceInserisci CitazioneInserisci Lista Inserisci Faccine
   
Icona Messaggio:              
             
Messaggio:

  * Il codice HTML è OFF
* Il Codice Forum è ON

Smilies
Approvazione [^] Arrabbiato [:(!] Bacio [:X] Bevuta [:273]
Caldo [8D] Compiaciuto [8)]    
compleanno [:269]
Davvero Felice [:D] Diavoletto [}:)] Disapprovazione [V] Domanda [?]
Felice [:)] Fumata [:29] Goloso [:P] Imbarazzato [:I]
Infelice [:(] Morte improvvisa da [:62]
Morto [xx(] Occhio Nero [B)] Occhiolino [;)] Palla 8 [8]
pc [:205]    
Riproduzione [:76]
Scioccato [:O]      

   Allega file
  Clicca qui per inserire la tua firma nel messaggio.
Clicca qui per sottoscrivere questa Discussione.
    

V I S U A L I Z Z A    D I S C U S S I O N E
vampire Inserito il - 10/06/2009 : 16:12:42
ragazzi cosa trattava lo scritto di oggi di metodi formali? e in che modalità si è svolto?
20   U L T I M E    R I S P O S T E    (in alto le più recenti)
priscill@84 Inserito il - 03/07/2009 : 18:11:18
Grazie!!!
Gabri Inserito il - 03/07/2009 : 17:55:46
http://www.laureateci.it/forum/topic.asp?TOPIC_ID=16082
rel Inserito il - 03/07/2009 : 09:57:08
forse pani ce l'ha..
priscill@84 Inserito il - 03/07/2009 : 09:55:04
???possibile che nessuno ha fatto l'esame ieri e non può postare la traccia??? eddai, non fate i preziosi..
vampire Inserito il - 03/07/2009 : 09:04:30
Citazione:
Messaggio inserito da Silent killer

io non riesco a studiare, maledizione..



?????
Silent killer Inserito il - 03/07/2009 : 01:31:03
io non riesco a studiare, maledizione..
luigi87 Inserito il - 02/07/2009 : 21:08:39
Interesserebbe anche a me!
priscill@84 Inserito il - 02/07/2009 : 20:18:56
Qualcuno può postare la traccia dello scritto di oggi 02/07/09?? ...lo so che rompo abbastanza, ma giusto per farle conoscere agli altri
priscill@84 Inserito il - 26/06/2009 : 16:52:31
Citazione:
Messaggio inserito da Gabri

Citazione:
Messaggio inserito da priscill@84

Io ho scaricato le tracce, ma non si aprono..mi dice che i file son danneggiati



...:S a me li apre... e legge anche che c'e dentro...:S
li ho fatti con ubuntu... nn dovrebbe centrare niente...ma magari prova ad usare ubuntu?!:| qualun'altro ha problemi ha leggerli?
sono zip, non rar, mi raccomando.




si si, ho risolto..è il mio pc che ormai sta dando i numeri..è ora che vada in pensione :p

Gabri Inserito il - 26/06/2009 : 10:28:45
Citazione:
Messaggio inserito da rel

li apre li apre.. cmq dato che son due righe facevi prima a scriverle direttamente nel post


li ho messi la cosi un domani uno cerca le tracce le trova subito e non deve spulciarsi tutte le discussioni!!
rel Inserito il - 26/06/2009 : 01:13:12
li apre li apre.. cmq dato che son due righe facevi prima a scriverle direttamente nel post
Gabri Inserito il - 25/06/2009 : 22:45:46
Citazione:
Messaggio inserito da priscill@84

Io ho scaricato le tracce, ma non si aprono..mi dice che i file son danneggiati



...:S a me li apre... e legge anche che c'e dentro...:S
li ho fatti con ubuntu... nn dovrebbe centrare niente...ma magari prova ad usare ubuntu?!:| qualun'altro ha problemi ha leggerli?
sono zip, non rar, mi raccomando.
priscill@84 Inserito il - 25/06/2009 : 20:53:42
Io ho scaricato le tracce, ma non si aprono..mi dice che i file son danneggiati
Gabri Inserito il - 25/06/2009 : 18:35:05
http://www.laureateci.it/forum/topic.asp?TOPIC_ID=15708
oldboy Inserito il - 25/06/2009 : 16:49:58

Dimostrare che la minimalizzazione limitata è rp
Definire la mdt univrsale, la sua codifica e la sua struttura (mdt linearizzate)
esercizio su tableux per falsificare una formula con controesempio
priscill@84 Inserito il - 25/06/2009 : 16:21:11
Qualcuno per cortesia potrebbe postare la traccia dello scritto di oggi 25/06/09 ???
Silent killer Inserito il - 16/06/2009 : 20:40:07
up
gianlu1407 Inserito il - 16/06/2009 : 11:15:49
Citazione:
Messaggio inserito da Silent killer

io ho preso tutte le dispense dalla biblioteca, è tutto là o c'è altro?
Potreste fare una lista delle cose da studiare d quelle dispense e l'ordine? almeno per organizzarmi un pò, mi ricordo che siam partiti con le urm e turing, invece nel programma stanno prima le ricorsive.. e nelle dispense ci sono due capitoli sulle ricorsive, insomma mi servirebbe un pò di chiarezza su cosa studiare e su cosa concentrarmi di più. Vi ringrazio ;)



ragazzi allora la macchina di turing si fa dal capitolo 5 dell'ausiello. per quanto riguarda le ricorsive? bastano le fotocopie della biblioteca??
FRAx Inserito il - 15/06/2009 : 23:49:37
Citazione:
Messaggio inserito da ilcamerlengo


La mia conoscenza è la vostra.



quoto.
Gabri Inserito il - 15/06/2009 : 19:45:33
Citazione:
Messaggio inserito da vampire

il prof a lezione disse che le URM nn le metteva..altro nn so dirti..xkè nn ho preso in mano ancora quest'esame..e quindi nn ho ancora organizzato le dispense..


http://informatica.di.uniba.it/laurea_magistrale/programmi1.php?id_insegn=1963

qui trovi tutto.

dai anche un occhio alla sez download di Laureateci di Infomatica dell'esame di fondamenti

Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,08 secondi.

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