1 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Linguistique et mathématique : de la théorique au traitement analytique des données. ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
La Summula musicae de Henricus Helene / Johannes de Velle
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01402169 ; 2016 (2016)
|
|
BASE
|
|
Show details
|
|
6 |
Négation et quantification dans la classe de mathématiques
|
|
|
|
In: Négation et référence ; https://hal.univ-reims.fr/hal-02539714 ; René Daval; Pierre Frath; Emilia Hilgert; Silvia Palma. Négation et référence, ÉPURE - Éditions et Presses universitaires de Reims, pp.269-288, 2016, Res per nomen, 978-2-37496-021-0 (2016)
|
|
BASE
|
|
Show details
|
|
7 |
LA DYNAMIQUE D’ÉCRITURE DANS LA DESCRIPTION LINGUISTIQUE. NOUVEAUX MODES DE VISUALISATION DE L’ÉCRITURE ENREGISTREE
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304945 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.180-193 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
8 |
GRAPHES, DIAGRAMMES, LANGUE ET PENSÉE CHEZ C. S. PEIRCE
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304845 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.98-112 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
9 |
LOGIQUE, LANGAGE. ÉNONCÉS ET PREUVES EN MATHÉMATIQUES
|
|
|
|
In: XXIIe Colloque CORFEM ; https://hal.archives-ouvertes.fr/hal-01285113 ; XXIIe Colloque CORFEM, Jun 2014, Grenoble, France (2014)
|
|
BASE
|
|
Show details
|
|
10 |
Sur quoi porte le discours du professeur en classe de mathématiques ? Questions méthodologiques et premiers résultats
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02111034 ; IREM de Paris, 2014, Cahiers du Laboratoire de Didactique André Revuz, 9782866123550 ; https://irem.univ-paris-diderot.fr/ (2014)
|
|
BASE
|
|
Show details
|
|
11 |
Enseignement et apprentissage des mathématiques à l'école primaire dans un contexte bilingue breton-francais
|
|
|
|
In: ISSN: 0994-3722 ; EISSN: 2118-724X ; Spirale - Revue de Recherches en Éducation ; https://hal.archives-ouvertes.fr/hal-01067694 ; Spirale - Revue de Recherches en Éducation , Association pour la Recherche en Education (ARED), 2014, 54, pp.129-150 (2014)
|
|
BASE
|
|
Show details
|
|
12 |
Étude de l’évolution des signes langagiers lors d’une séquence d’enseignement intégrant un artefact technologique
|
|
Khalloufi-Mouha, Faten. - : Association de pédagogie et de didactique de l'Ecole normale de Lille, 2014. : Lille : Association de pédagogie et de didactique de l'Ecole normale de Lille, 2014. : PERSÉE : Université de Lyon, CNRS & ENS de Lyon, 2014
|
|
BASE
|
|
Show details
|
|
13 |
Enseignement et apprentissage des mathématiques à l’école primaire dans un contexte bilingue breton-français
|
|
Poisard, Caroline; Kervran, Martine; Le Pipec, Erwan. - : Association de pédagogie et de didactique de l'Ecole normale de Lille, 2014. : Lille : Association de pédagogie et de didactique de l'Ecole normale de Lille, 2014. : PERSÉE : Université de Lyon, CNRS & ENS de Lyon, 2014
|
|
BASE
|
|
Show details
|
|
14 |
Modalisation dans le discours mathématique pédagogique écrit en anglais
|
|
|
|
In: ISSN: 1638-5748 ; EISSN: 1638-573X ; CORELA - COgnition, REprésentation, LAngage ; https://hal.archives-ouvertes.fr/hal-01386655 ; CORELA - COgnition, REprésentation, LAngage, CERLICO-Cercle Linguistique du Centre et de l'Ouest (France), 2013, ⟨10.4000/corela.2876⟩ (2013)
|
|
BASE
|
|
Show details
|
|
15 |
NEW OBJECTIVES FOR THE NOTIONS OF LOGIC TEACHING IN HIGH SCHOOL IN FRANCE: A COMPLEX REQUEST FOR TEACHERS
|
|
|
|
In: 8th Congress of the European Society for Research in Mathematics Education (CERME8) ; https://hal.archives-ouvertes.fr/hal-01570188 ; 8th Congress of the European Society for Research in Mathematics Education (CERME8), Feb 2013, Antalya, Turkey ; http://cerme8.metu.edu.tr/ (2013)
|
|
BASE
|
|
Show details
|
|
16 |
L'image dans les textes de mathématiques - point de vue épistémologique ; sur deux textes d'Henri Poincaré et de Jacques Hadamard
|
|
|
|
In: L'image dans le texte scientifique ; https://hal.univ-brest.fr/hal-01119825 ; David Banks. L'image dans le texte scientifique, L'Harmattan, pp.255-270, 2013, 9782336302256 ; http://www.editions-harmattan.fr/index.asp?navig=catalogue&obj=livre&no=40274 (2013)
|
|
BASE
|
|
Show details
|
|
17 |
Logic modeling of language and Abstract Categorial Grammars ; Modélisation logique de la langue et grammaires catégorielles abstraites
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01750628 ; Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0283⟩ (2013)
|
|
BASE
|
|
Show details
|
|
18 |
Euclid and Pāṇini: an investigation of two scientific methodologies ; Euclide et Pāṇini : une investigation de deux méthodologies scientifiques ; Sauśravasa-Pāṇini-śāstrarīti-dvaya-parīkṣā
|
|
|
|
In: Āraṇyakam (Āraṇyakamityākhyaṣāṇmāsikaśodhapattram) ; https://halshs.archives-ouvertes.fr/halshs-00798698 ; Āraṇyakam (Āraṇyakamityākhyaṣāṇmāsikaśodhapattram), 2012, 19 (ūnaviṁśavarṣam) (1 (ūnaviṁśavarṣaprathamāṅkaḥ)), pp.7-14 (2012)
|
|
BASE
|
|
Show details
|
|
19 |
Algebraic resource semantics for classical logic ; Sémantique algébrique des ressources pour la logique classique
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01749530 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL075N⟩ (2011)
|
|
BASE
|
|
Show details
|
|
20 |
La notion de fonction dans le texte mathématique
|
|
|
|
In: Aspects diachroniques du texte de spécialité ; https://hal.univ-brest.fr/hal-01119764 ; David Banks. Aspects diachroniques du texte de spécialité, L'Harmattan, pp.205-219, 2010, 9782296125414 ; http://www.editions-harmattan.fr/index.asp?navig=catalogue&obj=livre&no=32026 (2010)
|
|
BASE
|
|
Show details
|
|
|
|