| 1 |
Chinese computational linguistics and natural language processing based on naturally annotated big data : 13th China national conference, CCL 2014 and second international symposium, NLP-NABD 2014, Wuhan, China, October 18 - 19, 2014 : proceedings
|
|
|
|
BLLDB
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
|
| 8 |
Analogical mapping across modalities in children with specific language impairment (SLI)
|
|
|
|
In: ISSN: 0891-4222 ; EISSN: 1873-3379 ; Research in Developmental Disabilities ; https://halshs.archives-ouvertes.fr/halshs-01009167 ; Research in Developmental Disabilities, Elsevier, 2014, 35 (9), pp.2158-2171. ⟨10.1016/j.ridd.2014.05.005⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Regroupement de structures de dérivations lexicales par raisonnement analogique
|
|
|
|
In: Actes de Récital 2014 ; TALN-RECITAL - 16ème Rencontre des étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues ; https://halshs.archives-ouvertes.fr/halshs-01021152 ; TALN-RECITAL - 16ème Rencontre des étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jul 2014, Marseille, France. pp.92-103 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
The Roles of Inference and Associative Learning in the Construction of Mappings Between Number Words and Numerical Magnitudes /
|
|
|
|
In: Sullivan, Jessica L.(2014). The Roles of Inference and Associative Learning in the Construction of Mappings Between Number Words and Numerical Magnitudes /. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/4011m94d (2014)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Far-out thinking: generating solutions to distant analogies promotes relational thinking.
|
|
|
|
In: Psychological science, vol 25, iss 4 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Toddlers infer higher-order relational principles in causal learning.
|
|
|
|
In: Psychological science, vol 25, iss 1 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Logic : from a tool for language and reasoning in mathematics towards a teaching object ; La logique : d'un outil pour le langage et le raisonnement mathématique vers un objet d'enseignement
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01114281 ; Histoire et perspectives sur les mathématiques [math.HO]. Université Paris Diderot, 2014. Français (2014)
|
|
Abstract:
The thesis focuses on the teaching of concepts of logic in high school. The current official instructions state that the aim is not to give a course of mathematical logic, but to develop its use as a tool for the formulation of considered logic. To take this constraint into account in the study of the process of didactic transposition, I introduce, between the scholar knowledge and the knowledge to teach, a knowledge of reference for logic, which has never been established by the mathematics teaching community. To provide such a reference, I lead an epistemological and didactic study, in which I highlight the relationship between logic and language, often less present in the minds of teachers than the links between logic and reasoning. This reference takes into account theoretical and pragmatic aspects of the concepts of logic towards the study of language utilised by mathematicians and didactical elements in existing works. A more detailed study of the knowledge to teach, in which the current choices are situated in a historical perspective, reveals the complexity of the requirements and constraints on the teaching of these concepts. Nevertheless, teacher training on these issues is virtually nonexistent. The analysis of a three-day training on logic for active teachers, in which the concepts of logic are addressed from a naive study of mathematical language, shows the relevance of this approach : many trainees seem to become aware of the ambiguities implicit in our linguistic practices, and express their intention consequently to change their methods. ; La thèse porte sur l’enseignement de notions de logique au lycée. Les instructions officielles actuelles précisent qu’il ne s’agit pas de faire un cours de logique mathématique, mais de développer une utilisation en tant qu’outils des notions de logique considérées. Afin de prendre en compte cette contrainte dans l’étude du processus de transposition didactique, j’introduis, entre savoir savant et savoir à enseigner, un savoir de référence pour la logique, savoir qui n’a jamais été institué par la communauté de l’enseignement des mathématiques. Je m’appuie pour proposer une telle référence sur une double étude épistémologique et didactique, dans laquelle je privilégie les liens entre logique et langage, souvent moins présents à l’esprit des enseignants que les liens entre logique et raisonnement. Cette référence prend en compte des aspects théoriques et pragmatiques des notions de logique à partir de l’étude du langage des mathématiciens et des éléments didactiques issus de travaux existants. Une étude plus fine du savoir à enseigner, où les choix actuels sont situés dans une perspective historique, donne à voir la complexité des conditions et contraintes portant sur l’enseignement de ces notions. Malgré cela, la formation des enseignants sur ces questions est pratiquement inexistante. L’analyse d’une formation continue de trois jours sur la logique, dans laquelle les notions de logique sont abordées à partir d’une étude naïve du langage mathématique, montre la pertinence de cette approche : beau- coup de stagiaires semblent prendre conscience des ambiguïtés et des implicites de nos pratiques langagières, et déclarent modifier leurs pratiques en conséquence.
|
|
Keyword:
[MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; enseignement; formation des enseignants; langage; language; logic; logique; lycée; raisonnement; reasoning; teachers training; teaching
|
|
URL: https://hal.archives-ouvertes.fr/tel-01114281v3/file/TheseMesnilVersionPubliee.pdf
https://hal.archives-ouvertes.fr/tel-01114281v3/document
https://hal.archives-ouvertes.fr/tel-01114281
|
|
BASE
|
|
Hide details
|
|
|
| 14 |
The Logical Implication Table in Binary Propositional Calculus: Justification, Proof Automatability, and Effect on Scientific Reasoning
|
|
|
|
In: ISSN: 2336-0984 ; EISSN: 2336-0984 ; International Journal of Computer Science Theory and Application ; https://hal.archives-ouvertes.fr/hal-01099262 ; International Journal of Computer Science Theory and Application, ORB Academic Publisher, 2014, 1 (2), pp.18-24 ; http://www.orb-academic.org/index.php/journal-of-computer-science (2014)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Developmental reasoning and planning with robot through enactive interaction with human ; Raisonnement et planification développementale d’un robot via une interaction enactive avec un humain
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01015288 ; Automatic. Université Claude Bernard - Lyon I, 2014. English. ⟨NNT : 2014LYO10037⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Simple Type Theory with Undefinedness, Quotation, and Evaluation∗
|
|
|
|
In: http://imps.mcmaster.ca/doc/stt-with-uqe.pdf (2014)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
On the analysis of set-based fuzzy quantified reasoning using classical syllogistics ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
The Negations of Conjunctions, Conditionals, and Disjunctions
|
|
|
|
In: DTIC (2014)
|
|
BASE
|
|
Show details
|
|
|
|
|
