No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Verifying RTECTL properties of a train controller systemVerifying RTECTL properties of a train controller system
Find similar objects | Add to bibliography
Better versus longer series of heads and tailsBetter versus longer series of heads and tails
A stochastic graph as a specific tool of mathematization and argumentationA stochastic graph as a specific tool of mathematization and argumentation
A correction method for projects of system safety from the risk minimization criterionA correction method for projects of system safety from the risk minimization criterion
Mathematics competences of pedagogy students at the beginning of their university studiesMathematics competences of pedagogy students at the beginning of their university studies
View on some theories of mathematics educationView on some theories of mathematics education
The difficulties in integrating mathematics with other teaching subjectsThe difficulties in integrating mathematics with other teaching subjects
Analysis of the factors affecting student's attitudes to mathematicsAnalysis of the factors affecting student's attitudes to mathematics
Innovation in the mathematics component of the future primary school teachers' pregraduate curriculumInnovation in the mathematics component of the future primary school teachers' pregraduate curriculum
Changes of attitudes towards mathematicsChanges of attitudes towards mathematics
Testing of geometrical imaginationTesting of geometrical imagination
Development of combinatorial thinking of elementary school studentsDevelopment of combinatorial thinking of elementary school students
Geometrical imagination and knowledge of triangles at elementary schoolsGeometrical imagination and knowledge of triangles at elementary schools
Knowledge of quadrilateral at elementary schoolKnowledge of quadrilateral at elementary school
Global minimum search using DMC algorithm with continuous weightsGlobal minimum search using DMC algorithm with continuous weights