NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 6 results Save | Export
A Study on the Difficulties of Learning Phase Transition in Object-Oriented Analysis and Design from the Viewpoint of Semantic Distance
Peer reviewed Peer reviewed
Direct linkDirect link
Shin, Shin-Shing – IEEE Transactions on Education, 2015
Students in object-oriented analysis and design (OOAD) courses typically encounter difficulties transitioning from object-oriented analysis (OOA) to logical design (OOLD). This study conducted an empirical experiment to examine these learning difficulties by evaluating differences between OOA-to-OOLD and OOLD-to-object-oriented-physical-design…
Descriptors: Computer Science Education, Design, Semantics, Learning Processes
Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS
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
Analyzing the Micro Coherence in English Writing and Implications for the Teaching of English Writing
PDF on ERIC Download full text
Sui, Dan-ni; Chen, Zheng – Online Submission, 2010
Based on LSA's (Latent Semantic Analysis) measuring textual coherence and Halliday and Hasan's cohesive concepts and their categorization of cohesive devices, this paper analyzes coherent relatedness and cohesive devices of 100 Chinese students' English writings. The results indicate that (1) LSA is proved to be an objective and appropriate method…
Descriptors: English (Second Language), Writing (Composition), Rhetoric, Semantics
Doctoral Students' Use of Examples in Evaluating and Proving Conjectures
Peer reviewed Peer reviewed
Direct linkDirect link
Alcock, Lara; Inglis, Matthew – Educational Studies in Mathematics, 2008
This paper discusses variation in reasoning strategies among expert mathematicians, with a particular focus on the degree to which they use examples to reason about general conjectures. We first discuss literature on the use of examples in understanding and reasoning about abstract mathematics, relating this to a conceptualisation of syntactic and…
Descriptors: Semantics, Number Concepts, Mathematics Instruction, Abstract Reasoning
Methods and Applications for Advancing Distance Education Technologies: International Issues and Solutions
Direct linkDirect link
Syed, Mahbubur Rahman, Ed. – IGI Publishing, 2009
The emerging field of advanced distance education delivers academic courses across time and distance, allowing educators and students to participate in a convenient learning method. "Methods and Applications for Advancing Distance Education Technologies: International Issues and Solutions" demonstrates communication technologies, intelligent…
Descriptors: Learning Problems, Courses, Handwriting, Distance Education
Favorite Activities for the Teaching of Psychology
Direct linkDirect link
Benjamin, Ludy T., Jr., Ed. – APA Books, 2008
The most popular activities from APA's successful "Activities Handbooks for the Teaching of Psychology" are gathered together and updated in this book of teachers' favorites. The lesson plans, which encourage active learning and involve the whole class, have stood the test of time and proven themselves to be entertaining, effective, and easy to…
Descriptors: Psychology, Teaching Methods, Learning Activities, Lesson Plans