I numeri irrazionali come , e hanno una sequenza univoca e non ripetitiva dopo il punto decimale. Se estraiamo l' -esima cifra da tali numeri (dove è il numero di volte in cui viene chiamato il metodo) e creiamo un numero con le cifre così come sono, non dovremmo ottenere …
Per inquadrare la domanda, nell'informatica spesso vogliamo calcolare il prodotto di diverse probabilità: P(A,B,C) = P(A) * P(B) * P(C) L'approccio più semplice è semplicemente quello di moltiplicare questi numeri, ed è quello che stavo per fare. Tuttavia, il mio capo ha detto che è meglio aggiungere il registro delle …
Quando il codice macchina viene effettivamente eseguito dall'hardware e dalla CPU, che aspetto ha? Sembrerebbe binario, come nelle istruzioni rappresentate da uno e zeri, o sarebbe qualcosa costituito da cifre esadecimali in cui gli opcode sono byte presentati come numeri esadecimali che possono essere scomposti in numeri binari, come bytecode?
In matematica, ci sono molte prove dell'esistenza che non sono costruttive, quindi sappiamo che esiste un certo oggetto anche se non sappiamo come trovarlo. Sto cercando risultati simili in informatica. In particolare: c'è un problema che possiamo dimostrare che è decidibile senza mostrare un algoritmo per esso? Cioè sappiamo che …
Un array o un vettore è solo una sequenza di valori. Possono sicuramente essere implementati con un elenco collegato. Questo è solo un mucchio di nodi con puntatori al nodo successivo. Stack e code sono due tipi di dati astratti comunemente insegnati nei corsi Intro CS. Da qualche parte nella …
Di recente ho sentito un'interessante analogia che afferma che la prova di Turing dell'indecidibilità del problema di arresto è molto simile al paradosso del barbiere di Russell. Quindi mi sono chiesto: i matematici alla fine sono riusciti a rendere coerente la teoria degli insiemi passando dalla formulazione ingenua del campo …
Dopo aver appreso Haskell e altri linguaggi FP non altrettanto puri, ho deciso di leggere la teoria delle categorie. Dopo aver acquisito una buona conoscenza della teoria delle categorie, ho iniziato a pensare a come i concetti della teoria delle categorie possano essere usati per pensare alla progettazione di programmi, …
Il titolo afferma la domanda. Abbiamo come input un elenco di elementi, che possiamo confrontare (determinare quale è il più grande ). Nessun elemento può essere uguale. Punti chiave: Il confronto non è transitivo (pensa alle forbici di carta rock): questo può essere vero: A> B, B> C, C> A …
Ho appena trovato la seguente cosa: ho messo più copie identiche di un'immagine png in una cartella e quindi ho provato a comprimere quella cartella con i seguenti metodi: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (questo funziona bene per immagini identiche, tuttavia …
Il problema della somma parziale è un classico problema NP completo: Dato un elenco di numeri e un obiettivo , esiste un sottoinsieme di numeri da che somma a ?k L kLLLkkkLLLkkk Uno studente mi ha chiesto se questa variante del problema chiamato problema "prodotto secondario" è NP-completa: Dato un …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Sono uno studente universitario e attualmente stiamo studiando Lambda Calculus. Tuttavia, faccio ancora fatica a capire esattamente perché questo mi sia utile. Mi rendo …
Sto cercando una spiegazione su come si possa dimostrare che due modelli di calcolo sono equivalenti. Ho letto libri sull'argomento, tranne per il fatto che le prove di equivalenza sono state omesse. Ho un'idea di base su cosa significhi che due modelli di calcolo siano equivalenti (la vista degli automi: …
Supponiamo che ti venga data una moneta equa e che desideri simulare la distribuzione della probabilità di lanciare ripetutamente un dado (a sei facce). La mia idea iniziale è che dobbiamo scegliere interi appropriati k,mk,mk,m , in modo tale che 2k=6m2k=6m2^k = 6m . Quindi, dopo aver lanciato la moneta …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.