Recherche:

Bonjour,

Dans le livre de Stevens et Rago, ils donnent l'exemple de programme suivant pour illustrer comment fonctionnent les pipes:

#include<stdio.h>
#include<stdlib.h>
#include<unistd.h>
...

J'y suis arrivé. Merci encore.

Merci beaucoup! Je vais apprendre comment on implante les sémaphores en c. Si je n'y arrive pas, je reviendrai par ici.

Bonjour et merci, c'est exactement ça : L2 et L3 doivent rester ensemble. Mais j'aimerais que cela soit la seule chose que j'impose. C'est un problème théorique que je pose, c'est vrai qu'en pratique...

Bonjour,

Supposons deux processus créés par des fork() s'exécutant en parallèle (dans mon cas, ils ont le même père, mais je ne sais pas si ça influe sur la réponse) : un processus doit exécuter...

Merci encore, Bluestorm.

Effectivement, je croyais à tort que l'axiome du choix unique était prouvable. J'ai lu dans la FAQ que c'est un axiome indépendant.
Mon intuition était basée sur le fait...

Merci beaucoup, bluestorm.

Je crois avoir compris que mon erreur fondamentale est que je voulais effectivement avoir une fonction de type ex A P -> A, que ce n'est pas possible et pourquoi c'est...

Merci Gorgonite pour ta réponse. Peut-être as-tu raison. En effet, pour démontrer

exists f : A -> B, forall x:A, forall y:B, (y = (f x)) -> (P x y)

à partir de (Ax1), on a besoin de l'axiome...

Bonjour,

J'essaye d'apprendre COQ. Voici mon problème.
Disons que l'on a A et B de types Set et P de type A -> B -> Prop.
J'ai aussi comme hypothèse que P est en fait une fonction, c'est-à-dire...