|
Esercizio: dimostrare che l'insieme I dato non è un I.I.R.F.
|
0
|
14
|
Ultimo messaggio da andrea.tosti
ieri, 12:27
|
|
Unione infinita di R (Gennaio 2015)
|
0
|
37
|
Ultimo messaggio da andrea.tosti
28/11/2019, 14:14
|
|
NP-completezza di SAT (Gennaio 2015)
|
0
|
26
|
Ultimo messaggio da andrea.tosti
28/11/2019, 14:12
|
|
Discussione esercizio 1 compito 4/11/2016
|
1
|
238
|
Ultimo messaggio da michelezoncheddu
29/08/2019, 19:43
|
|
Dispense marzo 2019
|
0
|
320
|
Ultimo messaggio da LorenzoBuonanno
04/07/2019, 22:46
|
|
Riduzione di K complemento a TOT
|
1
|
361
|
Ultimo messaggio da LorenzoBuonanno
04/07/2019, 19:29
|
|
K non rispetta le funzioni
|
1
|
339
|
Ultimo messaggio da LorenzoBuonanno
04/07/2019, 18:59
|
|
Dimostrare che FIN è non-RE
|
1
|
456
|
Ultimo messaggio da LorenzoBuonanno
04/07/2019, 18:28
|
|
aiuto esercizio
|
0
|
450
|
Ultimo messaggio da InformateciBot
27/06/2018, 21:33
|
|
Esame Completo 16/01/2018
|
0
|
613
|
Ultimo messaggio da InformateciBot
04/02/2018, 17:30
|
|
Domande su insiemi ricorsivi e r.e
|
0
|
392
|
Ultimo messaggio da InformateciBot
23/05/2017, 10:13
|
|
Differenza tra Ax e A i.i.r.f
|
0
|
379
|
Ultimo messaggio da InformateciBot
19/05/2017, 17:08
|
|
Esercizio sul Padding Lemma
|
0
|
362
|
Ultimo messaggio da InformateciBot
05/02/2017, 16:34
|
|
EXT non è RE
|
0
|
385
|
Ultimo messaggio da InformateciBot
03/02/2017, 20:39
|
|
Passaggio nella dimostrazione del Teorema di Enumerazione
|
0
|
369
|
Ultimo messaggio da InformateciBot
31/01/2017, 20:30
|
|
Definizione di Funzione appropriata
|
0
|
361
|
Ultimo messaggio da InformateciBot
05/01/2017, 22:36
|
|
Riduzione di TOT a INF
|
0
|
338
|
Ultimo messaggio da InformateciBot
14/12/2016, 21:11
|
|
Dimostrare che l'insieme LOGSPACE è chiuso per composizione
|
0
|
335
|
Ultimo messaggio da InformateciBot
05/12/2016, 9:41
|
|
Riducibilità
|
0
|
345
|
Ultimo messaggio da InformateciBot
05/11/2016, 20:02
|
|
Insiemi ricorsivamente Enumerabili
|
0
|
360
|
Ultimo messaggio da InformateciBot
16/10/2016, 22:28
|
|
Automa a Pila
|
0
|
320
|
Ultimo messaggio da InformateciBot
13/10/2016, 18:51
|
|
decidibilità di un insieme
|
0
|
332
|
Ultimo messaggio da InformateciBot
03/10/2016, 15:51
|
|
Classificare insieme I={ x | #Wx = 1}
|
0
|
304
|
Ultimo messaggio da InformateciBot
20/07/2016, 17:49
|
|
Funzioni di misura appropriate monotone crescenti
|
0
|
316
|
Ultimo messaggio da InformateciBot
01/02/2016, 17:12
|
|
Listing Theorem
|
0
|
329
|
Ultimo messaggio da InformateciBot
26/12/2015, 22:17
|