La ricerca ha trovato 15 risultati

da andrea.tosti
16/01/2020, 9:41
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: Domande Orale Degano
Risposte: 36
Visite : 26713

Re: Domande Orale Degano

- dimostrare che [math] è non ricorsivo
- [math] è un [math]? (risposta: si)
- dimostrazione del Teorema di Rice
- [math] come ci si arriva? quindi dimostrare il Teorema 3.3.6.
da andrea.tosti
09/01/2020, 10:58
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: Discussione esercizio 1 compito 4/11/2016
Risposte: 2
Visite : 3590

Re: Discussione esercizio 1 compito 4/11/2016

Testo dell'esercizio: Si determini una funzione <math><mi>f</mi></math> calcolabile totale tale che <math> <mrow> <mi>I</mi> <mo>=</mo> <mrow> <mo form="prefix">{</mo> <mi>i</mi> <mo>|</mo> <msub> <mi>&phi;</mi> <mi>i</mi> </msub> <mo>=</mo> <msub> <mi>&phi;</mi> <mrow> <mi>f</mi>...
da andrea.tosti
15/12/2019, 12:27
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: Esercizio: dimostrare che l'insieme I dato non è un I.I.R.F.
Risposte: 0
Visite : 3331

Esercizio: dimostrare che l'insieme I dato non è un I.I.R.F.

Sto provando a fare l'esercizio presente a pagina 2 : dimostrare che I = \{\,x \mid \varphi_x(x) = \varphi_x(x+30) \,\} non è un I.I.R.F. Per definizione, I \mbox{ è un I.I.R.F. se e solo se } \forall_{x,y}\mbox{. se } x\in I \mbox{ e } \varphi_x=\varphi_y \mbox{ allora } y\in I L'idea a questo punt...
da andrea.tosti
28/11/2019, 14:14
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: Unione infinita di R (Gennaio 2015)
Risposte: 0
Visite : 3002

Unione infinita di R (Gennaio 2015)

Joker Sappiamo che R U R = R perchè entrambi si possono decidere in tempo finito. Cosa succede però con l'unione infinita di insiemi ricorsivi? MindFlyer Può essere sia ricorsiva che non ricorsiva. Esempio: l'unione di {n} per ogni n naturale è ovviamente tutto \mathbb N , e quindi ricorsivo. D'alt...
da andrea.tosti
28/11/2019, 14:12
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: NP-completezza di SAT (Gennaio 2015)
Risposte: 0
Visite : 2994

NP-completezza di SAT (Gennaio 2015)

Joker Nelle dispense del Degano, per dimostrare che SAT è NP-completo scrive: Poichè CIRCUIT SAT \leqslant SAT, ci basta dimostrare che CIRCUIT SAT è NP-completo, Perchè ci basta dimostrare questo? Io sapevo che un problema A, completo per una certa classe S, non dice nulla su un altro problema B s...
da andrea.tosti
20/11/2019, 16:54
Forum: [RCL] Reti di calcolatori e laboratorio
Argomento: QUalcuno ha il testo dell'ultimo compitino della Ricci?
Risposte: 1
Visite : 2453

Re: QUalcuno ha il testo dell'ultimo compitino della Ricci?

Probabilmente ti riferisci al compitino della Paganelli, sul gruppo telegram qualcuno ha messo il testo, contattami su telegram @Hungerys
da andrea.tosti
06/10/2019, 10:01
Forum: Mercatino
Argomento: Vendo Ricerca Operativa
Risposte: 2
Visite : 3796

Re: Vendo Ricerca Operativa

da andrea.tosti
09/07/2019, 15:13
Forum: [CN] Calcolo numerico
Argomento: [2016-2018] Domande orale Del Corso - Gemignani
Risposte: 0
Visite : 3431

[2016-2018] Domande orale Del Corso - Gemignani

Dato che negli ultimi anni è cambiato qualcosa sugli argomenti affrontati nello scritto e nell'orale ho creato questo thread a parte. Prima del 2016 c'erano Bevilacqua-Del Corso-Menchi, quindi quelle domande non sono state riportate. Domande di Giugno/Luglio 2016: - Dimostrazione teorema del punto f...
da andrea.tosti
09/07/2019, 8:56
Forum: Mercatino
Argomento: [VENDUTO] Reti di calcolatori - Forouzan 2013
Risposte: 1
Visite : 3025

[VENDUTO] Reti di calcolatori - Forouzan 2013

EDIT: VENDUTO Vendo libro usato Reti di calcolatori. Un approccio top-down 1 mar 2013 di Behrouz A. Forouzan (Autore), Firoeuz Mosharraf (Autore), G. D'Angelo (Traduttore), G. Maselli (Traduttore) Prezzo: 25 euro Per altre informazioni contattatemi su Telegram (Username: Hungerys) o qui sul thread.

Vai alla ricerca avanzata