Antonio Sisbarra

About

Username
Antonio Sisbarra
Joined
Visits
389
Last Active
Roles
Member
Posts
44

Comments

  • Ho presentato il final ieri, oltre alle domande sul progetto mi ha chiesto: 1. Il pattern MVC 2. Le mesh nel 3D 3. Le coordinate UV nel 3D
  • Ho presentato il final ieri, oltre alle domande sul progetto mi ha chiesto: 1. Il pattern MVC 2. Le mesh nel 3D 3. Le coordinate UV nel 3D
  • A lezione il Cisternino ha detto che il Mid vale fino a quando lui non cambia corso
  • MindFlyer wrote: » Il tirocinio esterno di solito consiste nell'accodarsi allo sviluppo di qualche progetto sotware medio-grande e farsi sfruttare. Non pensate di fare cose interessanti o stimolanti, perché sarete manodopera sottoqualificata a co…
  • Lucio Messina wrote: » poi mi ha fatto una domanda sul 3d che non sapevo e mi ha riconfermato il voto del midterm (26). Ti ricordi per caso che ti aveva chiesto?
  • Posto le domande che ha fatto al mio orale nella sessione di febbraio: - dimostrare che [tex]K_1[/tex] non è ricorsivo - dimostrare che [tex]K_1[/tex] è ricorsivamente enumerabile - definizione di insieme ricorsivamente enumerabile - lemma dop…
  • MindFlyer wrote: » No, per due motivi. Primo, la riduzione non dev'essere da K a EXT, ma dev'essere dal complementare di K a EXT. Secondo, non puoi verificare se x non appartiene a K (altrimenti decideresti K). Puoi solo ciclare all'infinit…
  • Sisi intendevo quello. Per la riduzione applico un procedimento simile a quello usato per ridurre a TOT. Solo che quando x appartiene a K restituisco 1(funzione estendibile a TOT essendo già totale) Se x non appartiene a K restituisco la f' appen…
  • Però secondo me c'è una via più semplice
  • Verificando questo numero t con una nuova computazione di M su x e vedendo se i passi sono davvero t?
  • Secondo me sì e questo però sarebbe un assurdo perché K non è decidibile. Non avevo pensato al fatto che M poteva essere usata in questa maniera.
  • Mmm non so in questo caso cosa si potrebbe fare
  • Eh perché il numero di passi che impiega una macchina x nel calcolare x, con x non appartenente a K, è infinito
  • Ma perché f' per definizione deve restituire come risultato (nel caso in cui x appartenga a K) il numero di passi che fa la macchina x-esima su x. In caso contrario deve restituire un qualsiasi numero come hai detto tu prima. Perciò l'algoritmo ch…
  • Ho sbagliato, volevo scrivere "se x non appartiene a K". Il problema secondo me è che un qualsiasi algoritmo non può stabilire la non appartenenza di un elemento all'insieme K. Anche perché dovrebbe utilizzare un numero limitato di passi e quindi …
  • Pensavo che il fatto che K non è decidibile rende impossibile la verifica "se x appartiene a K" alla macchina.
  • Quindi assumo che esista un M qualsiasi che calcoli f'. Preso un numero x M mi restituisce i passi di computazione effettuati se x appartiene a K, 0 se non appartiene a K (devo estendere la funzione "passi calcolati" a tutti gli indici possibili e …
  • Allora, la macchina M che calcola f' dovrebbe andare in uno stato di terminazione in tutti i casi per essere totale. Questa M simula Mx(x) calcolando man mano i passi in un contatore. Per assurdo M deve essere totale quindi terminare sempre. Però…
  • Secondo me non è in EXT perché non si sa a priori quanti passi fa una macchina su un input, a meno di andare a eseguire la macchina. Però se vado a eseguire la macchina mi scontro col problema della fermata quindi non posso dire a priori che è total…
  • La funzione caratteristica di K per esempio è non estendibile? Forse però è troppo strano come esempio..
  • Pensavo ad una funzione totale che restituisce un output fisso con qualunque input, quindi una funzione in TOT, ma non sono sicuro vada bene
  • Allora, se ho capito bene EXT è l'insieme degli indici delle funzioni estendibili a funzione calcolabile totale, per esempio la funzione f(x) che restituisce sempre x, se x è diverso da 0, altrimenti indefinita. Pensavo di ridurre K negato a EXT, f…
  • Mi intrometto nella discussione per una domanda molto simile. Si può usare un procedimento del genere per dimostrare che EXT è non-RE?
  • Le domande che ha fatto Degano a un orale nella sessione di gennaio: - dimostrare che con le funzioni u-ricorsive si possono calcolare i cicli for - dimostrare che Sat è np-completo - com'è fatta la funzione di transizione della macchina non de…
  • MindFlyer wrote: » y non è una variabile libera perché è legata all'operatore di minimizzazione. Quindi ovviamente non è un parametro della funzione. Grazie mille
  • Allego le mie domande: 1. Server Proxy, cosa sono e dove si trovano? 2. Un Proxy ha bisogno di un DNS? 3. Selective Repeat, automa a parole nel caso piggybacking 4. Finestra Selective Repeat e confronto con GBN 5. IP Mobile 6. IPv4 e IPv6 di…
  • MindFlyer wrote: » Antonio Sisbarra wrote: » Qual è la risposta che vuole il Bonuccelli? Non so cosa voglia il Bonuccelli, ma ovviamente si può implementare qualsiasi cosa con UDP, aggiungendoci abbastanza struttura. Infatti anche io rispo…
  • DiamonDinoia wrote: » Salve allego anche io le mie domande ( partivo da B ) - tutto sulla posta elettronica - è possibile implementare la posta elettronica tramite UDP? Qual è la risposta che vuole il Bonuccelli?
  • Grazie mille, purtroppo molte dimostrazioni nelle dispense sono sintetizzate tantissimo e a volte non è semplice ricostruirle!
  • MindFlyer wrote: » Il mezzacricca è un evergreen di Degano. Aggiungo anche una domanda che fece a me: dimostrare che LOGSPACE è chiuso per composizione. Questo fatto, sepolto nelle dispense all'interno della dimostrazione del Teorema 3.5.2 …