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) | 3 |
Descriptor
| Engineering Education | 3 |
| Programming | 3 |
| Teaching Methods | 2 |
| Algebra | 1 |
| Animation | 1 |
| Aviation Mechanics | 1 |
| Aviation Technology | 1 |
| Barriers | 1 |
| Coding | 1 |
| Computation | 1 |
| Computer Uses in Education | 1 |
| More ▼ | |
Author
Publication Type
| Guides - Classroom - Teacher | 3 |
| Journal Articles | 3 |
| Reports - Descriptive | 3 |
Education Level
| Elementary Education | 1 |
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
| Teachers | 3 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkBartholomew, Scott R.; Zhang, Liwei; Weitlauf, John – Technology and Engineering Teacher, 2018
Computational thinking, programming, coding, and analytical thinking are high-demand skills in today's educational and occupational arenas (Wing, 2006 & 2014). In addition to these skills, students need the ability to think creatively, work collaboratively, and develop design solutions to complex problems to succeed in school and a…
Descriptors: Engineering, Design, Coding, Thinking Skills
Hansen, Alexandria Killian; Iveland, Ashley; Harlow, Danielle Boyd; Dwyer, Hilary; Franklin, Diana – Science and Children, 2015
As science teachers continue preparing for implementation of the "Next Generation Science Standards," one recommendation is to use computer programming as a promising context to efficiently integrate science and engineering. In this article, a interdisciplinary team of educational researchers and computer scientists describe how to use…
Descriptors: Animation, Programming, Integrated Curriculum, Science Education
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
