This article aims at discussing the importance of grammatical studies from 1970´s until decade 2010 through texts published by emeritus Professor Dr. Evanildo Bechara, prominent philologist, grammarian and linguist. Our focus will be on last few years 1970s, with publication book “Ensino de Gramática. Oppression? Liberdade?” (“The Teaching Grammar: Liberty?”), in which he stated an intriguing r...

Grammar is an essential part of English teaching in senior high schools. Based on constructivist theory, the author observes eight grammar classes which are selected from high-quality competition Nanning No.15 Middle School, aiming at answering following questions through classroom observation: (1) What major models teachers use school ? (2) activities do adopt school’s teaching? After collecti...

This paper presents a multimedia intelligent tutoring system that teaches context-free grammar. The tutor model of this ITS is composed of a set of teaching strategies and an algorithm that determines which teaching action to be deployed given the goals of the system and the current state of the student model. The student model uses the Constraint-Based Modeling (CBM) approach in diagnosing the...

WinKE is an interactive proof assistant based on the KE calculus, a refutation system which combines features from Smullyan’s analytic tableaux and Gentzen’s natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brie‡y introduce the proof system KE and give an overview of the main features of the software tool.