Recherches en didactique des mathématiques. :: SCD d'Orléans

$Recherches en didactique des mathématiques.$

Recherches en didactique des mathématiques.

Enregistré dans:

Détails bibliographiques
Dans:	Recherches en didactique des mathématiques, N 86, vol 29/2, juin, 2009
Format:	Article revue INSPE
Sujets:	logique mathématique. unité de mesure. analyse : logique. algèbre.
Consulter le titre dans une bibliothèque:	Cliquer ici

Documents similaires

La structure algébrique des théories mathématiques
par: Henkin, Leon, 1921-2006
Publié: (1956)

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Logique combinatoire
par: Lagasse, Jean, 1924-2003, et autres
Publié: (1976)

From Objects to Diagrams for Ranges of Functors
par: Gillibert, Pierre, 1983-, et autres

Logique et modélisation : modèles consistants, données compatibles
par: Gondran, Michel, et autres
Publié: (1995)

Mathématiques à travers les siècles. Vers les mathématiques d'aujourd'hui : analyse fonctionnelle, nouvelles algèbres et géométries, statistique et logique
par: Garcia, Michel, 1944-
Publié: (2023)

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Proofs and fundamentals : a first course in abstract mathematics
par: Bloch, Ethan D., 1956-

Longtemps avant l'algèbre : poser le faux pour connaître le vrai
par: Gavin, Jérôme, 19..-, et autres
Publié: (2022)

Éléments de mathématiques discrètes
par: Frécon, Louis, 1940-
Publié: (2002)

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

Publications des séminaires de mathématiques : année 1974 Séminaire d'algèbre et logique.
Publié: (1974)

Logique combinatoire et séquentielle : méthodes, outils et réalisations
par: Brie, Claude, 19..-
Publié: (2002)

Abrégé d'histoire des mathématiques : 1700-1900
par: Dieudonné, Jean, 1906-1992, et autres
Publié: (1978)

Nearly Projective Boolean Algebras
par: Heindorf, Lutz, 1953-, et autres

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

FM8501 : a verified microprocessor
par: Hunt, Warren A. Jr., 1958-

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
par: Bergman, Clifford H.

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Publications des séminaires de mathématiques de l'université de Rennes : année 1973. Fascicule IV. Séminaires d'algèbre et de logique
Publié: (1973)

L'algèbre de la logique
par: Couturat, Louis, 1868-1914
Publié: (1980)

Algebraic methods of mathematical logic
par: Rieger, Ladislav, 1916-1963
Publié: (1967)

Cylindric Set Algebras
par: Henkin, Leon, 1921-2006, et autres

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Logique mathématique
par: Kleene, Stephen Cole, 1909-1994
Publié: (1971)

Algèbre de Boole et machines logiques
Publié: (1967)

Théorie des ensembles
par: Bourbaki, Nicolas

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
par: Bernays, Paul, 1888-1977, et autres
Publié: (1958)

Introduction à l'algèbre de Boole et aux dispositifs logiques
par: Hoernes, Gerhard E., et autres
Publié: (1966)

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Informatique mathématique : une photographie en 2022
par: Bournez, Olivier, et autres
Publié: (2022)

Algèbre : travaux dirigés de mathématiques, premier cycle de l'enseignement supérieur scientifique
par: Auzimour, Annick, 1942-, et autres
Publié: (1998)

Algebraic logic
par: Halmos, Paul Richard, 1916-2006
Publié: (1962)

Cours pratique de logique pour microprocesseurs : systèmes de numération, logique booléenne, circuits combinatoires et séquentiels, mémoires et registres, microprocesseurs
par: Lilen, Henri, 1929-
Publié: (1986)

Field-programmable logic and applications : 9th International Workshop, FPL 99, Glasgow, UK, August 30 - September 1, 1999 : proceedings

Field-programmable logic and applications : from FPGAs to computing paradigm : 8th International Workshop, FPL '98, Tallinn, Estonia, August 31 September 3, 1998 : proceedings

Algebraic systems
par: Mal'cev, Anatolii Ivanovič, 1909-1967
Publié: (1973)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales