M. Antonia HuertasChange photo
    Add Contact Information
    The First International Congress on Tools for Teaching Logic took place in 2000 and the second such congress took place in 2006. The third one takes place in 2011. In the ten years that separate the first and the third congress, the... more
    The First International Congress on Tools for Teaching Logic took place in 2000 and the second such congress took place in 2006. The third one takes place in 2011. In the ten years that separate the first and the third congress, the history of the tools for teaching Logic based on the paradigm of intelligent tutoring has been evolving significantly. This article provides a brief review of this history. It also presents a comparative study of 26 such tools and proposes a classification of existing tools with a specific methodology.
    This article first discusses how information technologies are changing the way knowledge is delivered at universities worldwide. Then, the article reviews some of the most popular learning management systems available today and some of... more
    This article first discusses how information technologies are changing the way knowledge is delivered at universities worldwide. Then, the article reviews some of the most popular learning management systems available today and some of the most useful online resources in the areas of Mathematics and Statistics. After that, some long-term experiences regarding the teaching of online courses in those areas at the Open University of Catalonia are discussed. Finally, the article presents the results of a large-scale survey performed in Spain that aims to reflect instructors’ opinions and feelings about potential benefits and challenges of teaching mathematics online, as well as the role of emergent technologies in the context of the European Area of Higher Education. Therefore, this article contributes to the existing literature as an additional reference point, one based on our long-term experience in a large-scale online environment, for discussions involving mathematical e-learning.
    The SELL project described here is the design and development of a tool for assisting the learning of Logic in the context of a wholly online CS degree using a web-based learning environment. This tool should provide guidance, interactive... more
    The SELL project described here is the design and development of a tool for assisting the learning of Logic in the context of a wholly online CS degree using a web-based learning environment. This tool should provide guidance, interactive feedback, and continuous assessment for Logic course students, covering major topics in an introductory course (natural deduction, resolution and semantics in propositional and predicate logic). The process of the design, implementation, use and development of the resulting tool, coined Logic E-learning Assistant, is presented.
    Research Interests:
    Upload File
    Research Interests:

    Join M. Antonia and 21,197,440 other researchers on Academia.edu

    not now
    38 31 39 34 35 30 33 32 36 40
    Academia © 2015