Publication Date
In 2025 | 0 |
Since 2024 | 0 |
Since 2021 (last 5 years) | 1 |
Since 2016 (last 10 years) | 2 |
Since 2006 (last 20 years) | 5 |
Descriptor
Source
ProQuest LLC | 5 |
Author
Basawapatna, Ashok Ram | 1 |
Dinesh, Nikhil | 1 |
Jose Antonio Lecea Yanguas | 1 |
Peng, Yefei | 1 |
Therese Mary Smith | 1 |
Publication Type
Dissertations/Theses -… | 5 |
Education Level
Junior High Schools | 2 |
Middle Schools | 2 |
Secondary Education | 2 |
Elementary Education | 1 |
Grade 6 | 1 |
Grade 7 | 1 |
Intermediate Grades | 1 |
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Jose Antonio Lecea Yanguas – ProQuest LLC, 2022
This dissertation presents the first Systemic Functional Linguistics-based analysis of the teaching/learning of computational thinking through computer programming and comprehensive analysis of discourse of a whole computer programming course at any educational level. The current educational research raises questions about the nature of authentic…
Descriptors: Middle School Students, Logical Thinking, Thinking Skills, Communication (Thought Transfer)
Therese Mary Smith – ProQuest LLC, 2016
Guided by constructivism, which posits that students assimilate new knowledge into what has made sense to them previously, we researched student conceptualizations of proof. We used the qualitative research methods of thematic analysis and phenomenography to learn and categorize student conceptualizations of proof, and of mathematization more…
Descriptors: Computer Science Education, Mathematical Logic, Logical Thinking, Mathematics Education
Basawapatna, Ashok Ram – ProQuest LLC, 2012
Computational thinking aims to outline fundamental skills from computer science that everyone should learn. As currently defined, with help from the National Science Foundation (NSF), these skills include problem formulation, logically organizing data, automating solutions through algorithmic thinking, and representing data through abstraction.…
Descriptors: Computer Science Education, Computation, Thinking Skills, Logical Thinking
Peng, Yefei – ProQuest LLC, 2010
An ontology mapping neural network (OMNN) is proposed in order to learn and infer correspondences among ontologies. It extends the Identical Elements Neural Network (IENN)'s ability to represent and map complex relationships. The learning dynamics of simultaneous (interlaced) training of similar tasks interact at the shared connections of the…
Descriptors: Training Methods, Genealogy, Logical Thinking, Cognitive Processes
Dinesh, Nikhil – ProQuest LLC, 2010
We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation is translated to a logic, from which we synthesize monitors. The monitors are evaluated as the state of an organization evolves over time, raising an alarm if a violation is…
Descriptors: Organizations (Groups), Compliance (Legal), Governance, Legislation