Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability | Zendy

Patrick Terrematte | Zendy; João Marcos | Zendy

Open Access

Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability

Author(s) -

Patrick Terrematte,

João Marcos

Publication year - 2013

Publication title -

anais do ... simpósio brasileiro de informática na educação/anais do simpósio brasileiro de informática na educação

Language(s) - English

Resource type - Conference proceedings

eISSN - 2316-6533

pISSN - 2176-4301

DOI - 10.5753/cbie.sbie.2013.967

Subject(s) - interoperability , mathematical proof , computer science , programming language , software engineering , world wide web , mathematics , geometry

The present study proposes an interactive tutorial, namely the TRY - LOGIC, aimed at teaching to solve logical conjectures either by proofs or refu- tations. The study also aims at: describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally evaluating the tool.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research