Pour essayer de vérifier si un algorithme est correct pour un problème donné, le point de départ habituel est d'essayer de l'exécuter à la main sur un certain nombre de cas de test simples. Essayez-le sur quelques exemples de problèmes, y compris quelques "cas simples". ". C'est une excellente heuristique: …
Je me pose des questions sur cette question depuis que je suis étudiant de premier cycle. C'est une question générale mais je développerai avec des exemples ci-dessous. J'ai vu beaucoup d'algorithmes - par exemple, pour des problèmes de flux maximum, je connais environ 3 algorithmes qui peuvent résoudre le problème: …
Dijkstra, dans son essai sur la cruauté de véritablement enseigner l'informatique , fait la proposition suivante pour un cours d'initiation à la programmation: D'une part, nous enseignons ce qui ressemble au calcul des prédicats, mais nous le faisons très différemment des philosophes. Afin de former le programmeur débutant à la …
Je m'intéresse à la meilleure façon d'enseigner la complétude NP aux majors en informatique. En particulier, devrions-nous l'enseigner en utilisant des réductions Karp ou en utilisant des réductions Turing? Je pense que les concepts de complétude et de réduction de NP sont quelque chose que chaque étudiant en informatique devrait …
Au cours ici , Dave Clarke a proposé que pour comparer la croissance asymptotique vous devez tracer les fonctions à portée de main. En tant qu'informaticien théoriquement enclin, j'appelle (ed) ce vodoo comme un complot n'est jamais une preuve. Après réflexion, je dois convenir qu'il s'agit d'une approche très utile …
La loi de De Morgan est souvent introduite dans un cours d'introduction aux mathématiques pour l'informatique, et je le vois souvent comme un moyen de transformer les déclarations de AND en OR en niant les termes. Y a-t-il une explication plus intuitive pour expliquer pourquoi cela fonctionne plutôt que de …
L'année dernière, je lisais un article fantastique sur «La mécanique quantique pour les jardins d'enfants» . Ce n'était pas du papier facile. Maintenant, je me demande comment expliquer le tri rapide dans les mots les plus simples possibles. Comment puis-je prouver (ou au moins une onde de main) que la …
Les portes logiques sont un dispositif abstrait qui peut être mis en œuvre avec des relais électromagnétiques, des tubes à vide ou des transistors. Ces implémentations ont réussi dans le calcul en partie en raison de diverses propriétés de chaînabilité, de durabilité et de taille au-delà de leur stabilité binaire …
J'ai lu l'algèbre linéaire et ses applications pour aider à comprendre le matériel informatique (principalement l'apprentissage automatique), mais je crains que beaucoup d'informations ne soient pas utiles à CS. Par exemple, savoir comment résoudre efficacement des systèmes d'équations linéaires ne semble pas très utile, sauf si vous essayez de programmer …
Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0 (l..r).each do |i| …
Je suis impliqué dans un cours de programmation et d'algorithmes de première année. Dans une récente conférence, j'ai décidé de présenter le matériel en utilisant codage en direct , ce qui signifiait essentiellement que je m'asseyais derrière le clavier et écrivais du code et l'évaluais, en utilisant emacs pour faciliter …
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.