Proposition de plan pour la partie
Conclusion : les limites -> ouverture vers la logique du premier ordre. Exercices :
entre autres, résolution de petites énigmes. Logique des prédicats : Introduction :
représenter quelles informations ? Axiomatisation et dérivation en logique des
prédicats. Interprétation des formules de la logique des prédicats. Procédures de
...
Autres Cours:
