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.

6
Journaux avec relecture rapide
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 la soumission des documents pour examen; Je serais …
8
Pourquoi aller à l'informatique théorique / à la recherche?
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 peux [ou j'ai besoin] de faire …
7
Comment démarrer en CS théorique?
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 maintenant , en tant …
8
Quelle définition du taux de croissance asymptotique devrions-nous enseigner?
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 = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) …
3
Thèse Eglise-Turing étendue
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 …
8
Les contributions d'Alan Turing à l'informatique
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 ne se limitent pas à celles que j'ai énumérées. En …
6
Code dans les documents académiques
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 d'inclure la mise en œuvre réelle …
12
Branche de l'informatique théorique orientée algèbre
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 les domaines mentionnés ci-dessus, quel domaine serait …
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.