IRMA - Documents

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

logique formelle ; convexité ; construction à la règle et au compas ; courbe de Bézier ; nombre complexe ; analyse numérique ; équation différentielle ; gradient ; graphe ; réseau neuronal ; série de Fourier ; transformation de Laplace

... Lire [+]

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

savoir ; didactique des mathématiques ; connaissance ; logique formelle ; combinatoire

... Lire [+]

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

logique formelle ; logique symbolique ; exercice ; corrigé

... Lire [+]

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

logique formelle ; logique informelle

... Lire [+]

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

implication ; épistémologie ; didactique ; manuel scolaire ; géométrie ; représentation ; situation didactique ; raisonnement déductif ; logique formelle ; théorie des ensembles

... Lire [+]

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

modèle ; analyse des données ; logique formelle ; raisonnement

... Lire [+]

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

logique ; logique formelle ; logique propositionnelle ; déduction ; langage formel ; paradoxe

... Lire [+]

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

logique formelle

... 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 logique formelle | enregistrements trouvés : 8

12 thèmes mathématiques indispensables : pour les étudiants de L1, écoles d'ingénieurs et B.U.T Rougé, Thierry ; Cabau, Patrick. -Paris : Ellipses , 2024 . - 263 p. ; 24 cm
ISBN 9782340089808

Nouveau

Différents types de savoirs et leur articulation Coord. Arsac, Gilbert. -Grenoble : La pensée sauvage , 1995 . - 288 p. ; 22 cm
Nouveau

Introduction à la logique formelle et symbolique : avec des exercices et leurs corrigés Salem, Jean. -Paris : Fernand Nathan , 1994 . - 141 p. ; 21 cm
ISBN 9782091905198
Nouveau

Logique formelle et logique informelle Perelman, Ch.. -Paris-Nord : IREM de Paris-Nord , 1981 . - 7 p. ; 30 cm
Nouveau

Contribution à l'étude expérimentale et à l'analyse de certaines acquisitions cognitives et de certains objectifs didactiques en mathématiques Gras, Régis. -Rennes : Université de Rennes 1 , 1979 . - 321 p. ; 30 cm
Nouveau

Sweet reason : a field guide to modern logic Tymoczko, Tom ; Henle, Jim. -New York NY : Springer , 2000 . - xxii, 644 p. ; 24 cm
https://link.springer.com/bookseries/3229
Nouveau

Formal logic Lorenzen, P.. -Dordrecht : D. Reidel publishing company , 1965 . - viii, 129
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 logique formelle | enregistrements trouvés : 8

12 thèmes mathématiques indispensables : pour les étudiants de L1, écoles d'ingénieurs et B.U.T Rougé, Thierry ; Cabau, Patrick. -Paris : Ellipses , 2024 . - 263 p. ; 24 cm ISBN 9782340089808 Nouveau

Différents types de savoirs et leur articulation Coord. Arsac, Gilbert. -Grenoble : La pensée sauvage , 1995 . - 288 p. ; 22 cm Nouveau

Introduction à la logique formelle et symbolique : avec des exercices et leurs corrigés Salem, Jean. -Paris : Fernand Nathan , 1994 . - 141 p. ; 21 cm ISBN 9782091905198 Nouveau

Logique formelle et logique informelle Perelman, Ch.. -Paris-Nord : IREM de Paris-Nord , 1981 . - 7 p. ; 30 cm Nouveau

Contribution à l'étude expérimentale et à l'analyse de certaines acquisitions cognitives et de certains objectifs didactiques en mathématiques Gras, Régis. -Rennes : Université de Rennes 1 , 1979 . - 321 p. ; 30 cm Nouveau

Sweet reason : a field guide to modern logic Tymoczko, Tom ; Henle, Jim. -New York NY : Springer , 2000 . - xxii, 644 p. ; 24 cm https://link.springer.com/bookseries/3229 Nouveau

Formal logic Lorenzen, P.. -Dordrecht : D. Reidel publishing company , 1965 . - viii, 129 Nouveau

12 thèmes mathématiques indispensables : pour les étudiants de L1, écoles d'ingénieurs et B.U.T Rougé, Thierry ; Cabau, Patrick. -Paris : Ellipses , 2024 . - 263 p. ; 24 cm
ISBN 9782340089808

Nouveau

Différents types de savoirs et leur articulation Coord. Arsac, Gilbert. -Grenoble : La pensée sauvage , 1995 . - 288 p. ; 22 cm
Nouveau

Introduction à la logique formelle et symbolique : avec des exercices et leurs corrigés Salem, Jean. -Paris : Fernand Nathan , 1994 . - 141 p. ; 21 cm
ISBN 9782091905198
Nouveau

Logique formelle et logique informelle Perelman, Ch.. -Paris-Nord : IREM de Paris-Nord , 1981 . - 7 p. ; 30 cm
Nouveau

Contribution à l'étude expérimentale et à l'analyse de certaines acquisitions cognitives et de certains objectifs didactiques en mathématiques Gras, Régis. -Rennes : Université de Rennes 1 , 1979 . - 321 p. ; 30 cm
Nouveau

Sweet reason : a field guide to modern logic Tymoczko, Tom ; Henle, Jim. -New York NY : Springer , 2000 . - xxii, 644 p. ; 24 cm
https://link.springer.com/bookseries/3229
Nouveau

Formal logic Lorenzen, P.. -Dordrecht : D. Reidel publishing company , 1965 . - viii, 129
Nouveau