Questions marquées «soft-question»

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.

5
Les raisons historiques de l’adoption de la machine de Turing en tant que modèle de calcul principal.
Je crois comprendre que le modèle de Turing est devenu le "standard" dans la description du calcul. Je voudrais savoir pourquoi. Si le modèle TM est devenu plus largement utilisé que d’autres modèles théoriquement équivalents (à ma connaissance), comme le μ-récursion de Kleene ou le calcul lambda (je comprends). que …
16
Résultats de physique dans TCS?
Il semble clair qu'un certain nombre de sous-domaines de l'informatique théorique ont été fortement influencés par les résultats de la physique théorique. Deux exemples de ceci sont Calcul quantique Résultats de la mécanique statistique utilisés dans l'analyse de complexité / les algorithmes heuristiques. Donc, ma question est la suivante: y …
10
Les ordinateurs réels n'ont qu'un nombre fini d'états. Quelle est donc la pertinence des machines de Turing par rapport aux ordinateurs réels?
Les ordinateurs réels ont une mémoire limitée et seulement un nombre fini d'états. Donc, ce sont essentiellement des automates finis. Pourquoi les informaticiens théoriques utilisent-ils les machines de Turing (et d’autres modèles équivalents) pour étudier les ordinateurs? Quel est l'intérêt d'étudier ces modèles beaucoup plus forts en ce qui concerne …
8
Rigueur menant à la perspicacité
Sur MathOverflow, Timothy Gowers a posé une question intitulée " Démontrer que la rigueur est importante ". La plupart des discussions ont porté sur des cas montrant l’importance de la preuve, dont les utilisateurs de CSTheory n’ont probablement pas besoin d’être convaincus. Selon mon expérience, les preuves doivent être plus …
1
Importance des articles à auteur unique?
Je suis étudiant en quatrième année de doctorat en informatique théorique. J'aimerais rester dans le monde universitaire, alors je réfléchis à la meilleure façon de faire progresser ma carrière. La meilleure façon de le faire est évidemment de rédiger de nombreux articles de qualité, mais une autre question est de …
3
Sélection des papiers à lire
AVERTISSEMENT: Ceci est une question ouverte et puritains stackexchange ressentiraient probablement un besoin extraordinaire de voter pour l'oubli. Cependant, je ne peux penser à aucun autre forum plus approprié et plus prometteur pour obtenir une réponse à cette question. En travaillant sur un problème de recherche pour un projet de …
13
Discussion inspirante pour les lycéens de dernière année
Mon département me demande souvent de donner des conférences aux élèves de dernière année du secondaire sur les éléments les plus mathématiques de l’informatique. Je fais de mon mieux pour choisir dans le SDC des sujets susceptibles de susciter leur intérêt (principalement en rapport avec le problème de l'arrêt), mais …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.