mizipolo

About

Username
mizipolo
Joined
Visits
57
Last Active
Roles
Member
Posts
6

Comments

  • OneClaudio wrote: » un qualsiasi problema (per esempio K) che e' in RE non si riduce a CIRCUIT VALUE (P e' contenuto strettamente in RE). Questa cosa, secondo me, non è vera: prendi un qualsiasi problema di P (questo sta in RE, perché sta in REC)…
  • Per il primo credo che possa andare bene [tex]K[/tex]. Il fatto che non sia riducibile al suo complementare se non sbaglio è dimostrato nelle dispense. Mentre per quanto riguarda la proprietà di non essere i.i.r.f. puoi vederla così: prendi un indic…
  • Non conosco l'esempio del prof, però posso fartene uno io. Considera l'insieme universo U di tutte le persone e la seguente formula: [tex]\exists x \in U.Lannister(x)\Rightarrow NonPagaDebiti(x)[/tex], dove [tex]Lannister(x)[/tex] indica il fatto ch…
  • chiaracaglieri wrote: » mizipolo wrote: » Ciao! Potresti ricaricare gli ultimi quattro pdf, per favore? Vedo che dà errore 404 È perchè non esistono. Sono mancata alle ultime lezioni se non ricordo male! Ah ok, capito! Grazie comunque
  • Ciao! Potresti ricaricare gli ultimi quattro pdf, per favore? Vedo che dà errore 404