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
 Cook e Formula booleana quantificata
 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  

Domenicoxx85
Utente giovane


Regione: Puglia
Prov.: Brindisi
Città: Fasano


Inserito il - 10/07/2009 : 22:33:31  Mostra Profilo  Visita l'Homepage di Domenicoxx85  Clicca per vedere l'indirizzo MSN di Domenicoxx85 Invia a Domenicoxx85 un Messaggio Privato  Rispondi Quotando
Ragazzi, volevo sapere se per lo scritto di metodi formali si dovrebbe studiare anke il metodo di cook e la formula booleana quantificata che sono inserite nella dispense date da professore? Non ci sono nel programma!!!!!

oldboy
Utente medio



Inserito il - 11/07/2009 : 15:09:08  Mostra Profilo  Visita l'Homepage di oldboy Invia a oldboy un Messaggio Privato  Rispondi Quotando

No no, quelle cose fanno aprte della teoria della complessità (di fondamenti) che nn è stata fatta a metodi formali
Torna all'inizio della Pagina

Domenicoxx85
Utente giovane


Regione: Puglia
Prov.: Brindisi
Città: Fasano


Inserito il - 11/07/2009 : 19:25:07  Mostra Profilo  Visita l'Homepage di Domenicoxx85  Clicca per vedere l'indirizzo MSN di Domenicoxx85 Invia a Domenicoxx85 un Messaggio Privato  Rispondi Quotando
OK grazie mille
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,16 secondi.

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