Chiuso . Questa domanda è basata sull'opinione . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che possa essere risolta con fatti e citazioni modificando questo post . Chiuso l'anno scorso . Dritto al punto: mi piacerebbe davvero imparare l'IA. Ma voglio un consiglio …
In alcuni luoghi del mondo, le persone di solito non hanno accesso (e quindi poca conoscenza dei) computer, e anche se lo hanno, l'hardware e il software sono obsoleti e l'utilizzo afflitto da interruzioni di corrente e simili. Anche l'accesso a (buoni) libri tende a mancare. Come posso insegnare informatica …
Se un grafico ponderato GGG ha due alberi spanning minimi differenti T1=(V1,E1)T1=(V1,E1)T_1 = (V_1, E_1) e T2=(V2,E2)T2=(V2,E2)T_2 = (V_2, E_2) , è vero che per ogni bordo eee in E1E1E_1 , il numero di bordi in E1E1E_1 con lo stesso peso di eee (incluso eee stesso) è uguale al numero …
Ho finito la maggior parte del materiale nel libro Intro to Algorithms di Cormen e sto cercando un libro di algoritmi che copra materiale oltre il libro di Corman. Ci sono dei consigli? NOTA: l'ho chiesto su StackOverflow ma non ero molto contento della risposta. NOTA: guardando la maggior parte …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Nello script che sto leggendo sul calcolo lambda, l'equivalenza beta è definita come questa: Il -equivalence è l'equivalenza più piccolo che contiene .≡ β …
Supponiamo di avere un generatore casuale che emetta numeri nell'intervallo [0..R−1][0..R−1][0..R-1] con distribuzione uniforme e che dobbiamo generare numeri casuali nell'intervallo [0..N−1][0..N−1][0..N-1] con distribuzione uniforme. Supponiamo che N<RN<RN < R e NNN non dividano uniformemente RRR ; per ottenere una distribuzione davvero uniforme possiamo usare il metodo di campionamento del …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Che cos'è un buon libro di informatica per principianti per un giovane adulto, diciamo, un 15enne? Voglio iniziare in CS, ma non ho idea …
Per quanto ne so, ci sono tre principali algebre di processo che hanno ispirato una vasta gamma di ricerche su modelli formali di concorrenza. Questi sono: CCS e -calculus entrambi di Robin Milnerππ\pi CSP di Tony Hoare e ACP di Jan Bergstra e Jan Willem Klop Oggi tutti e tre …
So che dal 2004 la legge di Moore ha smesso di funzionare per la velocità di clock della CPU. Sto cercando un grafico che mostra questo, ma non riesco a trovarlo: la maggior parte dei grafici là fuori mostra il conteggio dei transistor o la capacità all'anno. Dove posso trovare …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Voglio provare o confutare l'esistenza di un algoritmo che, dato un array di numeri interi, trova tre indici e tali che e (o scopre …
Considera un tipo induttivo che presenta alcune occorrenze ricorsive in una posizione nidificata, ma strettamente positiva. Ad esempio, alberi con ramificazione finita con nodi che utilizzano una struttura di dati di elenco generica per memorizzare i figli. Inductive LTree : Set := Node : list LTree -> LTree. Il modo …
Quando si considerano i modelli di calcolo della macchina, la gerarchia di Chomsky è normalmente caratterizzata da (in ordine), automi finiti, automi push-down, automi rilegati lineari e macchine di Turing. Per il primo e l'ultimo livello 1 (linguaggi regolari e linguaggi ricorsivamente enumerabili), non fa alcuna differenza per la potenza …
Una possibile motivazione per studiare le classi di complessità computazionale è comprendere il potere di diversi tipi di risorse computazionali (casualità, non determinismo, effetti quantistici, ecc.). Se lo guardiamo da questa prospettiva, sembra che possiamo ottenere un assioma plausibile per qualsiasi tentativo di caratterizzare quali calcoli sono fattibili in alcuni …
Ecco il problema Dato , dove ogni . Esiste un sottoinsieme con dimensioni al massimo tali che S \ cap T_i \ neq \ emptyset per tutti i ? Sto cercando di ridurre questo problema a SAT. La mia idea di una soluzione sarebbe quella di avere una variabile x_i …
Insegno informatica a 18 anni. Dopo aver spiegato loro la notazione polacca inversa, ci si è chiesti perché sia abbastanza significativo essere nell'esame pubblico. Ho spiegato il significato storico dei calcolatori degli anni '70, ma questo non è riuscito a risolvere il problema. Così ci sono e applicazioni pratiche o …
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.