Je suis dans ma deuxième année dans un MSc qui ne se rapporte pas trop au TCS bien que je le souhaite. Il s'agit essentiellement de la théorie du contrôle, des signaux et des systèmes et j'ai suivi des cours dans les systèmes avancés (robuste, non linéaire, optimal, stochastique), le traitement...
Je suis un étudiant diplômé de troisième année dans une université "top 20" qui travaille sur la complexité fine (beaucoup de jeu avec 3-SUM, OV et les conjectures de dureté populaires habituelles). J'ai été assez productif au cours de la dernière année environ et j'ai 3 articles acceptés et 2...
Toutes mes excuses à l'avance pour cette question douce qui n'a pas de réponse fermée et correcte. C'est probablement le meilleur forum pour poser ma question. Je suis un étudiant diplômé de troisième année dans un groupe théorique d'une école du top 15 aux États-Unis. Jusqu'à présent, je me...
Je ne suis pas un informaticien théorique. Je suis un théoricien stable de l'homotopie utilisant -categories. J'ai vu des applications de la théorie des catégories et de la théorie des topos à l'informatique théorique, et je me demandais s'il y avait un moyen d'utiliser -catégories (et de...
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons...
Je développe un algorithme SAT depuis un certain temps et j'ai atteint un point où j'aimerais le partager. Je ne connais pas beaucoup de gens en informatique et je ne sais pas exactement vers qui me tourner. Je me demande quelles ressources sont disponibles pour quelqu'un avec un algorithme qui...
Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand...
Dans un document de conférence, afin de prouver la complétude d'un problème, j'ai écrit la phrase stupide "Il est clair que le problème est dans . Nous allons donc prouver que c'est -difficile". En fait, ce n'était pas clair du tout. Cela semble même être un problème ouvert. Pour le public ciblé,...
J'ai récemment commencé mon cours de maîtrise. Le semestre dernier, j'ai suivi des cours dans différentes disciplines comme les réseaux, l'ingénierie logicielle, l'architecture, etc. ). Comment puis-je trouver un sujet de recherche - une structure de données ou un algorithme spécifique sur lequel...
Quelle est la différence d'appeler -calculus une algèbre au lieu d'un calcul? Je pose cette question parce que j'ai lu quelque part la ligne « -calculus n'est pas un calcul mais une algèbre» (iirc, attribué à Dana Scott). Dans quel but?
En 1996, un problème ouvert de longue date a été résolu par un ordinateur; à savoir que l' algèbre de Robbins et l'algèbre booléenne sont les mêmes. La preuve a été trouvée par un prouveur de théorème automatisé. De plus, la preuve connue du théorème des quatre couleurs contient des composants...
Sur cs.stackexchange, j'ai posé des questions sur la bibliothèque d' algebird scala sur github, spéculant sur les raisons pour lesquelles ils pourraient avoir besoin d'un paquet d'algèbre abstrait. La page github contient quelques indices: Implémentations de Monoids pour des algorithmes...
Alors que la règle générale est que dans les articles du TCS, les auteurs sont classés par ordre alphabétique, il y a quelques contre-exemples notables qui viennent à l'esprit, dans lesquels les auteurs sont classés d'une manière différente, par exemple, Méthodes algébriques pour les systèmes de...
J'essaie de comprendre ce qui est impliqué dans la recherche théorique en informatique. Que font les informaticiens théoriques? Je sais que l'on consacre beaucoup de temps à l'enseignement, à la supervision des étudiants des cycles supérieurs, à la demande de financement et aux fonctions...
Je suis un étudiant diplômé en informatique théorique, et en particulier en algorithmes d'approximation. Je trouve maintenant que je suis plus intéressé par les mathématiques pures (je peux le dire parce que je semble avoir plus aimé les cours de mathématiques que les cours CS). Je voudrais...
Il y a la théorie algorithmique des graphes / théorie des nombres / combinatoire / théorie de l'information / théorie des jeux. Existe-t-il une analyse mathématique algorithmique? Selon wiki, l'analyse mathématique comprend les théories de la différenciation, de l'intégration, de la mesure, des...
Dans le passé, les revues étaient le principal moyen de diffusion et d'approbation des découvertes scientifiques / mathématiques. Dans certaines régions, ils le sont toujours. Cependant, en informatique (théorique), ce rôle est presque entièrement assuré par des conférences et une diffusion ouverte...
Salut à tous, j'essaie actuellement de trouver un sujet de thèse de master solide se rapportant à une branche de la théorie des automates ou lié aux langages formels. J'essaie de générer de bonnes idées sur ce qu'est un sujet acceptable, quelque chose d'ambitieux mais quelque chose de faisable en...
Je suis un programmeur professionnel autodidacte. Je suis assez bon dans ce domaine (Ruby, Unix, Clojure, Java, Objective-C), mais maintenant je pense à passer au niveau supérieur en postulant peut-être pour un programme de maîtrise ou de doctorat en CS. Quels sujets en mathématiques dois-je...
Je m'intéresse à divers sujets comme la logique combinatoire, le calcul lambda, la programmation fonctionnelle depuis un certain temps et je les étudie. Cependant, contrairement à la «Théorie du calcul» qui s'efforce de répondre à la question de la «calculabilité», c'est-à-dire des choses qui...