Listar por tema "Equations"

Repositorio Digital

Mostrando ítems 1-2 de 2

Ambiente visual para el aprendizaje de las ecuaciones

Barrera Heredia, Duvan Andrey; Gómez Ramirez, Juan Felipe (Ingeniería de Sistemas, 2017)

The following article presents the graduation project, called "Visual environment for the learning of the equations", where from an analysis of the materials used for the teaching of the equations, difficulties were evidenced ...
Automatic proof-search heuristics in the Maude invariant analyzer tool

Rocha, Camilo (Switzerland, 2013)

The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ...

Envíos recientes

Ambiente visual para el aprendizaje de las ecuaciones
...
Barrera Heredia, Duvan Andrey | 2017

The following article presents the graduation project, called "Visual environment for the learning of the equations", where from an analysis of the materials used for the teaching of the equations, difficulties were evidenced that they influence in the understanding of the students. Under the foregoing context, an interactive visual environment was designed and constructed that exposes the basic concepts of the first and second degree equations, facilitating teaching in a playful and dynamic way, which is reflected in a set of applications in Wolfram Mathematica.

LEER
Automatic proof-search heuristics in the Maude invariant analyzer tool
...
Rocha, Camilo | 2013

The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This paper presents the automatic proof-search heuristics at the core of the Maude Invariant Analyzer Tool, which provide a substantial degree of automation and can automatically discharge many proof obligations without user intervention. These heuristics can take advantage of equationally defined equality predicates and include rewriting, narrowing, and SMT-based proof-search techniques.

LEER