Zobrazeno 1 - 10
of 258
pro vyhledávání: '"Garrido, Diego"'
Autor:
Wemmenhove, Jelle, Arends, Dick, Beurskens, Thijs, Bhaid, Maitreyee, McCarren, Sean, Moraal, Jan, Garrido, Diego Rivera, Tuin, David, Vassallo, Malcolm, Wils, Pieter, Portegies, Jim
Publikováno v:
EPTCS 400, 2024, pp. 96-119
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem provers, students write out their proofs inside the software using a s
Externí odkaz:
http://arxiv.org/abs/2211.13513
Publikováno v:
In Computer Methods and Programs in Biomedicine October 2024 255
Publikováno v:
SAGE Open. Jul-Sep2023, Vol. 13 Issue 3, p1-11. 11p.
Publikováno v:
International Journal of Instruction; Jul2024, Vol. 17 Issue 3, p337-354, 18p
Publikováno v:
Digital Education Review; Jun2024, Issue 45, p8-15, 8p
Autor:
Oriola Requena, Salvador1 salvaoriola@ub.edu, Calderón Garrido, Diego1 dcalderon@ub.edu, Gustems Carnicer, Josep1 jgustems@ub.edu
Publikováno v:
PER MUSI: Revista Academica de Musica. 2023, Issue 43, p1-13. 13p.
Autor:
Calderón-Garrido, Diego1 dcalderon@ub.edu, Parcerisa, Lluís1, Rivera-Vargas, Pablo1, Moreno-Gonzàlez, Ainara1
Publikováno v:
Aloma: Revista de Psicologia, Ciencies de l'Educacio i de l'Esport. 2023, Vol. 41 Issue 1, p141-148. 8p.
Autor:
Reis, Diana B., Acosta, Nieves G., Almansa, Eduardo, Garrido, Diego, Andrade, José P., Sykes, António V., Rodríguez, Covadonga
Publikováno v:
In Aquaculture 1 February 2019 500:264-271
Autor:
Rivera-Vargas, Pablo, Calderón-Garrido, Diego, Moreno-González, Ainara, Massó-Guijarro, Belén
Publikováno v:
REICE. Ibero-American Journal on Quality, Effectiveness & Change in Education / REICE. Revista Iberoamericana Sobre Calidad, Eficacia y Cambio en Educación; abr2024, Vol. 22 Issue 2, p85-100, 15p
Publikováno v:
Revista Complutense de Educación; abr-jun2024, Vol. 35 Issue 2, p363-379, 17p