Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

lambda calcul: question

Posté par flm (invité) 15-11-04 à 21:01

Bonjour tout le monde.
Je suis en train de lire un cours sur le lambda calcul, et j aurais quelques questions.
En exercice dans ce cours il y a la question suivante:
les ensembles FV(a) et BV(a) sont ils toujours disjoints?
FV c est l ensemble des variables libres et BV des variables liees, a etant le corps d une fonction.
La reponse sous entendue est non.
Peut on se servir du fait que des variables liees peuvent avoir le meme nom que des variables libres dans a?
Il faut donner des exemples tels cas.
Voila, merci beaucoup par avance.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1674 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !