Nos articles sur

programmation logique

  • La SLD  résolution (Selective linéaire Definite résolution de l’article) est la base règle d'inférence utilisée dans la programmation logique.

  • La programmation logique est un type de paradigme de programmation qui est en grande partie basée sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de phrases s sous forme logique, exprimant des faits et des règles concernant un domaine problématique.

  • La programmation déclarative est un paradigme de programmation. Elle consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel.

  • Un système d'argumentation est un moyen pour un agent de gérer des informations conflictuelles et d'en tirer des conséquences.

Organisme de formation

CPF, Pole Emploi, Plan de formation   OF N°11755165975 - 17 rue etex, Paris

Recevez des exclus !

Contenus liés

Abonnez-vous et recevez des infos en exclu

24pm academy
17 rue etex 75018 Paris
O6 62 55 OO 1O

Search