1. RUA

Buscar


Filtros actuales:
Comenzar una nueva búsqueda

Añadir filtros:

Utilice filtros para refinar los resultados de la búsqueda.

 | 
Resultados 1-10 de 12.
Hits de ítem:
Items
AccesoVista previaFecha de publicaciónTítuloAutor/es
Acceso abiertoEj+Sol-EstudioRazLog_(M1-GII_1112).pdf.jpg20-oct-2011Matemáticas 1. Ejercicios resueltos para Tema 3: Interpretación de razonamientos con tablas de verdad y contraejemploCastel de Haro, María Jesús
Acceso abiertoEjercicios-LenguajeLog_(M1_11-12).pdf.jpg3-oct-2011Ejercicios propuestos para la formalización de sentencias con el lenguaje de la lógica de primer ordenCastel de Haro, María Jesús
Acceso abiertoAp-T2-LLpo_(M1-GII_11'12).pdf.jpg17-sep-2011Matemáticas 1. Apuntes Tema 2: el lenguaje de la lógica de primer orden y la teoría de conjuntosCastel de Haro, María Jesús
Acceso abiertoApuntes_T1_(M1-GII_11'12).pdf.jpg17-sep-2011Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer ordenCastel de Haro, María Jesús
Acceso abiertoAlu-T2-LLpo_(M1-GII_11'12).pdf.jpg19-sep-2011Matemáticas 1. Transparencias Tema 2: el lenguaje de la lógica de primer orden y la teoría de conjuntosCastel de Haro, María Jesús
Acceso abiertoEj_sin_sol_T3-FC+Resoluc_(M1-GIM_1112).pdf.jpg27-oct-2011Matemáticas 1. Ejercicios sin Solución del Tema 3: Forma Clausal y Regla de ResoluciónCastel de Haro, María Jesús
Acceso abiertoEj_sin_sol_T3-TV+Contrej_(M1-GIM_1112).pdf.jpg27-oct-2011Matemáticas 1. Ejercicios sin Solución del Tema 3: Tablas V y ContraejemploCastel de Haro, María Jesús
Acceso abiertoEnunciado_Examen_Jul09_LC0809.pdf.jpg26-oct-2010Enunciado 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é
Acceso abiertoEnunciado_Examen_Feb09_LC0809.pdf.jpg26-oct-2010Enunciado 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é
Acceso abiertoArticulo_JENUI09_definitiva.pdf.jpgjul-2009Evaluació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