Exemple d'un programme PROLOG : Différence entre versions
De AgregmathKL
(Page créée avec « Où l'on explique comment fonctionne PROLOG, et l'on découvre un problème familial. == Développement == *24px [[Média:dvt_prolog.tex | … ») |
|||
| Ligne 12 : | Ligne 12 : | ||
== Références == | == Références == | ||
* Jacques Stern, Fondements mathématiques de l'informatique. | * Jacques Stern, Fondements mathématiques de l'informatique. | ||
| + | |||
| + | |||
| + | [[Category: Développement de la leçon 917]] | ||
| + | [[Category: Développement de la leçon 918]] | ||
| + | [[Category: Développement de la leçon 924]] | ||
Version actuelle en date du 26 février 2015 à 21:24
Où l'on explique comment fonctionne PROLOG, et l'on découvre un problème familial.
Développement
Recasements
- 917 -- Logique du premier ordre : syntaxe et sémantique.
- 918 -- Systèmes formels de preuve en logique du premier ordre : exemples.
- 924 -- Théories et modèles en logique du premier ordre. Exemples.
Références
- Jacques Stern, Fondements mathématiques de l'informatique.
