Horarios en centros asociados
En esta sección se puede consultar información sobre los horarios de cada uno de los centros asociados.
Ver todos los horarios de los estudios
Ver información del centro
Dirección del centro: Atienza, 4, Guadalajara - Guadalajara
Teléfono: 949215260
Fax: 949211426
Horario de atención al público: Lunes a Viernes de 9.30 a 13.00 y de 17.00 a 20.30
Horario de clases y tutorías: 16.00 a 22.00 horas
E-mail contacto: info@guadalajara.uned.es
Página web: www.unedguadalajara.es
Programa de Lógica I (2019-20)
Profesora: Marta Vaamonde Gamo Email: marvaamonde@guadalajara.uned.es
| Octubre | |||||
| jueves, 19 de octubre | Aula 206 | 19:00 | 1. Presentación de la asignatura. 2. verdad y validez. Lenguaje natural y lenguaje formal. Lo podéis encontrar en : "Primeros conceptos de Deaño" y el capít. 1 de "Formas Lógicas". | ||
|---|---|---|---|---|---|
| jueves, 26 de octubre | Aula 206 | 19:00 | Verdad y validez. Lenguaje natural y lenguaje formal. Lo podéis encontrar en capít. 1 de "Formas Lógicas" y "Primeros conceptos de Deaño. | ||
| Noviembre | |||||
| jueves, 2 de noviembre | Aula 206 | 19:00 | Operadores lógicos proposicionales. Reglas de formación de fórmulas. Formalización del lenguaje natural. Lo podéis encontrar en capit. 2 de "Formas lógicas" y capít. 2.1. de Deaño. | ||
| jueves, 9 de noviembre | Aula 206 | 19:00 | Métodos de evaluación semántica tablas de verdad y árboles semánticos. | ||
| jueves, 16 de noviembre | Aula 206 | 19:00 | Métodos de evaluación semántica. Árboles semánticos. | ||
| jueves, 23 de noviembre | Aula 206 | 19:00 | Métodos de evaluación semánticos. (Árboles semánticos). | ||
| Diciembre | |||||
| viernes, 1 de diciembre | Aula 209 | 18:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| jueves, 14 de diciembre | Aula 206 | 19:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| jueves, 21 de diciembre | Aula 206 | 19:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| Enero | |||||
| jueves, 11 de enero | Aula 206 | 19:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| jueves, 18 de enero | Aula 206 | 19:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| jueves, 25 de enero | Aula 206 | 19:00 | Conceptos básicos del cálculo axiomático: axiomas, teoremas y reglas de transformación. | ||
| Febrero | |||||
| jueves, 1 de febrero | Aula 206 | 19:00 | |||