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…

Most of us recall with pain the unpleasant experiences associated with the teacher's announcement that we would once again initiate a unit of learning designed to both widen and deepen our knowledge of the words of our language. This was said to establish the foundation for all of our future academic pursuits. A strong vocabulary was said to be a…

The goal of this article is to preserve and distribute the information presented at the LASI (2014) workshop on Coh-Metrix, a theoretically grounded, computational linguistics facility that analyzes texts on multiple levels of language and discourse. The workshop focused on the utility of Coh-Metrix in discourse theory and educational practice. We…

In this "First Person Singular" essay, the author describes her education, teaching experience, and interest in understanding the learning of language. Anyone reading this essay will not be surprised to learn that the author's questions about language learning and optimal teaching methods were only met with further questions, and no…

This article focuses on defining academic language in physical education and provides a step-by-step approach designed to help preservice and inservice teachers understand and incorporated academic language into their lesson planning. It provides examples of discipline-specific vocabulary, language functions, syntax, and discourse, aiming to…

This column explains three ways that teachers can improve reading test performance. Basically, the idea is that instead of teaching students to respond to particular question types as is typical of test preparation despite the ineffectiveness of this practice, it is better to teach students to read the test passages more effectively. Three…

Although the Greek roots of the word pedagogy refer to teaching children, until the second half of the 20th century it was applied to any teaching-learning transaction regardless of the age of the learner. Some educators still use pedagogy in this generic way. A neologism is a newly coined word or phrase that is just emerging into mainstream use,…

In this paper different type of mathematical explanations are presented in relation to the mathematical problem of probabilities Monty Hall (card version) and the computational tool Latent Semantic Analyses (LSA) is used. At the moment the results in the literature about this computational tool to study texts show that this technique is…

John Brekke challenges the field and profession of social work to define and develop the "science of social work". This response to Brekke's paper identifies the premises undergirding a discussion of the science of social work related to (1) a definition of "science";; (2 ) an organizing principle for social work; (3) a…

How can parents and teachers foster individual abilities and facilitate foundational supports so children will flourish? There is no fast or flawless formula. However, readers can use these F words to flesh out, fill in, fine-tune, or formulate a particular framework of factors they might want to think about in relation to supporting and…

Basic courses on logic are common in most computer science curricula. Students often have difficulties in handling formalisms and getting familiar with them. Educational software helps to motivate and improve the teaching-learning processes. Therefore, incorporating these kinds of tools becomes important, because they contribute to gaining…

The Semantic Web enables increased collaboration among computers and people by organizing unstructured data on the World Wide Web. Rather than a separate body, the Semantic Web is a functional extension of the current Web made possible by defining relationships among websites and other online content. When explicitly defined, these relationships…

Language attrition research has developed in several clearly delimited phases spanning, roughly, each of the three decades between 1982 and 2012 (see Kopke & Schmid 2004 for a more detailed overview and analysis). The first phase was an era of stocktaking, with a number of symposia, collected volumes and special issues of journals. All of…

Emphasis on universal learning activities of each student rather than acquisition of ready knowledge, as well as on how an individual masters a language necessitate the development and application of innovative technologies promoting functional-semantic and textual approaches. In the modern context, Russian language teachers, along with knowledge…

Learning a foreign language is a critical skill in the current context of globalization and multicultural communication. Present secondary and post-secondary foreign language classes admit increasing numbers of students with learning disabilities (LD). Given the particular challenges faced by these students in the area of language processing,…