Utilisateur:Bdenis/autres

Une page de Wikipédia, l'encyclopédie libre.

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]

Épistémologie comparée
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

Épistémologie de l'Informatique[modifier | modifier le code]

À explorer[modifier | modifier le code]