Ciência da Computação

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Sou estudante universitário e atualmente estamos estudando o Lambda Calculus. No entanto, ainda tenho dificuldade em entender exatamente por que isso é útil para mim. Sei …

21 lambda-calculus  functional-programming 

Suponha que temos um gerador aleatório que gera números no intervalo com distribuição uniforme e precisamos gerar números aleatórios no intervalo com distribuição uniforme.[ 0 .. N - 1 ][0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] Suponha que e não divida uniformemente ; para obter uma distribuição verdadeiramente uniforme , podemos usar o método de amostragem …

21 probability-theory  randomness  random-number-generator  sampling 

Eu terminei a maior parte do material no livro Introdução a algoritmos de Cormen e estou procurando um livro de algoritmos que cubra material além do livro de Corman. Existem recomendações? NOTA: Perguntei isso no stackoverflow, mas não fiquei muito feliz com a resposta. NOTA: Examinando a maioria dos comentários, …

21 algorithms  reference-request  books 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . O que é um bom livro de informática para iniciantes para um jovem adulto, digamos, 15 anos? Quero começar no CS, mas não tenho idéia por …

21 education  reference-request 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta: O ββ\beta -equivalence ≡β≡β\equiv_\beta é o menor equivalência que contém …

21 logic  terminology  lambda-calculus  type-theory 

Se um gráfico ponderado tiver duas árvores abrangentes mínimas diferentes e , é verdade que, para qualquer aresta em , o número de arestas em com o mesmo peso de (incluindo o próprio ) é igual ao número de arestas em com o mesmo peso que ? Se a afirmação …

21 graph-theory  spanning-trees  weighted-graphs 

Que eu saiba, existem três álgebras de processo principais que inspiraram uma vasta gama de pesquisas em modelos formais de concorrência. Esses são: CCS e -calculus, ambos de Robin Milnerππ\pi CSP de Tony Hoare e ACP por Jan Bergstra e Jan Willem Klop Todos os três parecem ter até hoje …

21 logic  concurrency  process-algebras 

Eu sei que desde ~ 2004, a lei de Moore parou de funcionar para a velocidade do clock da CPU. Estou procurando um gráfico mostrando isso, mas não consigo encontrá-lo: a maioria dos gráficos mostra a contagem de transistores ou a capacidade por ano. Onde posso encontrar alguns dados mostrando …

21 computer-architecture  empirical-research  data-sets 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Eu quero provar ou refutar a existência de um algoritmo que, dada uma matriz de números inteiros, encontre três índices e modo que e (ou descobre …

21 algorithms  arrays  subsequences 

Considere um tipo indutivo que possui algumas ocorrências recursivas em um local aninhado, mas estritamente positivo. Por exemplo, árvores com ramificação finita com nós usando uma estrutura de dados de lista genérica para armazenar os filhos. Inductive LTree : Set := Node : list LTree -> LTree. A maneira ingênua …

21 logic  coq  type-theory  recursion  proof-assistants 

Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente enumeráveis), não faz diferença para o poder do …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Uma motivação possível para o estudo de classes de complexidade computacional é entender o poder de diferentes tipos de recursos computacionais (aleatoriedade, não determinismo, efeitos quânticos etc.). Se olharmos para essa perspectiva, parece que podemos obter um axioma plausível para qualquer tentativa de caracterizar quais computações são viáveis ​​em algum …

21 complexity-theory  oracle-machines 

Aqui está o problema. Dado , em que cada . Existe um subconjunto com tamanho máximo de tal que para todos os ? Estou tentando reduzir esse problema para o SAT. Minha idéia de uma solução seria ter uma variável para cada um de 1 a . Para cada , …

21 complexity-theory  reductions  np-hard 

Ensino computação a jovens de 18 anos. Depois de ter explicado a notação polonesa reversa, perguntamos por que é significativo o suficiente para participar de um exame público. Expliquei o significado histórico das calculadoras dos anos 70, mas isso não conseguiu realmente resolver o problema. Portanto, existem aplicações práticas ou …

21 terminology  education 

Estou curioso para saber como compactar de maneira muito compacta o domínio de um nome de host arbitrário de IDN (conforme definido pela RFC5890 ) e suspeito que isso possa se tornar um desafio interessante. Um host ou nome de domínio Unicode (rótulo U) consiste em uma sequência de caracteres …

21 algorithms  strings  natural-language-processing  data-compression