Utilisateur:Bdenis/autres
Brouillon[modifier | modifier le code]
Vrac[modifier | modifier le code]
Programmes[modifier | modifier le code]
BIOTES (basic input/output test evaluation system) et plus (reg-ex, glob, neg)[modifier | modifier le code]
cf. vpl
cf. signatures sémantiques ponctuelles
Questions :
- Combien de tests pour valider un programme de décalage "3 lettres après" dans l'alphabet (Code Cesar) ?
- Combien de tests pour valider un programme de tri ?
Diagnostics, erreurs et rétroactions[modifier | modifier le code]
Questions :
- Combien d'erreurs pour qlq lignes de code ?
- Combien d'années pour découvrir toutes les erreurs possibles ?
Analyse algorithmique[modifier | modifier le code]
cf. histoire/trace/mémoire de l'algo à l'exécution
Questions :
- Combien d'algos de tri ?
- Combien de début d'algo de tri possible ?
Didactique de l'Informatique[modifier | modifier le code]
Épistémologie comparée[modifier | modifier le code]
Mathématiques | Informatique | Science Physique et Chimie |
---|---|---|
Démonstration | Démonstration | Démonstration |
Exécution | Exécution | Exécution |
Expérience | Expérience | Expérience |
Fonction | Fonction | Fonction |
Variable | Variable | Variable |
Mémoire | Mémoire | Mémoire |