Perguntas com a marcação «soft-question»

Existem teoria algorítmica dos grafos / teoria dos números / combinatória / teoria da informação / teoria dos jogos. Existe análise matemática algorítmica? Segundo o wiki, a análise matemática inclui as teorias de diferenciação, integração, medida, limites, séries infinitas e funções analíticas. Não há problema em focar na análise real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Eu sou um estudante de graduação em ciência da computação teórica e, em particular, algoritmos de aproximação. Percebo agora que estou mais interessado em matemática pura (posso dizer isso porque pareço ter gostado mais de cursos de matemática do que os cursos de ciências da computação). Eu gostaria de perguntar …

11 reference-request  soft-question 

Estou tentando entender o que está envolvido na pesquisa teórica em ciência da computação. O que os cientistas da computação teóricos fazem? Sei que um tempo significativo é gasto no ensino, na supervisão de estudantes de pós-graduação, na solicitação de financiamento e em funções departamentais. Colocando-os de lado, como você …

11 soft-question  research-practice 

Embora a regra geral seja que, nos documentos da TCS, os autores sejam ordenados alfabeticamente, existem alguns contra-exemplos notáveis ​​que vêm à mente, nos quais os autores são ordenados de maneira diferente, por exemplo, Métodos Algébricos para Sistemas Interativos de Prova [Lund, Fortnow, Karloff, Nisan] Um método para obter assinaturas …

11 soft-question 

No cs.stackexchange , perguntei sobre a biblioteca algebird scala no github, especulando por que eles precisam de um pacote de álgebra abstrata. A página do github tem algumas dicas: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom, HyperLogLog e CountMinSketch. Isso permite que você pense nessas operações …

11 soft-question  machine-learning  linear-algebra  db.databases 

Em 1996, um problema aberto de longa data foi resolvido por um computador; ou seja, que a álgebra de Robbins e a álgebra booleana são iguais. A prova foi encontrada por um provador de teoremas automatizado. Além disso, a prova conhecida do teorema das quatro cores contém componentes gerados por …

11 soft-question  big-list  proofs  automated-theorem-proving 

Qual é a diferença de chamar -calculus uma álgebra em vez de um cálculo? Faço essa pergunta porque li em algum lugar a linha " -calculus não é um cálculo, mas uma álgebra" (iirc, atribuído a Dana Scott). Qual é o ponto? Obrigado.λλλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Recentemente, iniciei meu curso de mestrado. No semestre passado, participei de cursos de diferentes disciplinas, como redes, engenharia de software, arquitetura etc. Recentemente, depois de fazer um curso avançado em algoritmos e estruturas de dados, acho que encontrei um curso que me interessa mais (incluindo outros tópicos semelhantes, como linguagens …

11 soft-question  career 

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 

Estou desenvolvendo um algoritmo SAT há algum tempo e cheguei a um ponto em que gostaria de compartilhá-lo. Não conheço muitas pessoas em ciência da computação e não sei exatamente para onde me virar. Eu estou querendo saber quais recursos estão disponíveis para alguém com um algoritmo que está pensando …

11 sat  soft-question  proofs 

O que você pensa sobre ler regularmente jornais fora do próprio campo, mesmo aqueles que não estão relacionados à sua área? Minha intuição é que ele pode dar uma perspectiva ou técnica totalmente diferente que pode me ajudar em meus próprios problemas. Mas, ao mesmo tempo, sou um pouco cético …

10 soft-question  advice-request 

Nos projetos Polymath, um grande grupo trabalha em um problema em aberto. Que tipo de problemas parecem funcionar melhor nessa estrutura? Existem bons candidatos a um projeto polímata em ciência da computação teórica? Existem obstáculos que tornam menos provável que os projetos da Polymath sejam bem-sucedidos em ciência da computação …

10 soft-question  open-problem  research-practice 

Não tenho certeza se a área correta, mas aqui vai. Inicio um doutorado em Gerenciamento de Confiança e Reputação em redes de Comunicações (muita teoria de grafos, análise probabilística, etc.) e tenho muita leitura pela frente. Alguém pode aconselhar as melhores maneiras de gerenciar a leitura acadêmica e o que …

10 soft-question  advice-request  research-practice 

Estou procurando notas de aula disponíveis on-line ou outros recursos que ofereçam uma boa introdução à programação paralela, assim como o analógico paralelo de classes básicas em ciência da computação. Meu foco é o seguinte: enquanto sou capaz de falar sobre dividir e conquistar, algoritmos gananciosos, programação dinâmica e similares, …

10 reference-request  soft-question  dc.parallel-comp  survey 

Estou diante de um dilema bastante difícil: - Eu havia completado a M.Tech no CS há 2 anos, completando minha dissertação na área de testes VLSI. Enquanto eu gostei do meu trabalho, não quero voltar a fazer meu doutorado nisso - tenho muita vontade de seguir um curso teórico (em …

10 soft-question  advice-request  career