IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

colloque ; logique ; argumentation ; théorie ; modèle ; sémantique ; pragmatique

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

transformation ; géométrie ; histoire des sciences ; épistémologie ; déplacement ; subordination ; isomorphie ; théorie des invariants ; parallèle ; sémantique ; syntaxique ; axiomatique ; normalisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage ; forme ; sémantique ; sémiotique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

interdisciplinarité ; sémantique ; opération ; résolution de problème ; arithmétique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

addition ; soustraction ; cognition ; développement ; opération ; syntaxe ; sémantique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

catastrophe ; biologie ; physique ; langage ; sémiotique ; sémantique ; jeu

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

sémantique ; école primaire

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; sémantique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; sémantique ; programmation ; algorithme génétique ; récursivité ; langage algébrique ; calcul parallèle

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

géométrie plane ; théorie de Galois ; algèbre ; produit scalaire ; corps ; catégorie ; symétrie orthogonale ; construction à la règle et au compas ; algèbre linéaire ; algèbre quadratique ; sémantique ; catégorie galoisienne ; syntaxe ; modèle

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

indépendance ; logique ; dépendance ; complexité ; sémantique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

sémantique ; logiciel mathématique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

type abstrait ; théorie du calcul ; sémantique ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

programmation ; logique ; sémantique ; génie logiciel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; sémantique ; métamathématique

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents sémantique | enregistrements trouvés : 16

Logique, argumentation, conversation : actes du colloque de pragmatique, Fribourg, 1981 Bange, P.. -Berne : Peter Lang , 1983 . - 221 p. ; 21 cm
Nouveau

Notion de transformation, éléments pour une étude historique et épistémologique : article 7 les transformations et la clasfication des géométries Thiénard, Jean-Claude. -Poitiers : IREM de Poitiers , 1998 . - 39 p. ; 30 cm
Nouveau

Analyse sémiotique du discours : de l'énoncé à l'énonciation Courtes, Joseph. -Paris : Hachette , 1991 . - 302 p. ; 22 cm
ISBN 9782010169106
Nouveau

Sémantique et mathématique : apprendre/enseigner l'arithmétique simple Ehrlich, Stéphane. -Paris : Fernand Nathan , 1990 . - 303 p. ; 21 cm
ISBN 9782091300030
Nouveau

Addition and subtraction : a cognitive perspective Ed. Carpenter, Thomas P. ; Ed. Moser, James M. ; Ed. Romberg, Thomas A.. -Hillsdale : Lawrence Erlbaum , 1982 . - X-245 p. ; 24 cm
Nouveau

Modèles mathématiques de la morphogenèse Thom, René. -Paris : Christian Bourgeois , 1981 . - 314 p. ; 23 cm
Nouveau

L'aspect sémantique des problèmes additifs Esfahani, Esmaeil. -Strasbourg : Institut de recherche mathématique avancée , 1989 . - 229 p. ; 30 cm
Nouveau

Logic colloquium 84 Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland , 1986 . - x-377
Nouveau

Mathematical logic in computer science Ed. Dömölki, B. ; Ed. Gergely, T.. -Amsterdam, New York NY, Oxford : North-Holland , 1981 . - 758 p. ; 24 cm
Nouveau

Géométrie plane et algèbre Lafforgue, Laurent. -Paris : Hermann , 2018 . - 212 p. ; 25 cm
ISBN 9782705695453
Nouveau

Dependence logic : a new approach to independance friendly logic Väänänen, Jouko. -Cambridge : Cambridge university Press , 2007 . - ix, 225 p. ; 23 cm
ISBN 9780521876599
Nouveau

Classical mathematical logic : the semantic foundations of logic Epstein, Richard L. ; Collab. Szczerba, Leslaw W.. -Princeton NJ : Princeton university Press , 2006 . - xxii, 522 p. ; 26 cm
ISBN 9780691123004
Nouveau

Program correctness over abstract data types, with error-state semantics Tucker, J.V. ; Zucker, J.I.. -Amsterdam : North-Holland , 1988 . - viii, 212
Nouveau

The Science of programming Gries, D.. -Berlin : Springer , 1981 . - xv-366
https://link.springer.com/bookseries/131
Nouveau

Logic, semantics metamathematics : papers from 1923 to 1938 Tarski, Alfred ; Trad. Woodger, J.H.. -Oxford : Clarendon Press , 1956 . - xiv, 471 p. ; 22 cm
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents sémantique | enregistrements trouvés : 16

Logique, argumentation, conversation : actes du colloque de pragmatique, Fribourg, 1981 Bange, P.. -Berne : Peter Lang , 1983 . - 221 p. ; 21 cm Nouveau

Notion de transformation, éléments pour une étude historique et épistémologique : article 7 les transformations et la clasfication des géométries Thiénard, Jean-Claude. -Poitiers : IREM de Poitiers , 1998 . - 39 p. ; 30 cm Nouveau

Analyse sémiotique du discours : de l'énoncé à l'énonciation Courtes, Joseph. -Paris : Hachette , 1991 . - 302 p. ; 22 cm ISBN 9782010169106 Nouveau

Sémantique et mathématique : apprendre/enseigner l'arithmétique simple Ehrlich, Stéphane. -Paris : Fernand Nathan , 1990 . - 303 p. ; 21 cm ISBN 9782091300030 Nouveau

Addition and subtraction : a cognitive perspective Ed. Carpenter, Thomas P. ; Ed. Moser, James M. ; Ed. Romberg, Thomas A.. -Hillsdale : Lawrence Erlbaum , 1982 . - X-245 p. ; 24 cm Nouveau

Modèles mathématiques de la morphogenèse Thom, René. -Paris : Christian Bourgeois , 1981 . - 314 p. ; 23 cm Nouveau

L'aspect sémantique des problèmes additifs Esfahani, Esmaeil. -Strasbourg : Institut de recherche mathématique avancée , 1989 . - 229 p. ; 30 cm Nouveau

Logic colloquium 84 Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland , 1986 . - x-377 Nouveau

Mathematical logic in computer science Ed. Dömölki, B. ; Ed. Gergely, T.. -Amsterdam, New York NY, Oxford : North-Holland , 1981 . - 758 p. ; 24 cm Nouveau

Géométrie plane et algèbre Lafforgue, Laurent. -Paris : Hermann , 2018 . - 212 p. ; 25 cm ISBN 9782705695453 Nouveau

Dependence logic : a new approach to independance friendly logic Väänänen, Jouko. -Cambridge : Cambridge university Press , 2007 . - ix, 225 p. ; 23 cm ISBN 9780521876599 Nouveau

Classical mathematical logic : the semantic foundations of logic Epstein, Richard L. ; Collab. Szczerba, Leslaw W.. -Princeton NJ : Princeton university Press , 2006 . - xxii, 522 p. ; 26 cm ISBN 9780691123004 Nouveau

Program correctness over abstract data types, with error-state semantics Tucker, J.V. ; Zucker, J.I.. -Amsterdam : North-Holland , 1988 . - viii, 212 Nouveau

The Science of programming Gries, D.. -Berlin : Springer , 1981 . - xv-366 https://link.springer.com/bookseries/131 Nouveau

Logic, semantics metamathematics : papers from 1923 to 1938 Tarski, Alfred ; Trad. Woodger, J.H.. -Oxford : Clarendon Press , 1956 . - xiv, 471 p. ; 22 cm Nouveau

Logique, argumentation, conversation : actes du colloque de pragmatique, Fribourg, 1981 Bange, P.. -Berne : Peter Lang , 1983 . - 221 p. ; 21 cm
Nouveau

Notion de transformation, éléments pour une étude historique et épistémologique : article 7 les transformations et la clasfication des géométries Thiénard, Jean-Claude. -Poitiers : IREM de Poitiers , 1998 . - 39 p. ; 30 cm
Nouveau

Analyse sémiotique du discours : de l'énoncé à l'énonciation Courtes, Joseph. -Paris : Hachette , 1991 . - 302 p. ; 22 cm
ISBN 9782010169106
Nouveau

Sémantique et mathématique : apprendre/enseigner l'arithmétique simple Ehrlich, Stéphane. -Paris : Fernand Nathan , 1990 . - 303 p. ; 21 cm
ISBN 9782091300030
Nouveau

Addition and subtraction : a cognitive perspective Ed. Carpenter, Thomas P. ; Ed. Moser, James M. ; Ed. Romberg, Thomas A.. -Hillsdale : Lawrence Erlbaum , 1982 . - X-245 p. ; 24 cm
Nouveau

Modèles mathématiques de la morphogenèse Thom, René. -Paris : Christian Bourgeois , 1981 . - 314 p. ; 23 cm
Nouveau

L'aspect sémantique des problèmes additifs Esfahani, Esmaeil. -Strasbourg : Institut de recherche mathématique avancée , 1989 . - 229 p. ; 30 cm
Nouveau

Logic colloquium 84 Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland , 1986 . - x-377
Nouveau

Mathematical logic in computer science Ed. Dömölki, B. ; Ed. Gergely, T.. -Amsterdam, New York NY, Oxford : North-Holland , 1981 . - 758 p. ; 24 cm
Nouveau

Géométrie plane et algèbre Lafforgue, Laurent. -Paris : Hermann , 2018 . - 212 p. ; 25 cm
ISBN 9782705695453
Nouveau

Dependence logic : a new approach to independance friendly logic Väänänen, Jouko. -Cambridge : Cambridge university Press , 2007 . - ix, 225 p. ; 23 cm
ISBN 9780521876599
Nouveau

Classical mathematical logic : the semantic foundations of logic Epstein, Richard L. ; Collab. Szczerba, Leslaw W.. -Princeton NJ : Princeton university Press , 2006 . - xxii, 522 p. ; 26 cm
ISBN 9780691123004
Nouveau

Program correctness over abstract data types, with error-state semantics Tucker, J.V. ; Zucker, J.I.. -Amsterdam : North-Holland , 1988 . - viii, 212
Nouveau

The Science of programming Gries, D.. -Berlin : Springer , 1981 . - xv-366
https://link.springer.com/bookseries/131
Nouveau

Logic, semantics metamathematics : papers from 1923 to 1938 Tarski, Alfred ; Trad. Woodger, J.H.. -Oxford : Clarendon Press , 1956 . - xiv, 471 p. ; 22 cm
Nouveau