Forum Prepas.org

Bonjour,

Est-ce que quelqu'un ici connaît plusieurs applications pertinentes du calcul des prédicats dans le domaine informatique ? Je sais intuitivement que c'est utile mais j'ai besoin d'exemples concrets pour convaincre un ami à se motiver un peu plus pour étudier sur le sujet. Merci