ANAPHORA IN MATHEMATICS AND IN COMPUTER SCIENCES EDUCATION

Even after one year following an intensive French language programme, almost one third of the migrant students we questioned did not succeed in solving some

In a number of examples this will be obvious from the basis of .c(D) (a basis over the closure k, consisting of polynomials over IF q). Let X be a non-singular projective

In particu- lar, the corpus is intended to be used for training an automatic translator from Russian educational documents to its formal representation, as well as a test

We have recently made significant improvements to the system: speed-ups of the checking al- gorithms allow handling of chapter-sized texts with an argumentative granularity

Special attention is given to the dynamic nature of quantification in natural language, to the phenomenon of implicit function introduction in mathematical texts, and to the usage

In this paper, we have presented a formalization of this phenomenon in a higher-order extension of Dynamic Predicate Logic, and have illustrated its functioning in the proof

Italian speakers under attrition from English are significantly more likely than native monolingual speakers to interpret the overt pronoun lui as coreferential with the matrix

Prototypes in secondary and university mathematical education (Derek Pilous and David Janda).. 505 1) How to characterize prototypes