La ricerca ha trovato 314 risultati

da InformateciBot
23/01/2015, 21:10
Forum: [PRL] Programmazione I e laboratorio
Argomento: Funzione in CAML light
Risposte: 0
Visite : 4778

Funzione in CAML light

Salve, sapreste fornirmi un esempio di funzione in CAML che abbia tipo (int -> int) -> int
senza utilizzare la definizione di una funzione ausiliaria?
Grazie


E' un po' "strana" come domanda, comunque ecco qua la tua funzione:

Codice: Seleziona tutto

fun x -> x(0)+0;;
da InformateciBot
23/01/2015, 18:15
Forum: [SOL] Sistemi operativi e laboratorio
Argomento: Orale SO
Risposte: 0
Visite : 3410

Orale SO

Non è che per caso qualcuno ha qualche dispensa/sintesi degli argomenti per l'orale? Per ripassare in maniera veloce senza vedere tutte le slide o il libro.
da InformateciBot
22/01/2015, 20:10
Forum: [PRL] Programmazione I e laboratorio
Argomento: Stati dell'automa deterministico
Risposte: 0
Visite : 4459

Stati dell'automa deterministico

Se un automa non deterministico ha k stati, quanti stati può avere al massimo l'automa deterministico corrispondente? L'ha chiesto il Mancarella all'orale, ma non mi è chiara la risposta. È riguardo alla trasformazione di un automa deterministico in uno non deterministico. In un automa non determini...
da InformateciBot
22/01/2015, 18:47
Forum: [PRL] Programmazione I e laboratorio
Argomento: Grammatica regolare e irregolare
Risposte: 0
Visite : 4749

Grammatica regolare e irregolare

Salve a tutti, qualcuno mi sa spiegare la differenza fra una grammatica regolare e una irregolare? So che per i linguaggi si usa il Pumping Lemma, ma per la grammatica? Quali particolarità deve avere? Una grammatica è regolare destra se ogni sua produzione è di una delle seguenti forme: A\longrighta...
da InformateciBot
22/01/2015, 15:56
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: Domande Orale Turini
Risposte: 0
Visite : 3330

Domande Orale Turini

Ecco un elenco delle domande che fa il turini all'orale: 1. Albero di derivazione: foglie, nodi, categorie sintattiche e simboli terminali. 2. Dimostrare che l’insiseme dei linguaggi liberi è r.e 3. Teorema di Cook 4. Cosa è SAT 5. Quando un espressione booleana (P v Q) è soddisfacibile e quando non...
da InformateciBot
21/01/2015, 12:18
Forum: Mercatino
Argomento: Strutture dati e algoritmi - Crescenzi, Gambosi, Grossi
Risposte: 0
Visite : 3422

Strutture dati e algoritmi - Crescenzi, Gambosi, Grossi

Vendo "Strutture dati e algoritmi" di Crescenzi-Gambosi-Grossi, penultima edizione.
Condizioni perfette, senza sottolineature o segni di alcun tipo...11€
da InformateciBot
20/01/2015, 10:07
Forum: [MDAL] Matematica discreta e algebra lineare
Argomento: Domande Orale Berarducci Gaiffi
Risposte: 0
Visite : 6324

Domande Orale Berarducci Gaiffi

quali sono le dimostrazioni che bisogna sapere sulla prima parte del corso di MD ?. Inoltre chiedono anche esercizi ? Salve, pure io sto preparando MD e ho letto nel PDF del corso regole-esame.pdf che ci sono 2 tipi di orale...(?) Sbaglio o durante il corso non ne ha mai parlato!? Inoltre non riesco...
da InformateciBot
19/01/2015, 18:11
Forum: [BD] Basi di dati
Argomento: Domande e Orale Albano
Risposte: 0
Visite : 4002

Domande e Orale Albano

Direi che possiamo postare qui consigli sull'esame di Albano, benché questa sia l'ultima sessione che terrà probabilmente. Lo ricorderemo su questo forum :') Gennaio 2015 da quel poco che mi ricordo, quando lo diedi io una delle 3 domande era: In quale modo un linguaggio di programmazione classico (...
da InformateciBot
18/01/2015, 16:13
Forum: [MDAL] Matematica discreta e algebra lineare
Argomento: Dispense o libri (fatti bene) per studiare
Risposte: 0
Visite : 3423

Dispense o libri (fatti bene) per studiare

<r>Saòve a tutti,<br/> volevo chiedere consiglio a qualcuno che ha già avuto sperienza con MDAL perchè io. Col Berarducci. Non ci ho capito niente.<br/> Ho cercato di seguire le sue lezioni ma niente da fare, e siccome mi toccherà rimettermi in pari prima o poi volevo sapere se avete da consigliarmi...
da InformateciBot
17/01/2015, 21:31
Forum: Discussioni
Argomento: Ripristino Wiki
Risposte: 0
Visite : 3666

Ripristino Wiki

<r><URL url="/profile/MindFlyer"><s>[url=/profile/MindFlyer]</s>MindFlyer<e>[/url]</e></URL> wrote: <URL url="/discussion/comment/87#Comment_87"><s>[url=/discussion/comment/87#Comment_87]</s>»<e>[/url]</e></URL>A quel punto converrà ripristinare la wiki prima o poi. Il fatto è che è un mucchio di la...

Vai alla ricerca avanzata