Livres de logique et démos pour l'info
Bonjour,
Je cherche des ressources de techniques de démonstrations et de logique appliquée à l'informatique.
En effet, comme en maths, on démontre pas mal de choses en info, notamment pour prouver que des algos sont corrects. Par ailleurs, les méthodes formelles nécessitent pas mal de notions de logique.
Est-ce que quelqu'un a des sources sur ces sujets. Ça ne doit pas être nécessairement une seul ressource. Ça peut être un chapitre d'ici, un blog post de là, en français ou en anglais. Niveau TS.
Merci d'avance.
Je cherche des ressources de techniques de démonstrations et de logique appliquée à l'informatique.
En effet, comme en maths, on démontre pas mal de choses en info, notamment pour prouver que des algos sont corrects. Par ailleurs, les méthodes formelles nécessitent pas mal de notions de logique.
Est-ce que quelqu'un a des sources sur ces sujets. Ça ne doit pas être nécessairement une seul ressource. Ça peut être un chapitre d'ici, un blog post de là, en français ou en anglais. Niveau TS.
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.