1995 Différents types de savoirs et leur articulation.
Auteurs : Arsac Gilbert ; Grea Jean ; Grenier Denise ; Tiberghien Andrée ; Balacheff Nicolas. Dir.
calcul des prédicats
Il y a 43 résultats avec cette recherche.
-
-
Auteur : Durand-Guerrier Viviane
-
2000 Le statut logique des énoncés dans la classe de mathématiques.
Auteurs : Durand-Guerrier Viviane ; Le Berre Maryvonne ; Pontille Marie-Claude ; Feurly-Reynaud Josette
-
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
-
2012 Actes des 18e et 19e colloques de la CORFEM.
Auteurs : Gandit Michèle. Dir. ; Grugeon-Allys Brigitte. Dir. ; Commission inter-IREM CORFEM. Ed.
-
2004 Du mode d’existence des objets de la mathématique.
Auteur : Gardies Jean-Louis
-
2004 Gödel.
Auteur : Cassou-Noguès Pierre
-
Auteur : Duparc Jacques
-
Auteur : Freund Michael
-
1996 Logique et raisonnement mathématique.
Auteur : Durand-Guerrier Viviane
-
1964 Bulletin de l’APMEP. N° 239. p. 343-358. Les mots et les symboles.
Auteurs : Lacombe Daniel ; Chayé Jacques ; Gillet A. ; Duval Alain
-
2014 Actes du 21e colloque de la CORFEM. Logique, langage. Enoncés et preuves en mathématiques.
Auteur : Hache Christophe
-
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
-
1987 Au carrefour des mathématiques et du français : la logique.
Auteurs : Andrieu Eliane ; Hébert Elisabeth ; Lelouard Monique ; Mira Carmelle
-
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
-
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques
-
Auteur : Chellougui Faïza
-
Auteur : Chellougui Faïza
-
Auteur : Chellougui Faïza