In this paper we study epistemological transitions across an intended engineering curriculum and recommend strategies to assist students in attaining the increasingly complex concepts and insights that are necessary for transition to advanced levels of study. We draw on Legitimation Code Theory [Maton, Karl. 2014, "Knowledge and Knowers:…

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…

Presents a writing assignment from a class in general semantics in which students write about a personal application of general semantics. Presents a paper submitted by one student. (SR)

BASIC programing was taught to 95 undergraduates from a manual emphasizing the language's syntax or from a manual that included additional material on the underlying semantics. Both approaches produced equivalent learning of syntactic features of BASIC; however, semantically trained students developed fewer misconceptions and performed better on…

An experimental context designed to directly affect discourse processing by inducing subjects to generate inferences involving text content was compared to a context in which subjects simply listened to and recalled the content of a text. Context did effect the amount of inferred and overgeneralized semantic information in subjects' text recalls.…

Intended for language learning disabled college students and their tutors, the booklet examines the use of words as aids in understanding an author's meaning. Suggestions are offered to help students adopt a more comfortable and effective reading style. The first section examines ways to decipher authors' context cues for information. Eight…

Computer-naive university students (N=124) were taught the BASIC programing language by solving and receiving feedback on program comprehension problems stated in BASIC or on corresponding problems stated in English followed by problems stated in BASIC. Results support a sequential method of instruction beginning with use of natural language…

Developmental patterns in the solution of verbal analogies, especially the recognition of higher-order analogical relations, were traced. The investigation sought to: (1) provide new developmental tests of a componential theory of analogical reasoning; (2) identify strategy changes during the transition from midchildhood (grade 3) to adulthood…

The diagnostic discourse of medical students and physicians in thinking-aloud protocols on paper cases was analyzed for evidence of semantic structure. Results show that structural semantics can be used to distinguish various levels of mental processing among novices as well as between novices and professionals. (MSE)

The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…