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, 11 de octubre | Aula 210 | 17: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, 18 de octubre | Aula 210 | 17: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. | ||
| jueves, 25 de octubre | Aula 210 | 17: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. | ||
| Noviembre | |||||
| martes, 6 de noviembre | Aula 210 | 17:00 | Métodos de evaluación semántica tablas de verdad y árboles semánticos. | ||
| martes, 13 de noviembre | Aula 210 | 17:00 | Métodos de evaluación semántica. Árboles semánticos. | ||
| lunes, 19 de noviembre | Aula 210 | 17:00 | Métodos de evaluación semánticos. (Árboles semánticos). | ||
| lunes, 26 de noviembre | Aula 210 | 17:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| Diciembre | |||||
| lunes, 10 de diciembre | Aula 210 | 17:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| lunes, 10 de diciembre | Aula 210 | 18:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| lunes, 17 de diciembre | Aula 210 | 17:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| Enero | |||||
| lunes, 14 de enero | Aula 210 | 17:00 | Métodos de evaluación sintáctica. Deducción Natural. Reglas básicas y derivadas. | ||
| lunes, 21 de enero | Aula 210 | 17:00 | Conceptos básicos del cálculo axiomático: axiomas, teoremas y reglas de transformación. | ||