Questions marquées «survey»

14
Applications de la topologie à l'informatique
J'aimerais écrire un sondage sur les applications de la topologie en informatique. Je compte couvrir l’histoire des idées topologiques en informatique et souligner quelques développements récents. Il serait extrêmement utile que quiconque puisse donner son avis sur l’une des questions ci-dessous. Existe-t-il des documents ou des notes décrivant la chronologie …
14
Où et comment les ordinateurs ont-ils aidé à prouver un théorème?
Le but de cette question est de recueillir des exemples d'informatique théorique où l'utilisation systématique des ordinateurs était utile. dans la construction d'une conjecture qui mène à un théorème, falsifier une conjecture ou une approche par preuve, construire / vérifier (des parties de) une preuve. Si vous avez un exemple …
1
Prérequis pour apprendre le GCT
Il semble que la théorie de la complexité géométrique nécessite une connaissance approfondie des mathématiques pures telles que la géométrie algébrique, la théorie de la représentation. Bien que je sois un étudiant en informatique et que je n’ai PAS de cours de mathématiques très abstraites et pures, ce programme m’intéresse. …
4
Articles Wikipedia manquants
Sur quels sujets TCS manquants sur Wikipédia aimeriez-vous le plus avoir un article? Il peut s'agir d'omissions flagrantes ou simplement de sujets qui, selon vous, devraient vraiment avoir un article. Un sujet par réponse s'il vous plaît afin que les plus recherchés puissent être votés. Mise à jour 5/2/2017 : …
4
Complexité informatique en finance quantitative
Prédire la bourse est difficile! TCS peut-il rendre ce sentiment plus formel? Récemment, j'ai commencé à réfléchir un peu à la finance et je me demandais en quoi la connaissance du TCS pouvait aider. Les fonds spéculatifs et les sociétés d'investissement semblent utiliser le trading algorithmique, l'apprentissage automatique et l'IA …
2
Existe-t-il un aperçu de la sémantique des différentes fonctionnalités du langage de programmation?
Existe-t-il un aperçu (à partir d'un article, d'un chapitre de livre, d'un tutoriel, de liens, ...) de la sémantique des différentes fonctionnalités du langage de programmation? J'étais à l'origine submergé par les fonctionnalités de D ici http://www.digitalmars.com/d/2.0/comparison.html Je voudrais voir ce que je pourrais obtenir d'ici, bien que j'ai posé …
10
Ressources pour en savoir plus sur le problème P vs. NP
On m'a récemment rappelé le problème vs comme expliqué par Stephen A. Cook sur Clay Mathematics Institute.N PPP\mathsf{P}N PNP\mathsf{NP} Cela a piqué mon intérêt et j'aimerais en savoir plus. La première étape serait d'acquérir une compréhension plus approfondie du problème et une compréhension du domaine en général. Pouvez-vous recommander des …
7
Manuel d'algorithmes avancés
Je recherche des ressources (de préférence un manuel) sur des sujets avancés en algorithmes (sujets au-delà de ce qui est couvert dans les manuels d'algorithmes comme CLRS et DPV). Le type de matériel qui peut être utilisé pour enseigner un sujet dans un cours d'algorithmes comme le cours d'Erik Demaine …
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.