Domande taggate «ho.history-overview»

La storia dietro gli argomenti: da dove viene il loro nome, chi li ha scoperti, quando sono stati dimostrati per la prima volta, come si sono evoluti negli anni.

1
Il "grado di difficoltà di Rabin nel calcolare una funzione e un ordinamento parziale di insiemi ricorsivi"
Sto cercando: Michael O. Rabin, "Grado di difficoltà nel calcolo di una funzione e ordinamento parziale di insiemi ricorsivi", Hebrew University, Gerusalemme, 1960 Sommario: “Cerchiamo di misurare la quantità di lavoro inerente al compito di calcolare una determinata funzione calcolabile (ricorsiva). Viene introdotta e studiata una nozione di grado di …
2
In che modo esattamente il calcolo lambda cattura la nozione intuitiva di calcolabilità?
Ho cercato di avvolgere la mia testa attorno al cosa, perché e come di -calculus ma non sono in grado di fare i conti con "perché funziona"?λλ\lambda "Intuitivamente" ottengo il modello di calcolabilità di Turing Machines (TM). Ma questa -strazione mi lascia confuso.λλ\lambda Supponiamo che le TM non esistano, quindi …
2
Il riferimento per le lingue Dyck essendo completo
Lingue Dyck è definito dalla seguente grammatica sull'insieme di simboli . Intuitivamente lingue Dyck sono le lingue di parentesi equilibrato di diverso tipo. Ad esempio, è in ma non lo è.Dyck(k)Dyck(k)\mathsf{Dyck}(k)S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k S )_k \,|\, \epsilon {(1,…,(k,)1,…,)k}{(1,…,(k,)1,…,)k}\{(_1,\ldots,(_k,)_1,\ldots,)_k\}kkk([])()([])()(\,[\,]\,)\,(\,)Dyck(2)Dyck(2)\mathsf{Dyck}(2)([)]([)](\,[\,)\,] Nel documento Algoritmi …
2
Mostre per un museo di informatica
Tutti i musei e le mostre informatiche di cui sono a conoscenza sembrano coprire solo la storia dei macchinari informatici, ma nulla su argomenti di informatica. Sei coinvolto nella creazione di un nuovo museo dell'informatica, noleggiato per educare, intrattenere e ispirare il pubblico in una vasta gamma di argomenti di …
2
La relazione tra Babbage e von Neumann
È noto che la macchina analitica di Charles Babbage aveva un'architettura che ricorda fortemente l'architettura moderna di Von Neumann. Inoltre, è notevole che le tabelle per rappresentare un programma per la macchina analitica di Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) e il lavoro di von Neumann (come http://library.ias.edu /files/pdfs/ecp/planningcodingof0103inst.pdf ) sono abbastanza …
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.