Domande taggate «terminology»

Domande su come devono essere comprese le nozioni specifiche e convenzioni di notazione.

2
Cos'è l'equivalenza beta?
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 .≡ β …
7
Qual è il significato della notazione polacca inversa?
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 …
5
Che cos'è esattamente il calcolo?
So cos'è il calcolo in un certo senso (è la cosa che fanno i computer), ma vorrei una definizione più rigorosa. Dictionary.comLe definizioni di calcolo, elaborazione, calcolo e calcolo sono circolari, quindi non aiuta. Wikipediadefinisce il calcolo come "qualsiasi tipo di calcolo che segue un modello ben definito". Definisce il …
6
In che modo la programmazione dinamica è diversa dalla forza bruta
Stavo leggendo sulla programmazione dinamica quando mi sono imbattuto nella seguente citazione Un algoritmo di programmazione dinamica esaminerà tutti i modi possibili per risolvere il problema e sceglierà la soluzione migliore. Pertanto, possiamo approssimativamente pensare alla programmazione dinamica come a un metodo intelligente e a forza bruta che ci consente …
5
Punto fisso, cosa significa nel mondo dell'informatica
Continuo a trovare riferimenti a punti fissi in domande e risposte su stackexchange e cerco il significato sul web trovando ovviamente riferimenti in siti come Wikipedia. Tuttavia nessuno dei riferimenti risponde alla mia domanda su cosa sia un punto fisso e cosa significhi nel mondo dell'informatica.
3
Come leggere le regole di battitura?
Ho iniziato a leggere sempre più documenti di ricerca linguistica. Lo trovo molto interessante e un buon modo per saperne di più sulla programmazione in generale. Tuttavia, di solito arriva una sezione in cui ho sempre delle difficoltà (prendiamo ad esempio la terza parte di questo ) dal momento che …
3
Quali garanzie offrono effettivamente i sistemi operativi "soft" in tempo reale
Penso di sapere cos'è un sistema operativo in tempo reale "difficile". È un sistema operativo con uno scheduler che fornisce un contratto con il programmatore dell'applicazione. Un'applicazione fornisce una scadenza per ogni richiesta di allocazione delle risorse. Se le richieste di scadenza sono realizzabili , lo scheduler garantisce che ogni …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.