Publication Date
In 2025 | 0 |
Since 2024 | 0 |
Since 2021 (last 5 years) | 0 |
Since 2016 (last 10 years) | 0 |
Since 2006 (last 20 years) | 2 |
Descriptor
Algebra | 2 |
Engineering Education | 2 |
Higher Education | 2 |
Programming | 2 |
Case Studies | 1 |
Colleges | 1 |
Comparative Education | 1 |
Computation | 1 |
Computer Uses in Education | 1 |
Decision Making | 1 |
Educational Technology | 1 |
More ▼ |
Author
Aguilera-Venegas, Gabriel | 1 |
Galán-García, José Luis | 1 |
Galán-García, María Ángeles | 1 |
Miranda, Joao | 1 |
Nagy, Mariana | 1 |
Rodríguez-Cielos, Pedro | 1 |
Publication Type
Journal Articles | 2 |
Reports - Descriptive | 2 |
Guides - Classroom - Teacher | 1 |
Education Level
Higher Education | 2 |
Postsecondary Education | 1 |
Audience
Teachers | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic
Miranda, Joao; Nagy, Mariana – European Journal of Engineering Education, 2011
European cooperation is a relevant subject that contributes to building a competitive network of high education institutions. A case of teacher mobility on behalf of the Erasmus programme is presented: it considers some Operations Research topics and the development of the Lego on My Decision module. The module considers eight lecture hours in…
Descriptors: Operations Research, International Cooperation, Programming, Faculty Mobility