Items
Acceso | Vista previa | Fecha de publicación | Título | Autor/es |
| | 2016 | Coordinación y análisis del primer curso del grado en Ingeniera Multimedia | Esclapés, Javier; Garrido Alenda, Alicia; Puente Méndez, Santiago T., et al |
| | 2009 | e-VALUACIÓN en tiempo real | Castel de Haro, María Jesús; Gallego-Durán, Francisco J.; Pomares Puig, Cristina, et al |
| | 3-oct-2011 | Ejercicios propuestos para la formalización de sentencias con el lenguaje de la lógica de primer orden | Castel de Haro, María Jesús |
| | 26-oct-2010 | Enunciado y soluciones del examen de Febrero del curso 2008/09 de la asignatura "Lógica Computacional" | Castel de Haro, María Jesús; Villagrá-Arnedo, Carlos-José |
| | 26-oct-2010 | Enunciado y soluciones del examen de Julio del curso 2008/09 de la asignatura "Lógica Computacional" | Castel de Haro, María Jesús; Villagrá-Arnedo, Carlos-José |
| | 2015 | Estudio y planificación de contenidos, materiales y metodologías docentes según el EEES: 1er curso de ingeniería multimedia | Esclapés, Javier; Garrido Alenda, Alicia; Puente Méndez, Santiago T., et al |
| | jul-2009 | Evaluación en tiempo real (comunicación) | Castel de Haro, María Jesús; Gallego-Durán, Francisco J.; Pomares Puig, Cristina, et al |
| | jul-2009 | Evaluación en tiempo real (presentación) | Castel de Haro, María Jesús; Gallego-Durán, Francisco J.; Pomares Puig, Cristina, et al |
| | 2001 | Los Juegos como Herramienta Docente. Formalización de Juegos Lógicos en Prolog | Llorens Largo, Faraón; Castel de Haro, María Jesús; Mora Lizán, Francisco José, et al |
| | mar-1999 | Lógica de Primer Orden | Castel de Haro, María Jesús; Llorens Largo, Faraón |
| | 17-sep-2011 | Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer orden | Castel de Haro, María Jesús |
| | 17-sep-2011 | Matemáticas 1. Apuntes Tema 2: el lenguaje de la lógica de primer orden y la teoría de conjuntos | Castel de Haro, María Jesús |
| | 9-oct-2011 | Matemáticas 1. Apuntes Tema 3: interpretación de razonamientos lógicos | Castel de Haro, María Jesús |
| | 20-oct-2011 | Matemáticas 1. Ejercicios resueltos para Tema 3: Interpretación de razonamientos con tablas de verdad y contraejemplo | Castel de Haro, María Jesús |
| | 27-oct-2011 | Matemáticas 1. Ejercicios sin Solución del Tema 3: Forma Clausal y Regla de Resolución | Castel de Haro, María Jesús |
| | 27-oct-2011 | Matemáticas 1. Ejercicios sin Solución del Tema 3: Tablas V y Contraejemplo | Castel de Haro, María Jesús |
| | 19-sep-2011 | Matemáticas 1. Transparencias Tema 2: el lenguaje de la lógica de primer orden y la teoría de conjuntos | Castel de Haro, María Jesús |
| | 2000 | Métodos iterativos paralelos para la resolución de sistemas lineales hermíticos y definidos positivos | Castel de Haro, María Jesús |