Buscar
Mostrando ítems 41-50 de 6081
Logical Intelligence Levels and Math Performance: a Study on Primary and Secondary Chilean Students
(2011)
This article presents and analyses the results of a Superior Logical Intelligence Test (TILS) to a sample (N = 4446) representative of the Chilean primary and secondary school population. Psychometric analysis shows that ...
Logical Intelligence Levels and Math Performance: a Study on Primary and Secondary Chilean Students
(2011)
This article presents and analyses the results of a Superior Logical Intelligence Test (TILS) to a sample (N = 4446) representative of the Chilean primary and secondary school population. Psychometric analysis shows that ...
Proving compiler correctness using step-indexed logical relations
(2016)
In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...
Diversifying educational resources according to learning styles in an online logical thinking course
The educational resources of an online course in logical-analytical thinking, and the results of the Index of Learning Styles Questionnaire from 17041 students were analyzed to find if the majority of learning styles is ...
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and ...