Retour sur la notion de substitution Définition : Une substitution est une fonction σ : X → TΣ,X . Le domaine d’une substitution σ est l’ensemble Dom(σ) = {x ∈ X | σ(x) 6= x}. Le codomaine d’une substitut - Dom - Document - PDFSEARCH.IO

First Page	Meta Content
	Retour sur la notion de substitution Définition : Une substitution est une fonction σ : X → TΣ,X . Le domaine d’une substitution σ est l’ensemble Dom(σ) = {x ∈ X \| σ(x) 6= x}. Le codomaine d’une substitut Add to Reading List Document Date: 2015-03-25 06:06:28 Open Document File Size: 164,11 KB Share Result on Facebook

Retour sur la notion de substitution Définition : Une substitution est une fonction σ : X → TΣ,X . Le domaine d’une substitution σ est l’ensemble Dom(σ) = {x ∈ X | σ(x) 6= x}. Le codomaine d’une substitutAdd to Reading List