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...
J'aime faire le TCS pendant mon temps libre. Dernièrement, j'ai essayé de faire des recherches comme passe-temps. Je recherche des informations supplémentaires auprès des personnes qui effectuent cette tâche à plein temps: - Pensez-vous qu'il soit possible de faire cela "juste pour le plaisir"? Je...
Il existe toujours un moyen d’appliquer dans des domaines liés à l’informatique théorique. Mais les manuels scolaires et les cours de premier cycle n'expliquent généralement pas pourquoi la théorie des automates est un sujet important et si elle a encore des applications dans la pratique. Par...
Que devriez-vous faire lorsque vous voyez une question posée en public, par exemple ici sur l'échange de piles, à laquelle vous connaissez la réponse, car vous examinez cette question dans le cadre d'un projet de recherche en cours? Par exemple, je vois une question à TCS.SX à laquelle je connais...
Contexte: La motivation de cette question est double. Premièrement, j'aimerais obtenir des faits concrets pour mieux comprendre le débat entre conférences et journaux en cours. Deuxièmement, si cette information était disponible quelque part, je pourrais prendre une décision plus éclairée lors de...
Cette question s'adresse aux personnes qui attribuent des problèmes: enseignants, assistants étudiants, tuteurs, etc. Cela m'est arrivé une poignée de fois au cours de mes 12 années de carrière en tant que professeur: j'ai rapidement assigné un problème au texte en pensant que "cela a l'air bien"....
Je commence actuellement à l'université [informatique] et nous avons beaucoup d'occasions de commencer par la recherche. Avant de trouver ce site Web, je n'avais pas l'intention de continuer sur cette voie [je voulais travailler avec l'IA, probablement le développeur de jeu.], Mais maintenant je...
C'est une question non technique, mais certainement pertinente pour la communauté du SDC. Si jugé inapproprié, n'hésitez pas à fermer. La page Web Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) a certainement rendu de grands services à la communauté TCS au fil des ans....
Supposons que des coauteurs de deux institutions différentes ou plus écrivent un article en latex et souhaitent faire mieux que d’envoyer des brouillons de manière répétée. Ils réalisent qu'ils peuvent ouvrir gratuitement un compte Dropbox, partager le mot de passe et synchroniser la version du...
Ce problème s’inspire de cette question du MO , que j’ai trouvée très intéressante. Quel est le problème ouvert le plus ancien dans TCS? Il est clair que cette question nécessite des éclaircissements. Tout d'abord, qu'est-ce que le TCS? Je pense que l'existence de nombres impairs parfaits n'est pas...
Quand nous suivons les manuels standard, ou la tradition, la plupart d' entre nous enseignent la définition suivante de la notation grand-Oh dans les premières conférences d'une classe d'algorithmes: f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f...
En substance, la question est: Quelle est l'unité la moins publiable pour ArXiv? Les domaines qui utilisent beaucoup ArXiv, tels que l'informatique quantique, présentent un intérêt particulier. Mais les commentaires sur d'autres domaines et les services de pré-impression (comme ECCC et ePrint) sont...
Une des questions les plus discutées sur le site a été Qu'est-ce que cela signifierait de réfuter la thèse de Church-Turing ? C'est en partie parce que Dershowitz et Gurevich ont publié une preuve de la thèse de Church-Turing est le Bulletin de la logique symbolique de 2008. (Je n'en discuterai pas...
Je suis un étudiant de première année en informatique et je sais déjà que je veux aller dans le monde universitaire avec une concentration en science-fiction théorique. J'ai déjà lu certains des articles référencés dans cette question et cette question m'a convaincu davantage. Que devrais-je faire...
Il est peu probable que ce soit une question commune, mais nous nous demandons si quelqu'un a déjà vu des documents clairement conçus pour s'adresser de manière significative à ce
Alan Turing , l'un des pionniers de l'informatique (théorique), a apporté de nombreuses contributions scientifiques fondamentales à notre domaine, notamment la définition des machines de Turing, la thèse de Church-Turing, l'indécidabilité et le test de Turing. Cependant, ses importantes découvertes...
Au cours de ma carrière universitaire, j'ai lu plusieurs articles sur divers sujets liés à l'informatique. Beaucoup impliquent une implémentation et une évaluation de cette implémentation, mais j’ai trouvé que très peu d’entre eux publient le code qu’ils ont utilisé. Pour moi, les avantages...
J'ai une base très forte en algèbre, à savoir algèbre commutative, algèbre homologique, théorie des champs, théorie des catégories, et j'apprends actuellement la géométrie algébrique. Je suis un étudiant en mathématiques avec une tendance à passer à l'informatique théorique. En gardant à l'esprit...
L'examen des questions à travers la lentille algorithmique (c'est-à-dire d'un point de vue algorithmique ou complexe) est devenu utile dans des disciplines en dehors du «domaine standard» de l'informatique. En particulier, CS a eu un impact sur la biologie grâce à la biologie computationnelle, sur...
Avertissement: je ne peux que me porter garant de mes domaines de recherche, à savoir les méthodes formelles, la sémantique et la théorie du langage de programmation. La situation est peut-être différente dans d'autres parties de la discipline. Il semble que le TCS soit devenu plutôt axé sur les...