Contributions de WazaPopo
Un utilisateur avec 2 modifications. Compte créé le 30 juin 2010.
3 février 2011
- 12:003 février 2011 à 12:00 diff hist +2 243 N Logique formelle/Calcul des prédicats Page créée avec « Le calcul des prédicats est aussi appelé logique d'ordre 1 et permet de faire de la logique sur des fonctions, des relations et de quantifier des relations sur les variable... »
- 11:433 février 2011 à 11:43 diff hist +46 Nm Discussion:Logique formelle/Calcul des propositions Page créée avec « On ne définit pas Z et I. Que signifient ils? » actuelle