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
Application calcul des prédicats
Un problème, une question, un nouveau théorème ?
Aller
- Informations importantes
- ↳ A lire
- Du lycée à la prépa
- ↳ Parcoursup
- ↳ S'inscrire en prépa
- ↳ Le système CPGE
- ↳ Spécial candidats étrangers
- De la prépa aux Grandes Écoles
- ↳ Organisation des concours, SCEI
- ↳ Trouver votre école
- ↳ Après l'école
- Questions/Réponses par disciplines
- ↳ Mathématiques
- ↳ Physique
- ↳ Chimie
- ↳ Informatique
- ↳ S.I.
- ↳ Francais / Langues
- ↳ TIPE
- ↳ S.V.T.
- ↳ Autres
- Forum
- ↳ Remarques sur l'organisation
- Archives
- ↳ Tout sur les prépas
- ↳ Questions générales sur les prépas
- ↳ Comment choisir sa filière
- ↳ Comment choisir son lycée
- ↳ S'inscrire en prépa
- ↳ Spécial candidats étrangers
- ↳ Tout sur les concours
- ↳ Échanges de dates d'oraux
- ↳ PC
- ↳ MP
- ↳ PSI
- ↳ Autres (PT, TSI, Agro, littéraires, ...)
- ↳ Renseignements généraux
- ↳ Questions diverses
- ↳ Questions générales sur les écoles
- ↳ Les écoles après la prépa
- ↳ Questions générales sur les écoles
- ↳ Après l'école
- ↳ Liens utiles
- ↳ Activités périscolaires
- ↳ Annonces de conférences et autres manifestations culturelles