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…

We are moving toward a future in which digital practices are becoming more ubiquitous. Also, there is evidence to suggest that innovative digital practices are changing the face of 21st-century learning environments. Critical to 21st-century teaching and learning success is continued emphasis on learner preferences, shaped by innovative digital…

E-assessments of students profoundly influence their motivation and play a key role in the educational process. Adapting assessment techniques to current technological advancements allows for effective pedagogical practices, learning processes, and student engagement. The "Handbook of Research on E-Assessment in Higher Education"…

Null distributions of permutation tests for two-sample, paired, and block designs are simulated using the R statistical programming language. For each design and type of data, permutation tests are compared with standard normal-theory and nonparametric tests. These examples (often using real data) provide for classroom discussion use of metrics…

The education industry has obviously been influenced by the Internet revolution. Teaching and learning methods have changed significantly since the coming of the Web and it is very likely they will keep evolving many years to come thanks to it. A good example of this changing reality is the spectacular development of e-Learning. In a more…

Asserts that involving students in learning a small amount of programming language can enable them to learn the important concepts of electronic information systems. Describes a three-week unit in which arts and humanities undergraduate students use the authoring language, PILOT. (CFR)

Outlines reasons why computer programming should be taught to geographers. These include experience using macro (scripting) languages and sophisticated visualization software, and developing a deeper understanding of general hardware and software capabilities. Discusses the distinct advantages and few disadvantages of the programming language…

In the current teaching activities on curriculum, teachers taught all kinds of computer language at the most of the time. Students also focus on a variety of examinations, but the real time to train students' independent software developing skill is very limited. This has resulted in the students only to copy other people's systems design ideas,…

Teaching family communication is unique. However, unlike courses in small group and interpersonal communication, which illustrates communication processes in experiential settings, family communication courses cannot create "families" in the classroom. As such, film and television depictions of the family become all the more important in their…

Media education is expanding, both as a subject in its own right, and as a cross-curricular theme. Based on detailed classroom research, this book identifies the rewards and achievements, as well as the difficulties and contradictions, of teaching about the media in Great Britain. Four major themes emerge: the process of teaching and learning; the…

Describes the Text Encoding Initiative (TEI) guidelines' approach to describing hypertext features. Discusses the rationale behind the design of the tagset and the range of features included in the guidelines. Discusses the relation and integration of TEI mark-up and the HyTime standard. (CFR)

Asserts that a new generation of software authoring applications has led to improvements in the development of economics education software. Describes new software development applications and discusses how to use them. Concludes that object-oriented programming helps economists develop their own courseware. (CFR)

These classroom guides, designed to accompany the daily CNN (Cable News Network) Newsroom broadcasts for the month of October, provide program rundowns, suggestions for class activities and discussion, student handouts, and a list of related news terms. Topics covered by the guides include: bedroom community business, freedom of expression and…

This book provides a guide to college faculty with limited Internet experience on how to incorporate the World Wide Web (WWW) into college curriculum and instruction. The book begins with an informal history of computing and a guide to the geography of the Internet, and goes on to provide an analytical framework for thinking about networks,…

Describes use of the little-known Shuttle Puzzle in computer programming to elucidate the process of analyzing a problem and synthesizing observations into an algorithm that can be used to generate a programming solution. The process used to solve the problem reflects one that an expert uses. The method could be adapted for small-group cooperative…