Estou no meu segundo ano em um mestrado que não se relaciona muito com o TCS, embora eu desejasse. É basicamente sobre teoria de controle, sinais e sistemas e participei de aulas em sistemas avançados (robusto, não linear, ideal, estocástico), processamento avançado de sinais e otimização...
Eu sou um estudante de terceiro ano de uma universidade dos "top 20" que trabalha com complexidade refinada (muitas brincadeiras com 3-SUM, OV e as habituais conjecturas populares de dureza). Tenho sido bastante produtivo nos últimos anos e tenho três artigos aceitos e dois artigos submetidos. Tudo...
Pedimos desculpas antecipadamente por isso, uma pergunta suave que não tem resposta correta e fechada. Este é provavelmente o melhor fórum para fazer minha pergunta. Eu sou um estudante de terceiro ano do grupo de teoria de uma das 15 melhores escolas dos EUA. Até agora, tenho feito decentemente...
Eu não sou um cientista da computação teórico. Sou um teórico estável da homotopia usando -categories. Vi aplicações da teoria das categorias e da teoria topos à ciência da computação teórica, e fiquei imaginando se havia alguma maneira de usar -categories (e de preferência para mim, a teoria da...
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...
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á...
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...
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...
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?
Em um trabalho de conferência, a fim de provar a -completeness de um problema, eu escrevi a frase estúpida "É claro que o problema está no N P . Então, vamos provar que é N P -Hard". De fato, não estava claro. Parece até ser um problema em aberto. Para o público-alvo, não é um grande negócio,...
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...
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...
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,...
No passado, os periódicos eram a principal forma de divulgação e verificação de descobertas científicas / matemáticas. Em algumas áreas, eles ainda são. No entanto, na ciência da computação (teórica) esse papel é quase inteiramente desempenhado por conferências e disseminação aberta na Web (por...
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....
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...
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...
Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo...
Sou um programador profissional autodidata. Eu sou muito bom nisso (Ruby, Unix, Clojure, Java, Objective-C), mas agora estou pensando em levá-lo para o próximo nível, talvez se candidatando a um programa de mestrado ou doutorado em CS. Quais tópicos de matemática devo estudar para me preparar para...
Estou interessado em vários tópicos como Lógica Combinatória, Cálculo Lambda, Programação Funcional há algum tempo e os tenho estudado. No entanto, diferentemente da "Teoria da computação", que se esforça para responder à questão da "computabilidade", isto é, coisas que podem / não podem ser...