Ir al contenido principal
Buscar
Menú de navegación
Idiomas
Valencià
Español
English
Inicio
Contacto
Ayuda
Registrarse para:
Mi RUA
Recibir actualizaciones por correo
Editar perfil
Buscar
Avanzada
Docencia
Institucional
Investigación
Revistas y Congresos
RUA
Buscar por Autor Castel de Haro, María Jesús
Ir a:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
o introduzca las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envio
En orden:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registro:
Todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 2 a 18 de 18
< anterior
Items
Acceso
Vista previa
Fecha de publicación
Título
Autor/es
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