Questions marquées «software-engineering»

5
Est-il possible de résoudre le problème d'arrêt si vous avez une entrée contrainte ou prévisible?
Le problème de l'arrêt ne peut être résolu dans le cas général. Il est possible de trouver des règles définies qui restreignent les entrées autorisées et le problème d'arrêt peut-il être résolu pour ce cas particulier? Par exemple, il semble probable qu'un langage qui n'autorise pas les boucles, par exemple, …
4
Comment vérifiez-vous si deux algorithmes renvoient le même résultat pour une entrée?
Comment vérifiez-vous si deux algorithmes (disons, Tri par fusion et Tri naïf) renvoient le même résultat pour n'importe quelle entrée, lorsque l'ensemble de toutes les entrées est infini? Mise à jour: Merci Ben d' avoir décrit comment cela est impossible à faire algorithmiquement dans le cas général. La réponse de …
4
Comment les statistiques sont-elles appliquées en informatique pour évaluer l'exactitude des allégations de recherche?
J'ai remarqué dans ma courte vie universitaire que de nombreux articles publiés dans notre domaine n'ont parfois pas beaucoup de rigueur en matière de statistiques. Ce n'est pas seulement une hypothèse; J'ai entendu des professeurs dire la même chose. Par exemple, dans les disciplines CS, je vois des articles publiés …
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.