Thèmes – logique

Editorial

• Claude Del Vigna
  Introduction aux bases de données et aux fondements de l'exemple relationnel [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 169 | Printemps 2005
• Michel Bourdeau et Pascal Boldini
  Avant propos sur la théorie constructive des types [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004

Article

• Jean-Pierre Desclés et Kye-Seop Cheong
  Analyse critique de la notion de variable (points de vue sémiotique et formel) - Seconde partie [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 174 | Eté 2006
• Luigi Burigana
  Projective operations on relational constraints [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 181 | Printemps 2008
• Stéphane Dugowson
  Les frontières dialectiques [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 177 | Printemps 2007
• Thierry Martin
  La logique probabiliste de Gabriel Cramer [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 176 | Hiver 2006
• Jean-Pierre Desclés et Kye-Seop Cheong
  Analyse critique de la notion de variable. Points de vue sémiotique et formel [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 173 | Printemps 2006
• Guido Lohrer
  Fins et moyens. La théorie constructive des types considérée comme guide pour former des modèles en théorie de l'esprit et de l'action [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 171 | Automne 2005
• Gilles Dowek
  La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
• Aarne Ranta
  Computational semantics in type theory [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
• Anton Setzer
  Proof Theory of Martin-Löf Type Theory. An overview [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
• Michel Bourdeau
  La critique de la théorie des ensembles dans la dissertation de Brouwer (1907) [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 164 | Hiver 2003
• Ismaïl Biskri et Jean-Pierre Desclés
  Logique combinatoire et linguistique : grammaire catégorielle combinatoire applicative [Résumé]
  Paru dans Mathématiques et sciences humaines, 132 | Hiver 1995
• Jean-Marc Bernard et Camilo Charron
  L'analyse implicative bayésienne : une méthode pour l'étude des dépendances orientées. 2. Modèle logique sur un tableau de contingence [Résumé]
  Paru dans Mathématiques et sciences humaines, 135 | Automne 1996
• Denis Pierre
  Les schémas mentaux : représenter et maintenir une connaissance apprise [Résumé]
  Paru dans Mathématiques et sciences humaines, 139 | Automne 1997
• Aarne Ranta
  Structures grammaticales dans le français mathématique : 1 [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 138 | Été 1997
• Gérard Milhaud et Elisabeth Godbert
  Un environnement basé sur la logique pour développer des applications du traitement automatique du langage naturel [Résumé]
  Paru dans Mathématiques et sciences humaines, 143 | Automne 1998
• Aarne Ranta
  Structures grammaticales dans le français mathématique : 2 (suite et fin) [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 139 | Automne 1997
• Israël-César Lerman et Valérie Rouat
  Segmentation de la sériation pour la résolution de ­ #SAT [Résumé]
  Paru dans Mathématiques et sciences humaines, 147 | Automne 1999
• Arnaud Devillez, Patrice Billaudel et Gérard Villermain Lecolier
  Une méthode possibiliste de discrimination adaptée aux classes de forme complexe [Résumé]
  Paru dans Mathématiques et sciences humaines, 147 | Automne 1999
• Michel Serfati
  A la recherche des "Lois de la Pensée". Sur l'épistémologie du calcul logique et du calcul des probabilités chez Boole [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 150 | Été 2000
• Giuseppe Longo
  Cercles vicieux, mathématiques et formalisations logiques [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 152 | Hiver 2000
• Jean-Pierre Ginisti
  La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ? [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 162 | Été 2003

Compte-rendu

• Francesca Poggiolesi
  M. van Atten, P. Boldini, M. Bourdeau, G. Heinzmann (eds), One Hundred Years of Intuitionism (1907-2007), The Cerisy conference, Bâle, Boston, Berlin, Birkhäuser, Publications des archives Henri Poincaré, 2008, 422 pages. [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 186 | Été 2009
• Thierry Martin
  J.-H. Lambert, "Phénoménologie", trad. G. Fanfalone, Paris, Vrin, 2002, 221 p. [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 174 | Eté 2006
• Jean-Pierre Ginisti
  Y. Gauthier, "Logique et fondements des mathématiques", Paris, New York, Diderot, 1997, 174p., bibliographie de 120 titres [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 140 | Hiver 1997
• Marc Barbut
  Revue de synthèse. Numéro spécial "Histoire des jeux, jeux de l'histoire", Albin Michel, n° 2-3-4, avril-décembre 2001 [Texte intégral]
  Paru dans Mathématiques et sciences humaines, 159 | Automne 2002

Index

• Auteurs
• Mots-clés
• Thèmes

Numéros en texte intégral

• 200 | Hiver 2012
  Hommage à Marc Barbut
• 199 | 2012
  Psychologie et mathématiques
• 198 | Eté 2012
• 197 | Printemps 2012
  Catégories, classification, complexité, consensus… Autour des travaux de Jean-Pierre Barthélemy
• 196 | hiver 2011
• 195 | Automne 2011
• 194 | Eté 2011
• 193 | Printemps 2011
• 192 | Hiver 2010
• 191 | Automne 2010
  Variabilité et inégalités
• 190 | Eté 2010
  Mathématiques discrètes : théories et usages. Numéro en hommage à Bruno Leclerc
• 189 | Printemps 2010
• 188 | Hiver 2009
• 187 | Automne 2009
  Journée 2007 de la Société Francophone de Classification
• 186 | Été 2009
• 185 | Printemps 2009
• 184 | Hiver 2008
• 183 | Automne 2008
  Hommage à Georges-Th. Guilbaud
• 182 | Été 2008
• 181 | Printemps 2008
• 180 | hiver 2007
  Mathématiques et phonologie
• 179 | Automne 2007
• 178 | Été 2007
  Art, mathématiques, langage et émotion
• 177 | Printemps 2007
• 175 | Automne 2006
• 176 | Hiver 2006
• 174 | Eté 2006
• 173 | Printemps 2006
• 172 | Hiver 2005
  Modèles et méthodes mathématiques dans les sciences sociales : apports et limites
• 171 | Automne 2005
• 169 | Printemps 2005
• 170 | Printemps 2005
  Mathématiques, jeux sportifs, sociologie
• 168 | Hiver 2004
  Les réseaux sociaux
• 167 | Automne 2004
• 165 | Printemps 2004
  La théorie constructive des types
• 166 | Été 2004
• 164 | Hiver 2003
• 163 | Automne 2003
  Théorie du choix social : cinquantenaires
• 161 | Printemps 2003
  Recherche opérationnelle et aide à la décision
• 162 | Été 2003
• 160 | Hiver 2002
• 159 | Automne 2002
• 157 | Printemps 2002
• 158 | Été 2002
• 155-156 | Automne-Hiver 2001
• 153 | Printemps 2001
• 154 | Été 2001
  Analyse statistique implicative
• 152 | Hiver 2000
• 151 | Automne 2000
• 149 | Printemps 2000
• 150 | Été 2000
  La doctrine des chances : sur le calcul des probabilités
• 148 | Hiver 1999
• 147 | Automne 1999
  Classification
• 145 | Printemps 1999
  Géométrie et vision
• 146 | Été 1999
• 144 | Hiver 1998
• 143 | Automne 1998
• 141 | Printemps 1998
• 142 | Été 1998
• 140 | Hiver 1997
• 139 | Automne 1997
• 137 | Printemps 1997
  Quelques modèles en analyse des réseaux sociaux
• 138 | Été 1997
• 136 | Hiver 1996
• 135 | Automne 1996
• 133 | Printemps 1996
  Tournois et analyse des préférences ordinales
• 134 | Été 1996
• 132 | Hiver 1995

Tous les numéros

Collection numérisée

• 1962-1999

Présentation

• The Journal
• Rédaction
• Recommendations to the authors
• Contact pour l’envoi des manuscrits

Informations

• Crédits
• Politiques de publication

Suivez-nous

• Flux RSS

Lettres d’information

• La Lettre d’OpenEdition

Affiliations/partenaires