Jos Diaz

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3.

En la Escuela de Minas de la Universidad Politécnica de Madrid (UPM) se ha llevado a cabo el proceso de adaptación a los principios de Bolonia. Esto ha implicado cambios en la metodología de la enseñanza. En este artículo se describe una nueva metodología aplicada a un curso introductorio de Mecánica ubicado en el primer semestre del grado de dos diferentes títulos de ingeniería. Los diferentes resultados se presentan mediante un índice que permite evaluar el resultado global del proceso de enseñanza-aprendizaje alcanzado con esta metodología.