mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

sapete se rispetto agli altri anni il corso è cambiato oppure è rimasto il medesimo ?


grazie 1000

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

c'è nessuno che ha seguito la prima lezione con Bertoni e ci dice che cosa ha detto/spiegato ?

grazie 1000

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

se qualche anima pia colta da compassione mi dicesse cosa avete fatto le prime due lezioni con bertoni, verrà ricordata nelle mie preghiere

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

forza

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

almeno sapere dove è arrivato

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

grazie per la collaborazione

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

ci sono novità in merito alla mia domanda ?

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

ilredelmondo

Brutto dentro

User info:

Registered: May 2004
Posts: 396 (0.05 al dì)
Location: Milano
Corso: Informatica serale
Anno: dunque, ieri era giovedì
Time Online: 4 Days, 15:52:19 [...]
Status: Offline

Post actions:

Credo sia sempre lo stesso.
Studi le sue dispense e c'è tutto e anche di più.
Guarda qualche thread in giro e troverai tutte le info sugli argomenti che ormai sono i "soliti".

__________________
"...Torta di mele..."
"...il Boltzmann... Boltzmann si è suicidato, occhio a occuparvi di ‘ste robe qua eh... credeva di essere... che il suo genio non fosse riconosciuto, invece era riconosciuto sì, si è suicidato lo stesso... mah..."
"beh, voglio dirvi la verità, io sono stato un deficiente a tentare la prova... però giuro che è stato bellissimo!!!"

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.08 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

Originally posted by ilredelmondo
Credo sia sempre lo stesso.
Studi le sue dispense e c'è tutto e anche di più.
Guarda qualche thread in giro e troverai tutte le info sugli argomenti che ormai sono i "soliti".

__________________
by Ð@rk§h@ÐØw

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

grazie 1000

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

ilredelmondo

Brutto dentro

User info:

Registered: May 2004
Posts: 396 (0.05 al dì)
Location: Milano
Corso: Informatica serale
Anno: dunque, ieri era giovedì
Time Online: 4 Days, 15:52:19 [...]
Status: Offline

Post actions:

Sì, è vero, le dispense sono sul sito del corso LFA

Anche le videolezioni sono quelle della Palano, io le ho viste tutte, e in un paio di punti mi hanno aiutato.

__________________
"...Torta di mele..."
"...il Boltzmann... Boltzmann si è suicidato, occhio a occuparvi di ‘ste robe qua eh... credeva di essere... che il suo genio non fosse riconosciuto, invece era riconosciuto sì, si è suicidato lo stesso... mah..."
"beh, voglio dirvi la verità, io sono stato un deficiente a tentare la prova... però giuro che è stato bellissimo!!!"

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.08 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

Originally posted by ilredelmondo
Sì, è vero, le dispense sono sul sito del corso LFA

Anche le videolezioni sono quelle della Palano, io le ho viste tutte, e in un paio di punti mi hanno aiutato.

già dimenticavo che anch'io le ho viste! tra l'altro mi son fatto delle risate vedendo le videolezioni

__________________
by Ð@rk§h@ÐØw

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

io ne ho viste 9 di video sino ad ora e in alcuni casi le trovo lacunose. Le dispense poi, quando enunciano alcuni teoremi, come ad esempio quando viene tirato in ballo l'interprete, per me è spiegato in modo poco chiaro. Unendo le due informazioni, si riesce a capire qualcosa in più, ma restano sempre e comunque molti dubbi.

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

Last edited by mark on 26-08-2008 at 21:17

mark

.grande:maestro.

User info:

Registered: Oct 2003
Posts: 783 (0.10 al dì)
Location:
Corso: F49
Anno: finito!
Time Online: 8 Days, 18:34:33 [...]
Status: Offline

Post actions:

domando agli esperti

Sulla 4a videolezione, seconda parte, viene enunciato il sigbificato di interprete e prendo per dato quello che viene detto!

Quando ad un certo punto viene enunciato un teorema che dice:

D={x | Fx(x) /\ }

nota: /\ è la freccia in su

che significato ha una cosa del genere ?
La Palano dice che D è un insieme (linguaggio) formato da parole che, interpretate, non nel senso di interprete ??????, terminano sempre ??????
Su cosa sia Fx però non dice nulla, boh.

Confusione totale!!!!!

__________________
Non ti perdere di coraggio se ti tocca lavorare molto e raccogliere poco.....

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.08 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

Originally posted by mark
domando agli esperti

Sulla 4a videolezione, seconda parte, viene enunciato il sigbificato di interprete e prendo per dato quello che viene detto!

Quando ad un certo punto viene enunciato un teorema che dice:

D={x | Fx(x) /\ }

nota: /\ è la freccia in su

che significato ha una cosa del genere ?
La Palano dice che D è un insieme (linguaggio) formato da parole che, interpretate, non nel senso di interprete ??????, terminano sempre ??????
Su cosa sia Fx però non dice nulla, boh.

Confusione totale!!!!!

partiamo dal semplice:

la freccia in su sta ad indicare che la procedura non termina; mentre la freccia in giù indica che la procedura termina (nel caso in cui la procedura termina essa prende il nome di algoritmo) e restituisce o 1 o 0.


Def. di Interprete: interprete è un programma che simula l'esecuzione di un certo programma con un certo input, entrambi passati come parametri.

sia U l'interprete allora U(x$y) significa che l'interprete sta eseguendo il programma y con input x.

come detto prima l'interprete simula l'esecuzione di un'altro programma e quindi l'output dell'interprete dipende dall'output che restituisce il programma simulato quindi può terminare o meno.

Per quanto riguarda il linguaggio D.

D è definito come tutti i programmi ( quindi parole in {0,1}*) che mandate in esecuzioni con input se stessi terminano. In simboli D = {x appartenente a {0,1}* : U(x$x) freccia in giù}.

Allora D complemento = {x appartenente a {0,1}* : U(x$x) freccia in su}

Con questo si introdice il seguente teorema:

1) D è ricorsivamente numerabile.
2) D non è ricorsivo
3) D complemento non è ricorsivamente numerabile.

Le dimostrazioni sono banalissime.

DIM 1)
E' vera per definizione di linguaggio ricorsivamente numerabile.
Def linguaggio Ricorsivamente Numerabile.- Un linguaggio è ricorsivamente numerabile se esiste una procedura che termina se e solo se la parola appartiene al linguaggio.

vedi def di interprete.

DIM 2)
Si dimostra per assurdo.

Supponiamo per assurdo che D sia Ricorsivo. Allora esiste un algoritmo (quindi termina sempre) che restituisce 1 se la parola appartine al linguaggio e 0 altrimenti.

ASSURDO(x appartenente {0,1}*)
{
    if x appartiene a D then return 1 - U(x$x)
    else return 0
}

Sia E il programma che implementa ASSURDO allora abbiamo 2 casi possibili:

   1) E appartiene a D.
   allora per definizione di interprete U(E$E) = ASSURDO (E) e U(E$E) termina.
   e siccome E appartiene a D se mandiamo in esecuzione ASSURDO (E) = 1 - U(E$E)

   quindi abbiamo che U(E$E) = 1 - U(E$E) che è ASSURDO.

   2) E non appartiene a D (allora E appartiene a D complemento vedi def di D complemento).
   come prima per def di interprete ASSURDO (E) = U(E$E) ma in questo caso U(E$E) non termina.
   mentre mandando in esecuzione ASSURDO (E) = 0 per def di ASSURDO.

   quindi abbiamo che U(E$E) freccia su = U(E$E) freccia giù ossia 0 = indefinito che è ASSURDO.

la dimostrazione del terzo punto lo lascio a te!!


Buono studio.



DS.

__________________
by Ð@rk§h@ÐØw