Alguém conseguiu implementar ou projetar um sistema de tipos que combina o tipo de estado (tipos lineares) e os tipos de efeito (por exemplo, Koka
Estou pensando em um problema, inspirado por conhecer um professor de língua estrangeira de nível iniciante no Goethe-Institut que aprendeu os cinco idiomas mais comuns falados pelos alunos para se comunicar com o maior número possível de alunos. Considere uma população finita de pessoas, cada uma...
Para o meu projeto da feira de ciências, implementei uma otimização na rotina de classificação do Python. A idéia é mover as verificações de segurança que precisam ser realizadas durante cada comparação, por exemplo, verificações de tipo e verificações de largura de caracteres, fora do loop de...
Trabalhos modernos sobre índices de pesquisa geralmente contêm uma declaração de que índices invertidos (listas de postagem) são categoricamente superiores aos arquivos de assinatura (filtros de bloom). Aqui estão alguns exemplos de artigos publicados em 2016: Embora essa técnica [arquivo de...
É claro que o Mathematica usa o teste Baillie – PSW para sua função PrimeQ (que testa a primalidade) e, como eu li na documentação do Mathematica , ele começa com a divisão de teste, depois as bases 2 e 3 de Miller – Rabin e, em seguida, o teste de pseudoprime de Lucas. Minha pergunta é: Podemos...
Sabemos que o problema da parada está no 1º nível da hierarquia aritmética. Sabemos que o Problema da Totalidade está no 2º nível da hierarquia aritmética. Quais são alguns exemplos de problemas no terceiro nível (ou superior) da hierarquia aritmética. +1 para problemas cujas instâncias são...
Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https:
Alguém me disse que o registroregistro\logA função foi introduzida para facilitar o cálculo. Se tivermos que calcularx yxyxy, podemos calcular registrox + logyregistrox+registroy\log x+\log y Desde a registrox y= logx + logyregistroxy=registrox+registroy\log xy=\log x+\log y. Como isso pode...
Como parte de um curso que estou ministrando sobre Estruturas de Dados, quero que os alunos pesquisem e apresentem o uso de Estruturas de Dados em softwares / serviços populares. No entanto, o Google básico mostra que essas informações não estão tão prontamente disponíveis. Alguém pode me indicar...