Scienza del computer history

2

Qual è l'origine di λ per la stringa vuota?

Di solito uso il simbolo per stringa vuota (parola vuota o stringa nulla). Ma so che alcune persone usano λ invece di ε .εε\varepsilonλλ\lambdaεε\varepsilon Penso che sia derivato dalla parola "Vuoto". Tuttavia non so quale sia l'origine di λ .εε\varepsilonλλ\lambda Nella teoria degli automi esiste la transizione epsilon degli automi …

14 formal-languages automata reference-request notation history

1

Macchine ad accesso casuale con sola aggiunta, moltiplicazione, uguaglianza

La letteratura è abbastanza chiara che le RAM a costo unitario con moltiplicazione primitiva sono irragionevoli, in quanto non può essere simulato dalle macchine di Turing in tempi polinomiali in grado di risolvere i problemi completi di PSPACE in tempo polinomiale Tuttavia, tutti i riferimenti che posso trovare su questo …

13 complexity-theory reference-request computation-models history

3

Qual è l'origine del modello di server client?

Mi chiedevo se qualcuno conoscesse l'origine del modello di server client. Da dove viene il termine (carta, applicazione software, libro)?

13 terminology reference-request distributed-systems history

2

Perché la trasformazione laplace non è popolare per la convoluzione dell'elaborazione delle immagini?

Perché la trasformazione laplace non è popolare per la convoluzione dell'elaborazione delle immagini? La maggior parte dei libri di testo converte solo le trasformate di Fourier.

12 history image-processing

2

Importanza della ricorsione nella teoria della calcolabilità

Si dice che la teoria della computabilità sia anche chiamata teoria della ricorsione. Perché si chiama così? Perché la ricorsione ha tanta importanza?

12 computability terminology history

1

In che modo Isabelle (il teorema proverente) prese il nome?

Il titolo dice tutto, ma sono curioso perché non è ovvio come un proverore di teoremi sia stato chiamato 'Isabelle'. È stato chiamato per una persona? Non sono riuscito a scoprirlo con alcune ricerche su Google.

11 history automated-theorem-proving isabelle

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Che cosa calcolava il misterioso piccolo programma di Turing sul computer di Manchester?

Sto leggendo il documento "Macchine e intelligenza informatica di Turing" ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) e ho trovato un frammento in cui dice: Ho installato sul computer Manchester un piccolo programma che utilizza solo 1.000 unità di memoria, per cui la macchina fornita con un numero di sedici cifre risponde con un'altra …

10 algorithms history

4

Perché la ricerca binaria è chiamata ricerca binaria?

Ho sentito diverse possibili spiegazioni, quindi vorrei un riferimento attendibile. Aggiornamento 05.19: Sono interessato alla domanda perché uno dei miei studenti ha scritto nella sua tesi che il nome deriva dalla seguente spiegazione (1). Fino ad ora ho pensato / sentito che deriva dalla spiegazione (2). Mi sentirei male sia …

9 terminology reference-request history

1

Origine del concetto di tipi

A proposito dello stato dell'arte che sto correndo davanti alla teoria dei tipi, ho queste domande tutte relative alla storia dei tipi. Da dove viene l'idea di Type ? (Sembra che tutto inizi quando Russell e Whitehead propongono un modo per evitare la contraddizione che conosciamo oggi come Paradosso di …

8 type-theory history

Domande taggate «history»