Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 1 |
| Since 2007 (last 20 years) | 2 |
Descriptor
Author
| Aguilera-Venegas, Gabriel | 1 |
| Galán-García, José Luis | 1 |
| Galán-García, María Ángeles | 1 |
| Rodríguez-Cielos, Pedro | 1 |
| Taipalus, Toni | 1 |
Publication Type
| Journal Articles | 2 |
| Reports - Descriptive | 2 |
| Guides - Classroom - Teacher | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
| Teachers | 2 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkTaipalus, Toni – Journal of Information Systems Education, 2019
Structured Query Language (SQL) is still the de facto database query language widely used in industry and taught in almost all university level database courses. The role of SQL is further strengthened by the emergence of NewSQL systems which use SQL as their query language as well as some NoSQL systems, e.g., Cassandra and DynamoDB, which base…
Descriptors: Programming Languages, Programming, Computer Science Education, Databases
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
