Une question douce est une question (éventuellement subjective) sur le domaine de l'informatique théorique par opposition à une question de l'informatique théorique.
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 limites, des séries infinies et des 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 demander s'il y …
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 ministérielles. Les mettre de côté comment …
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 preuve interactifs [Lund, Fortnow, …
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 d'approximation intéressants, tels que le filtre Bloom, HyperLogLog et CountMinSketch. …
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 je peux travailler pour ma thèse, et …
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? Merci.λλ\lambdaλλ\lambda
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 …
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 public dans une grande variété de sujets …
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 …
Que pensez-vous de lire régulièrement des articles en dehors de son domaine, même ceux qui ne sont pas liés à son domaine? Mon intuition est que cela peut donner une perspective ou une technique totalement différente qui peut m'aider dans mes propres problèmes. Mais en même temps, je suis un …
Dans les projets Polymath, un grand groupe travaille sur un problème ouvert. Quels types de problèmes semblent fonctionner le mieux dans ce cadre? Y a-t-il de bons candidats pour un projet polymath en informatique théorique? Y a-t-il des obstacles qui rendent les projets Polymath moins susceptibles de réussir en informatique …
Je ne sais pas si la zone est correcte, mais c'est parti. Commencer un doctorat en gestion de la confiance et de la réputation dans les réseaux de communication (beaucoup de théorie des graphes, analyse probabiliste, etc.) et avoir beaucoup de lecture devant moi. Quelqu'un peut-il conseiller les meilleures façons …
Je recherche des notes de cours disponibles en ligne ou d'autres ressources qui donnent une bonne introduction à la programmation parallèle, tout comme l'analogue parallèle des cours de base en informatique. Mon objectif est le suivant: alors que je suis en mesure de parler de division et de conquête, d'algorithmes …
Je suis confronté à un dilemme plutôt difficile: - J'avais terminé M.Tech en CS 2 ans en arrière, complétant ma thèse dans le domaine des tests VLSI. Bien que j'aimais mon travail, je ne souhaite pas y retourner pour poursuivre mon doctorat en cela - je souhaitais vivement poursuivre un …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.