Perguntas com a marcação «ho.history-overview»

Quem introduziu a ideia de recursão ? Alguém pode explicar de onde veio e como afetou a ciência da computação?

14 reference-request  ho.history-overview  recursion 

Robin Milner definiu bigraphs como um tipo de estrutura gráfica com estrutura semelhante a gráfico, mas onde os nós podem ser aninhados. Eles generalizam os cálculos de processos como o CCS e o cálculo, mas Milner parece ter pretendido que eles fossem usados ​​de maneira muito mais geral: as notas …

14 process-algebra  ho.history-overview 

Estou à procura de: Michael O. Rabin, "Grau de dificuldade em calcular uma função e uma ordem parcial de conjuntos recursivos", Universidade Hebraica, Jerusalém, 1960 Resumo: “Tentamos medir a quantidade de trabalho inerente à tarefa de calcular uma determinada função computável (recursiva). Uma noção de grau de dificuldade de computação …

13 cc.complexity-theory  reference-request  ho.history-overview 

Estive lendo sobre ITU (Intuitionistic Type Theory) e faz sentido. Mas o que estou lutando para entender é "por que" foi criado em primeiro lugar? A lógica intuicionista (IL) e o -calculus (STLC) de tipo simples e a teoria dos tipos em geral são anteriores à própria existência do próprio …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por resposta.

13 reference-request  soft-question  big-list  ho.history-overview 

Eu gostaria de saber sobre a história desses dois termos: " eficiente ", " viável ". Quem os usou sobre computação / algoritmos pela primeira vez? (no sentido moderno desses termos, ou seja, século 20). Como eles se tornaram mainstream? Como esses dois termos começaram a ser usados ​​como sinônimos? …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Enquanto ensinava como implementar FSMs usando circuitos lógicos síncronos, notei uma coincidência intrigante: tanto no mundo teórico do CS quanto no mundo da engenharia elétrica, "estado" é tipicamente denotado (e o espaço de estado Q ). Perguntei pela primeira vez no EE.sx , mas, ao pesquisar um pouco esse tópico, …

13 automata-theory  ho.history-overview 

Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém pode ser "intuitivamente" convencido …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

O primeiro termo é usado por Hilbert em seu trabalho de 1928, mas nos trabalhos posteriores de Gödel, a mesma coisa é chamada de Unvollständigkeitssatz ("teorema da incompletude"). Para os atuais pesquisadores alemães de CS, parece que o Unvollständigkeitssatz é mais comumente usado, e o Entscheidungsproblem ("problema de decisão") ainda …

11 lo.logic  computability  ho.history-overview 

Todos os museus e exposições relacionados a computadores que conheço parecem cobrir apenas a história das máquinas de computação, mas nada sobre tópicos de ciência da computação. Você está envolvido na criação de um novo Museu da Computação, criado para educar, divertir e inspirar o público em geral em uma …

11 soft-question  big-list  ho.history-overview 

É sabido que a máquina analítica de Charles Babbage tinha uma arquitetura muito semelhante à moderna arquitetura Von Neumann. Além disso, é notável que as tabelas para representar um programa da máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) e o trabalho de von Neumann (como http://library.ias.edu /files/pdfs/ecp/planningcodingof0103inst.pdf ) são bastante …

10 ho.history-overview 

Alguém sabe de onde vêm os nomes Sistema "F" e Sistema "T"? Não estou perguntando quem apresentou esses nomes (Sistema Girard F e Sistema Gödel T), mas o que significa "F" e "T".

9 ho.history-overview  type-systems  formal-systems 

Se eu entendi corretamente, para provar que o problema é NP difícil, você precisa escolher todos os possíveis problemas que estão no NP e depois provar que eles se reduzem a usando uma função computável de tempo polinomial, que mapeia instâncias de cada a instâncias de .UMAUMAABEuBEuB_{i}UMAUMAABEuBEuB_{i}UMAUMAA Depois de encontrar …

9 soft-question  ho.history-overview  cook-levin 

(Desculpas se isso for extraviado ou muito amplo. Estou aberto a sugestões sobre como reformulá-lo.) Estou interessado em rastrear a história "antiga" dos algoritmos de fluxo máximo e algoritmos de otimização discretos em geral. Ford-Fulkerson é meu homem de palha de um ponto de partida. Quais foram os avanços significativos …

9 ds.algorithms  graph-algorithms  ho.history-overview