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
Buscar:
Todo RUA
Docencia
Grupos de Innovación Tecnológico-Educativa (GITE)
INFMAT
GITE - INFMAT - Ejercicios / Prácticas / Exámenes
GITE - INFMAT - Manuales / Temas
GITE - INFMAT - Presentaciones
GITE - INFMAT - Proyectos / Trabajos
GITE - INFMAT - Recursos Educativos
por
Filtros actuales:
Título
Autor
Palabras clave
Fecha de publicación
Tipo de documento
Idioma
Centro, unidad o servicio
Equivale
Contiene
ID
No equivale
No contiene
No ID
Título
Autor
Palabras clave
Fecha de publicación
Tipo de documento
Idioma
Centro, unidad o servicio
Equivale
Contiene
ID
No equivale
No contiene
No ID
Comenzar una nueva búsqueda
Añadir filtros:
Utilice filtros para refinar los resultados de la búsqueda.
Título
Autor
Palabras clave
Fecha de publicación
Tipo de documento
Idioma
Centro, unidad o servicio
Equivale
Contiene
ID
No equivale
No contiene
No ID
Resultados 1-10 de 12.
Anterior
página
1
2
Siguiente
página
Hits de ítem:
Items
Acceso
Vista previa
Fecha de publicación
Título
Autor/es
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
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
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
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
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
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
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é
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é
jul-2009
Evaluación en tiempo real (comunicación)
Castel de Haro, María Jesús
;
Gallego-Durán, Francisco J.
;
Pomares Puig, Cristina
;
Suau Pérez, Pablo
;
Villagrá-Arnedo, Carlos-José
;
Cortés Vaíllo, Santiago
Descubre
Autor
4
Villagrá-Arnedo, Carlos-José
2
Cortés Vaíllo, Santiago
2
Gallego-Durán, Francisco J.
2
Pomares Puig, Cristina
2
Suau Pérez, Pablo
.
Autor -
siguiente >
Palabras Clave
3
Contraejemplo
2
Evaluación
2
Examen
2
Lógica computacional
2
Lógica de primer orden
.
Palabras Clave -
siguiente >
Fecha de publicación
8
2011
2
2010
2
2009
Tipo de documento
10
Objeto de aprendizaje
1
Comunicación a congreso, Póster, ...
1
Presentación
Idioma
12
Español