| Autore |
 Discussione  |
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
 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
|
campa cavallo che l'erba cresce |
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
 Inserito il - 03/06/2010 : 13:55:52
|
Citazione:
Messaggio inserito da Donato_C
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
ok.niente, ho risolto chiedendo ad un'amico che ha fatto l'esame già.
riguardo turing nessuno sa dirmi cosa stava negli appelli precedenti, e cosa rimane ancora come possibile domanda? |
campa cavallo che l'erba cresce |
 |
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
Inserito il - 04/06/2010 : 11:35:46
|
ragazzi mi sono dato uno sguardo alla sezione download di metodi formali alle domande degli apelli.
Ma è possibile che in tutti gli appelli fin'ora stanno sempre e solo dimostrazioni sulle macchine di Turing,o la formula da derivare, e nemmeno uno tra questi teoremi importanti indicati sul programma del corso??? :
-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt
-Minimalizzazione limitata ricorsiva primitiva
-Diagonalizzazione
qualcuno può postare le domande dell'appello di febbraio per caso??
ma nessuno sa niente? M'hanno detto di chiedere su questo sito per avere informazioni da chi ha seguito il corso, ma non risponde nessuno 
grazie comunque a chi vorrà rispondere |
campa cavallo che l'erba cresce |
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 04/06/2010 : 14:47:52
|
Citazione:
Messaggio inserito da Donato_C
ragazzi mi sono dato uno sguardo alla sezione download di metodi formali alle domande degli apelli.
Ma è possibile che in tutti gli appelli fin'ora stanno sempre e solo dimostrazioni sulle macchine di Turing,o la formula da derivare, e nemmeno uno tra questi teoremi importanti indicati sul programma del corso??? :
-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt
-Minimalizzazione limitata ricorsiva primitiva
-Diagonalizzazione
qualcuno può postare le domande dell'appello di febbraio per caso??
ma nessuno sa niente? M'hanno detto di chiedere su questo sito per avere informazioni da chi ha seguito il corso, ma non risponde nessuno
grazie comunque a chi vorrà rispondere
A settembre 2009 nel mio appello c'era minimalizzazione ricorsiva e teorema di RICE; ricordo pure che capitarono le URM e non so se sono previste nel programma di quest'anno. Bisogna in generale ricoprire tutto il programma ;) spero di esserti stato di aiuto ciao;) |
|
|
|
gym83s
Utente Estremo
Regione: Puglia
Prov.: Foggia
Città: Trinitapoli
|
Inserito il - 04/06/2010 : 15:14:50
|
| 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... |
|
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
Inserito il - 04/06/2010 : 16:57:07
|
Citazione:
Messaggio inserito da Mauro84
Citazione:
Messaggio inserito da Donato_C
ragazzi mi sono dato uno sguardo alla sezione download di metodi formali alle domande degli apelli.
Ma è possibile che in tutti gli appelli fin'ora stanno sempre e solo dimostrazioni sulle macchine di Turing,o la formula da derivare, e nemmeno uno tra questi teoremi importanti indicati sul programma del corso??? :
-Secondo teorema del punto fisso (Kleene)
-Teorema di Rice
-Teorema del rimpiazzamento
-Teorema dell'Halt
-Minimalizzazione limitata ricorsiva primitiva
-Diagonalizzazione
qualcuno può postare le domande dell'appello di febbraio per caso??
ma nessuno sa niente? M'hanno detto di chiedere su questo sito per avere informazioni da chi ha seguito il corso, ma non risponde nessuno
grazie comunque a chi vorrà rispondere
A settembre 2009 nel mio appello c'era minimalizzazione ricorsiva e teorema di RICE; ricordo pure che capitarono le URM e non so se sono previste nel programma di quest'anno. Bisogna in generale ricoprire tutto il programma ;) spero di esserti stato di aiuto ciao;)
sisi certo. Ti ringrazio. Mi sei stato più che utile.
Io purtroppo non ho seguito il corso, e quindi sto cercando di mettere insieme i pezzi, facendo riferimento al programma con gli argomenti del corso che ho trovato nel file pr.zip sul sito del professore.
Dato che non li ho mai visti negli appelli di quest'anno quei teoremi li che ho scritto prima, 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.
credo che il fatto delle macchine URM sia dell'anno scorso comunque, perchè sugli appunti che mi ha prestato il mio amico che ha seguito, non ci sono le URM,e nemmeno sul file degli argomenti.
|
campa cavallo che l'erba cresce |
Modificato da - Donato_C in data 04/06/2010 17:01:21 |
|
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
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!!
|
campa cavallo che l'erba cresce |
Modificato da - Donato_C in data 04/06/2010 17:12:26 |
|
|
|
crystal86
Utente medio
Prov.: Apuania
Città: Foggia
|
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 |
|
|
|
FullMetalJacket
Utente medio
|
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
|
|
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
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. |
campa cavallo che l'erba cresce |
|
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
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 |
campa cavallo che l'erba cresce |
|
|
|
FullMetalJacket
Utente medio
|
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)
|
|
|
|
crystal86
Utente medio
Prov.: Apuania
Città: Foggia
|
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  |
|
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
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. |
campa cavallo che l'erba cresce |
|
|
|
Donato_C
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
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èè :(
|
campa cavallo che l'erba cresce |
Modificato da - Donato_C in data 05/06/2010 14:54:53 |
|
|
|
crystal86
Utente medio
Prov.: Apuania
Città: Foggia
|
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
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
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!
 |
campa cavallo che l'erba cresce |
|
|
|
Peppino Caponi
Utente medio
Regione: Campania
Prov.: Avellino
Città: Grottaminarda
|
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
Nuovo Utente
Regione: Puglia
Prov.: Bari
Città: trani
|
Inserito il - 09/06/2010 : 09:07:51
|
ciao ragazzi, qualcuno ha sostenuto l'appello di metodi formali ieri? Che domande c'erano?
|
campa cavallo che l'erba cresce |
|
|
|
arcanum
Utente giovane
|
Inserito il - 09/06/2010 : 14:15:05
|
| A quanto pare il prof non si è presentato |
|
|
|
Peppino Caponi
Utente medio
Regione: Campania
Prov.: Avellino
Città: Grottaminarda
|
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.
|
|
|
|
Discussione |
|
help teorema
