calcul des propositions

Il y a 40 résultats avec cette recherche.

2001 Produire et lire des textes de démonstration. Une approche linguistique de textes de raisonnement. p. 87-110.

Auteur : Beck Isabelle
2004 Bibliothèque Tangente. N° 15. Les règles de la déduction. p. 18-22.

Auteur : Temam Daniel
2004 Bibliothèque Tangente. N° 15. La contraposition. p. 23-23.

Auteur : Barthe Daniel
2004 Bibliothèque Tangente. N° 15. Le moteur logique : l’implication. p. 30-31.

Auteur : Cohen-Zardi Gérard
2003 Tangente Hors-série. N° 15. Vol. 1. p. 12-14. Les règles de la déduction.

Auteur : Temam Daniel
1967 Bulletin de l’APMEP. N° 258. p. 165-176. Fonctions caractéristiques des connecteurs.

Auteur : Glaymann Maurice
1977 Une introduction – Tome 1 : à la logique.

Auteurs : Durand Bernard ; Van Den Bossche Joseph ; Dhombres Jean. Préf.
1993 Logique mathématique. T. 1.

Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
2003 Sciences Sup. Logique mathématique. V. 1.

Auteurs : Cori René ; Lascar Daniel
1971 Bulletin de l’APMEP. N° 280. Supplément – La mathématique parlée par ceux qui l’enseignent : connecteur.

Auteur : APMEP Commission du Dictionnaire
1986 Dictionnaire de l’APMEP. La mathématique parlée par ceux qui l’enseignent. Connecteur.

Auteur : APMEP Commission du Dictionnaire
1997 sigma. Mathématiques Analyse et algèbre linéaire BTS tertiaires.

Auteur : Verlant Bernard
1991 Logique et raisonnement mathématique. Document à l’usage des élèves et étudiants scientifiques.

Auteur : El Faqih El Mekki
2001 Actes du séminaire national de didactique des mathématiques 2000. Logique et raisonnement mathématique – variabilité des exigences de rigueur dans les démonstrations mettant en jeu des énoncés existentiels. p. 55-83.

Auteurs : Arsac Gilbert ; Durand-Guerrier Viviane
2004 L’Ouvert. N° 109. p. 21-31. La logique et la vérité.

Auteur : Chauve Alain
1974 Bulletin de l’APMEP. N° 293. p. 370-374. Ecriture de propositions en mathématiques.

Auteur : Laura Marc