NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 2 results Save | Export
Peer reviewed Peer reviewed
Direct linkDirect link
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
Peer reviewed Peer reviewed
Direct linkDirect link
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