Et l'informatique aussi

Retourner au contenu associé (lien : Déboguer ... les maths. )

# Et l'informatique aussi

Posté par Pol' uX (site web personnel) le 26 octobre 2023 à 10:04. En réponse au lien Déboguer ... les maths. . Évalué à 4.

On peut aussi déboguer l'informagique. Cf les excellents cours de Xavier Leroy.

https://www.college-de-france.fr/fr/agenda/cours/semantiques-mecanisees-quand-la-machine-raisonne-sur-ses-langages
https://www.college-de-france.fr/fr/agenda/seminaire/logiques-de-programmes-quand-la-machine-raisonne-sur-ses-logiciels

Adhérer à l'April, ça vous tente ?