Eu sou novo na área de CS e notei que em muitos dos artigos que li, não há resultados empíricos (nenhum código, apenas lemas e provas). Por que é que? Considerando que a Ciência da Computação é uma ciência, não deveria seguir o método
No prefácio de seus livros muito influentes Automata, Languages and Machines (Volumes A, B), Samuel Eilenberg prometeu tentativamente os Volumes C e D lidando com "uma hierarquia (chamada hierarquia racional) dos fenômenos não racionais ... usando relações racionais como uma ferramenta para...
Alguém ousa tentar esclarecer qual é a relação desses campos de estudo ou talvez até mesmo dar uma resposta mais concreta no nível dos problemas? Como o que inclui quais assumindo algumas formulações amplamente aceitas. Se eu entendi direito, quando você passa de SAT para SMT, está basicamente...
Muitos especialistas acreditam que a conjectura é verdadeira e a usa em seus resultados. Minha preocupação é que a complexidade dependa fortemente da conjectura .P ≠ N PPNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Então, minha pergunta é: Desde que a conjectura não seja...
Recentemente, um amigo meu (trabalhando no TCS) mencionou em uma conversa que "ele queria ver / conhecer todos (ou tanto quanto possível) os belos resultados do TCS em sua vida". Isso meio que me fez pensar sobre os belos resultados nessa área e, portanto, a motivação para a seguinte...
Estou estudando recentemente Haskell e linguagens de programação. Alguém poderia recomendar alguns livros sobre teoria dos
Sendo engenheiro de software a maior parte da minha vida, não tenho absolutamente nenhuma idéia de como começar a publicar um tipo de papel "acadêmico". Durante minha pesquisa mais recente, encontrei um algoritmo interessante para a tarefa que resolvi (relacionado a alguns cálculos nos mercados...
Apresentação agora apresentada. Slides disponíveis abaixo. Apresentar o trabalho em andamento é algo que todos devemos fazer para obter feedback antecipado e ajudar a cristalizar nossas idéias. Infelizmente, muitos estudantes de pós-graduação precisam de ajuda para superar esse obstáculo de...
Além da ACM, IEEE computer Society, Google Scholar, qual é o melhor site para obter entradas de bibtex para artigos relacionados à ciência da
Sinto muito se esta pergunta é um pouco vaga, mas estou curioso para saber como os pesquisadores bem-sucedidos "sentem" os resultados no TCS. Por exemplo, álgebra linear pode ser entendida geometricamente ou em termos de suas interpretações físicas (vetores próprios podem ser considerados "pontos...
Esta é minha primeira pergunta na pilha de histórias, portanto, não seja muito rude se eu estiver violando a etiqueta de alguma forma) Como sabemos, em matemática, mesmo matemáticos, astros e gênios famosos estão cometendo erros sérios de tempos em tempos. Por exemplo, o teorema de quatro cores e...
Ouvi de alguns pesquisadores seniores em ciência da computação teórica que trabalhar em um emprego que não é de pesquisa, mesmo que por alguns anos, acabará com sua carreira como pesquisador da TCS. No entanto, desconfio da alegação de que o caminho de ser um pesquisador do TCS para um trabalho...
Sobre quais tópicos do TCS ausentes na Wikipedia você mais gostaria de ter um artigo? Podem ser omissões gritantes ou apenas tópicos que você acha que realmente deveriam ter um artigo. Um tópico por resposta, para que os mais procurados possam ser votados. Atualização 5/2/2017 : Shuchi Chawla...
Recentemente, ensinei expansores e introduzi a noção de gráficos Ramanujan. Michael Forbes perguntou por que eles são chamados assim, e eu tive que admitir que não sei.
Espero que essa não seja uma pergunta politicamente incorreta, mas para um estudante de doutorado que geralmente publica no CCC / ITCS / ICALP (e ocasionalmente no FOCS / STOC), poderia ser prejudicial (em termos de carreira) publicar trabalhos menos significativos em conferências de menor...
Eu estava lendo isso . Diz ... Você não se sentirá faminto por fundos como a Matemática Pura. (Você sempre ficará faminto por financiamento.) ... Por que matemáticos puros precisam de financiamento? (Opa, sua pergunta sobre o excesso de matemática) Por que alguém que faz pesquisa teórica...
Estarei participando da minha primeira conferência de ciência da computação e, depois de ler os conselhos sobre como melhorar as conferências , notei que várias sugestões eram sobre alunos de pós-graduação que participavam de sua primeira conferência. Que conselho você daria para um estudante de...
Estou procurando um livro sobre estruturas de dados avançadas que vão além do que é abordado em livros-texto padrão como Cormen, Leiserson, Rivest e "Introduction to Algorithms" de Stein. Um livro que pode ser usado para ministrar um curso de pós-graduação em estruturas avançadas de dados, como...
Existem muitas aplicações de análises reais em ciência da computação teórica, cobrindo testes de propriedades, complexidade da comunicação, aprendizado do PAC e muitos outros campos de pesquisa. No entanto, não consigo pensar em nenhum resultado no TCS que dependa de análises complexas (fora da...
Além de se tornar totalmente acadêmico e obter um doutorado / pós-doutorado, ou procurar um emprego mais ou menos 'padrão' no desenvolvimento de software, quais são algumas outras opções de carreira no campo de CS completo ou