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
 help teorema

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
Donato_C Inserito il - 02/06/2010 : 09:31:23
Salve ragazzi, io lavoro e non ho seguito i corsi del primo semestre. Dovrei sostenere l'appello a giugno e volevo sapere se qualcuno potrebbe spiegarmi velocemente come funziona il teorema della sostituzione-rimpiazzo (replacement). Dalla slide non si capisce granchè :(

volevo chiedere poi a chi ha sostenuto i precedenti appelli quali dimostrazioni su Turing c'erano.

grazie anticipatamente

ciaooo
20   U L T I M E    R I S P O S T E    (in alto le più recenti)
Donato_C Inserito il - 15/06/2010 : 18:10:36
Citazione:
Messaggio inserito da Peppino Caponi

Citazione:
Messaggio inserito da Donato_C

Citazione:
Messaggio inserito da Peppino Caponi

il prof ha svolto regolarmente l'appello dalle ore 15 in poi. le domande erano:

-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt

tre candidati, tre promossi.
attenti ar-canum.







ok grazie. Quindi mi tocca eccome farli i teoremi: a st'appello stavano tutti. Andiamo bene ahahaha



c'erano tutti grazie a te. bravo.





spero che le 3 persone che hanno fatto l'esonero non mi stiano dicendo parolacce allora ahahahaha

ragazzi,lungi da me crearvi impicci.
Ho mandato una semplice mail per avere informazioni, dato che non ho seguito il corso.

spero vi sia andato bene l'appello!!
Peppino Caponi Inserito il - 14/06/2010 : 13:17:37
Citazione:
Messaggio inserito da Donato_C

Citazione:
Messaggio inserito da Peppino Caponi

il prof ha svolto regolarmente l'appello dalle ore 15 in poi. le domande erano:

-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt

tre candidati, tre promossi.
attenti ar-canum.







ok grazie. Quindi mi tocca eccome farli i teoremi: a st'appello stavano tutti. Andiamo bene ahahaha



c'erano tutti grazie a te. bravo.

Donato_C Inserito il - 11/06/2010 : 19:36:47
Citazione:
Messaggio inserito da Peppino Caponi

il prof ha svolto regolarmente l'appello dalle ore 15 in poi. le domande erano:

-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt

tre candidati, tre promossi.
attenti ar-canum.







ok grazie. Quindi mi tocca eccome farli i teoremi: a st'appello stavano tutti. Andiamo bene ahahaha
M]i[K Inserito il - 09/06/2010 : 21:31:48
Citazione:
Messaggio inserito da Peppino Caponi

il prof ha svolto regolarmente l'appello dalle ore 15 in poi. le domande erano:

-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt

tre candidati, tre promossi.
attenti ar-canum.







Il th. di Rice non c'era sulla mia traccia...anche se in realtà era utile la definizione del punto fisso da sfruttare anche in Kleene
M]i[K Inserito il - 09/06/2010 : 21:14:15
Posso confermare...ero uno dei tre ragazzi presenti.

Ragazzi non dite cavolate però sul sito. C'era sia il prof Pani che il prof Covino, e l'appello si è svolto regolarmente.
Peppino Caponi Inserito il - 09/06/2010 : 14:34:36
il prof ha svolto regolarmente l'appello dalle ore 15 in poi. le domande erano:

-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt

tre candidati, tre promossi.
attenti ar-canum.



arcanum Inserito il - 09/06/2010 : 14:15:05
A quanto pare il prof non si è presentato
Donato_C Inserito il - 09/06/2010 : 09:07:51
ciao ragazzi, qualcuno ha sostenuto l'appello di metodi formali ieri? Che domande c'erano?

Peppino Caponi Inserito il - 07/06/2010 : 17:38:47
Citazione:
Messaggio inserito da Donato_C


Fatto Crystal, e come dicevi tu ho ricevuto una risposta celere. Era un caso infatti. Avevi ragione.

Quindi mi tocca studiarli, ollèè :(



potrai sempre vendere il cervello al mercato dell'usato.
Donato_C Inserito il - 06/06/2010 : 14:52:42
Citazione:
Messaggio inserito da crystal86

Citazione:
Messaggio inserito da Donato_C


Fatto Crystal, e come dicevi tu ho ricevuto una risposta celere. Era un caso infatti. Avevi ragione.

Quindi mi tocca studiarli, ollèè :(





dai forza e coraggio!



crystal86 Inserito il - 05/06/2010 : 16:22:11
Citazione:
Messaggio inserito da Donato_C


Fatto Crystal, e come dicevi tu ho ricevuto una risposta celere. Era un caso infatti. Avevi ragione.

Quindi mi tocca studiarli, ollèè :(





dai forza e coraggio!
Donato_C Inserito il - 05/06/2010 : 14:47:48

Fatto Crystal, e come dicevi tu ho ricevuto una risposta celere. Era un caso infatti. Avevi ragione.

Quindi mi tocca studiarli, ollèè :(

Donato_C Inserito il - 05/06/2010 : 14:46:10
Citazione:
Messaggio inserito da FullMetalJacket

Citazione:
Messaggio inserito da Donato_C
Ti riassumo il mio pensiero generale con una frase: a bari e con questi professori ritieni di poter imparare qualcosa?

...ma non usciamo off topic



Ovvio dipende dai professori, posso comunque dire che Pani è un ottimo professore e spiega molto bene la sua materia (che non è semplice, ma è dannatamente affascinante)





non ho seguito suoi corsi quindi non posso esprimermi; però ne parlano bene. In realtà mi riferivo ad altri "docenti". Due in particolare non capisco come facciano ad insegnare. Poi però mi ricordo che il calcio nel sedere sta sempre, a tutti i livelli, e allora i conto tornano.
crystal86 Inserito il - 05/06/2010 : 12:12:39
Citazione:
Messaggio inserito da Donato_C

Citazione:
Messaggio inserito da crystal86

per chi ha seguito quest'anno deve seguire il file sul sito del prof...sono quelli e basta gli argomenti



Crystal tu hai seguito quest'anno? Perchè mi sembra molto strano su 3-4 appelli non l'ha messi nemmeno una volta quelle cose che scrivevo nel post di prima.

Al massimo mando direttamente una email al professore, sperando risponda.



si ho seguito quest'anno. Sinceramente penso sia solo un caso. Senti per conferma al massimo mandala la mail tanto pani risponde in maniera abbastanza veloce
FullMetalJacket Inserito il - 05/06/2010 : 10:38:07
Citazione:
Messaggio inserito da Donato_C
Ti riassumo il mio pensiero generale con una frase: a bari e con questi professori ritieni di poter imparare qualcosa?

...ma non usciamo off topic



Ovvio dipende dai professori, posso comunque dire che Pani è un ottimo professore e spiega molto bene la sua materia (che non è semplice, ma è dannatamente affascinante)

Donato_C Inserito il - 04/06/2010 : 22:23:09
Citazione:
Messaggio inserito da FullMetalJacket

Citazione:
Messaggio inserito da Donato_C
era per capire se bisogna studiarli e quindi ricoprire tutto il programma,oppure no, e basta fare solo alcune cose su cui insiste sempre. Per quello chiedevo, perchè se non li mette mai sti teoremi, a quel punto mi studio solo turing e la formula da derivare e faccio prima.



Se un esame ha un inizio ed una fine, vuol dire che vuole insegnare qualcosa.....e questo è uno degli esami più formativi della magistrale, non le vedrai da nessun'altra parte queste cose.
In genere si va all'università per imparare, anche se è diventato ormai solo il pezzo di carta







in linea di massima ti do ragione al 200x100. Il problema sarebbe più ampio da discutere.

Dovrebbe esserci innanzitutto un'ambiente ed una cultura diversa da parte del lato studenti, ma anche e soprattutto dal lato professori.

Ti riassumo il mio pensiero generale con una frase: a bari e con questi professori ritieni di poter imparare qualcosa?

...ma non usciamo off topic
Donato_C Inserito il - 04/06/2010 : 22:18:37
Citazione:
Messaggio inserito da crystal86

per chi ha seguito quest'anno deve seguire il file sul sito del prof...sono quelli e basta gli argomenti



Crystal tu hai seguito quest'anno? Perchè mi sembra molto strano su 3-4 appelli non l'ha messi nemmeno una volta quelle cose che scrivevo nel post di prima.

Al massimo mando direttamente una email al professore, sperando risponda.
FullMetalJacket Inserito il - 04/06/2010 : 20:48:49
Citazione:
Messaggio inserito da Donato_C
era per capire se bisogna studiarli e quindi ricoprire tutto il programma,oppure no, e basta fare solo alcune cose su cui insiste sempre. Per quello chiedevo, perchè se non li mette mai sti teoremi, a quel punto mi studio solo turing e la formula da derivare e faccio prima.



Se un esame ha un inizio ed una fine, vuol dire che vuole insegnare qualcosa.....e questo è uno degli esami più formativi della magistrale, non le vedrai da nessun'altra parte queste cose.
In genere si va all'università per imparare, anche se è diventato ormai solo il pezzo di carta



crystal86 Inserito il - 04/06/2010 : 17:26:10
per chi ha seguito quest'anno deve seguire il file sul sito del prof...sono quelli e basta gli argomenti
Donato_C Inserito il - 04/06/2010 : 17:08:41
Citazione:
Messaggio inserito da gym83s

non dimentichiamo che sono previste le "due modalità" una per i frequentanti di quest'anno ed una per quelli precedenti, ad ogni modo le URM calcolabili non penso siano programma di quest'anno...



quindi ci si deve attenere al file che sta sul sito del prof e studiare quei teoremi anche se non li ha mai messi fin'ora? Oppure durante il corso ha dato delle specifiche precise su alcuni argomenti che mette sempre nello scritto?Qualcuno che ha seguito sa qualcosa a riguardo? Non ho capito bene sinceramente come funziona.

grazie ragazzi per le informazioni!!



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