Questions marquées «didactics»

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...

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...

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...

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...

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...

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...

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)...

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...

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...

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...

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...