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 9 a 18 de 18
< anterior
Items
Acceso
Vista previa
Fecha de publicación
Título
Autor/es
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