Go to main content
Go
Navigation menu
Language
Valencià
Español
English
Home
Contact
Help
Sign on to:
My RUA
Receive email updates
Edit Profile
Go
Advanced
Teaching
Institutional
Research
Journals and Proceedings
RUA
Search
Search:
All of RUA
Teaching
GITE
INFMAT
GITE - INFMAT - Ejercicios / Prácticas / Exámenes
GITE - INFMAT - Manuales / Temas
GITE - INFMAT - Presentaciones
GITE - INFMAT - Proyectos / Trabajos
GITE - INFMAT - Recursos Educativos
for
Current filters:
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 15.
previous
page
1
2
next
page
Item hits:
Items
Access
Preview
Issue Date
Title
Author(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
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é
8-Feb-2011
Introducción al SPSS
Migallón, Violeta
Discover
Author
12
Castel de Haro, María Jesús
6
Villagrá-Arnedo, Carlos-José
2
Arques Corrales, Pilar
2
Aznar Gregori, Fidel
2
Compañ, Patricia
.
Author -
next >
Subject
3
Contraejemplo
3
Evaluación
2
Examen
2
Lógica computacional
2
Lógica de primer orden
.
Subject -
next >
Date issued
9
2011
3
2010
3
2009
Document type
10
Learning object
3
Conference object
1
Presentation
1
Video
Language
15
Spanish