yet.anotherTruth.Tree.Tool: una herramienta didáctica sobre árboles de refutación
Con el objetivo de lograr una herramienta didáctica para la enseñanza de conceptos relacionados con la Lógica de Predicados de Primer Orden se desarrolló yaT3 (yet Another Truth Tree Tool). Esta herramienta presenta una interfaz gráfica sencilla de utilizar, simple e intuitiva que provee el soporte...
Guardado en:
| Autores principales: | Ruau, Kevin, Tosini, Juan Martín |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/59899 http://44jaiio.sadio.org.ar/sites/default/files/est63-71.pdf |
| Aporte de: |
Ejemplares similares
-
Specification of abstract data types /
por: Loeckx, Jacques, 1931-
Publicado: (1996) -
Abstract data types in Java /
por: Jenkins, Michael S.
Publicado: (1998) -
Specification of abstract data types
por: Loeckx, Jacques
Publicado: (1996) -
Práctica 6 : Tipos Abstractos de Datos (TAD) (continuación)
por: González, Alejandro Héctor
Publicado: (2012) -
Práctica 5 : Tipos Abstractos de Datos (TAD)
por: González, Alejandro Héctor
Publicado: (2012)