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.
J'ai du mal à enseigner le concept de fonctions calculables. J'ai essayé de développer l'idée de pourquoi des chercheurs comme Hilbert / Ackermann / Godel / Turing / Church / ... ont inventé la notion de «calculabilité». Les étudiants ont immédiatement demandé: "que signifie la calculabilité?" et je ne peux …
J'écris des articles en informatique théorique étant parfois un auteur unique non anonyme. Plus tôt, j'ai utilisé la première personne du pluriel dans ces articles, par exemple: Nous montrerons que les classes de complexité X et Y coïncident. Je ne suis ni natif ni anglophone ni très bon anglais. Récemment, …
J'enseignerai un cours de premier cycle standard sur les langues et les automates au semestre prochain, et je préférerais utiliser un texte légitime gratuit ou à faible coût. Aucune suggestion? J'adore le texte Sipser mais la dernière édition coûte 196 $, ce qui est difficile à dire avec un visage …
Je suis un étudiant de premier cycle et j'ai récemment accepté le fait que je n'ai peut-être pas l'intellect pour faire des recherches en informatique théorique, ou être en mesure d'être admis et de terminer un programme de doctorat. Cependant, je voudrais quand même m'impliquer dans l'informatique théorique car je …
Lors de la compilation des résultats, il est souvent souhaitable d'avoir des diagrammes d'aspect professionnel, plutôt que des diagrammes rassemblés dans MS Paint. Quelle est la norme pour dessiner des structures de données?
J'ai deux questions historiques: Qui a décrit en premier le calcul non déterministe? Je sais que Cook a décrit des problèmes NP-complets et qu'Edmonds a proposé que les algorithmes P soient des algorithmes "efficaces" ou "bons". J'ai cherché dans cet article Wikipedia et j'ai survolé "Sur la complexité des algorithmes", …
La plupart des articles sont maintenant rédigés en collaboration, et les collaborateurs sont souvent situés dans des endroits différents. J'ai toujours utilisé des systèmes de contrôle de version pour mes documents et mon code, et j'ai également trouvé le contrôle de version critique pour les projets logiciels collaboratifs, mais il …
Cette question est similaire à une question plus générale pour savoir quel est le bon modèle théorique d'un ordinateur pour concevoir des algorithmes et des structures de données. Ici, je pose des questions spécifiquement sur les ordinateurs haute performance actuels (comme ceux répertoriés dans le Top 500 ) ou même …
J'ai une éducation mathématique de premier cycle raisonnable, mais je n'ai jamais été à 100% à l'aise avec l'algèbre abstraite (les mathématiques des groupes, des anneaux, des champs, etc.). Je pense que c'était en partie parce que j'avais besoin de voir des applications et toutes celles que je pouvais trouver …
Quelles sont les meilleures ressources pour trouver des offres d'emploi pour des postes de professeurs en théorie CS? Existe-t-il un site Web ou une liste de diffusion en particulier assez complet? J'ai actuellement l'impression qu'il faut utiliser une variété de ressources pour obtenir une liste complète et mondiale des offres …
Cette récente question sur la théorie des jeux m'a fait réfléchir (c'est une tangente, bien sûr): est-il possible d'optimiser efficacement une stratégie personnelle pour choisir des questions de recherche sur lesquelles travailler en utilisant la théorie des jeux? Afin d'avancer vers une formalisation de la question, je ferai les hypothèses …
J'étudie actuellement les mathématiques. Cependant, je ne pense pas vouloir devenir mathématicien professionnel à l'avenir. Je pense appliquer mes connaissances en mathématiques pour faire de la recherche en intelligence artificielle. Cependant, je ne sais pas combien de cours de mathématiques je devrais suivre. (Et quels cours de théorie CS je …
Je me rends compte que cela pourrait être une question controversée, mais cela semblait être le bon endroit à poser. Veuillez me rediriger sinon. Le contexte est que je suis un "praticien" (doctorant, je n'étudie pas la théorie CS) mais j'ai une base raisonnable en algorithmes de premier cycle et …
J'aimerais savoir s'il y a eu des conjectures qui n'ont pas été prouvées depuis longtemps dans le TCS, qui ont ensuite été prouvées par une implication d'un autre théorème, qui auraient pu être plus faciles à prouver.
La notion de réductions de temps polynomiales (réductions Cook) est l'abstraction d'un concept très intuitif: résoudre efficacement un problème en utilisant un algorithme pour un problème différent. Cependant, dans la théorie de la complétude de , la notion de dureté de N P est capturée par des réductions de cartographie …
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.