Profesores

Alberto Fernández Ros

Situación

Prerrequisitos

No se necesita ningún conocimiento matemático para cursar la
asignatura.

Contexto dentro de la titulación

Optativa que puede cursarse en cualquier año de la titulación. El
programa
está pensado para que el alumno adquiera hábitos de "razonamiento" a
través de
la lógica matemática. Su utilidad en la titulación es amplia,
transversal y
los conceptos que en la asignatura se estudian son de total aplicación
en
cualquier materia.

Recomendaciones

ASIGNATURA OFERTADA SIN DOCENCIA

Competencias

Competencias transversales/genéricas

- Organizar y planificar las tareas que se le propongan.
- Analizar y sintetizar la información recibida del profesor o
recabada en
la bibliografía propuesta.
- Comunicarse de forma oral y escrita con corrección y claridad.
- Resolver problemas de forma razonada.
- Trabajar en equipo.
- Aprender por si mismo mediante el análisis y estudio de apuntes y
bibliografía.
- Abstraer las ideas pasando del caso particular al general.

Competencias específicas

• Cognitivas(Saber):

  - Aprender los conceptos básicos de Lógica Matemática.
  - Tener destreza en el manejo de proposiciones.
  - Entender y manejar el lenguaje de las matemáticas.
  - Explicar adecuadamente los conceptos teóricos aprendidos.
  - Adquirir la destreza necesaria para la resolución de los
  ejercicios propuestos.
  - Aplicar los conocimientos adquiridos a otras materias de la
  titulación.

• Procedimentales/Instrumentales(Saber hacer):

  - Gestionar con eficacia la información.
  - Resolver problemas aplicando las técnicas aprendidas.
  - Planificar, organizar y proponer estrategias.
  - Decidir el idóneo entre varios caminos de resolución.

• Actitudinales:

  - Tener interés en ampliar los conocimientos adquiridos.
  - Tener actitud responsable y crítica.
  - Valorar el aprendizaje autónomo así como el trabajo en equipo.
  - Respetar y valorar las opiniones ajenas.
  - Reconocer y corregir los errores.

Objetivos

- Conocer los conceptos básicos de Lógica Matemática.
- Utilizar con fluidez y correción el lenguaje matemático.
- Adquirir las herramientas y destrezas necesarias para resolver, de forma
razonada, los problemas planteados.
- Decidir el camino más razonable para la resolución de un problema.
- Interpretar las soluciones y desechar las que sean incongruentes con el
ejercicio propuesto.
- Saber buscar información sobre los conceptos propuestos y entenderla.
- Saber el grado de relación que un concepto concreto tiene con la materia.
- Razonar cualquier cuestión que se estudie o problema que se plantee.

Programa

Lógica de Proposiciones.
Proposiciones y tablas de verdad.
Conexión entre proposiciones.
Implicación lógica.
Equivalencia lógica.

Lógica de Predicados.
Definiciones.
Cuantificadores.
Cálculo de predicados.

Razonamientos y Demostraciones.
Razonamientos.
Inferencia.
Demostraciones.
Razonamientos y cuantificadores.
Métodos de demostración.

Otras Lógicas.
Lógicas modales.
Lógica de predicados con identidad.
Lógica de las clases.
Lógica de las relaciones.
Lógica de predicados de segundo orden.
Lógicas polivalentes.

Lógica Difusa.
Generalidades.
Conjuntos difusos.
Lógica tradicional y lógica difusa.
Sentencias Difusas.
Reglas básicas de inferencia.

Actividades

ASIGNATURA OFERTADA SIN DOCENCIA

Metodología

ASIGNATURA OFERTADA SIN DOCENCIA

Distribución de horas de trabajo del alumno

Nº de Horas (indicar total): 112,5

• Clases Teóricas: 24  
• Clases Prácticas: 24  
• Exposiciones y Seminarios:  
• Tutorías Especializadas (presenciales o virtuales):
  • Colectivas: 3  
  • Individules:  
• Realización de Actividades Académicas Dirigidas:
  • Con presencia del profesor: 4  
  • Sin presencia del profesor: 37,5  
• Otro Trabajo Personal Autónomo:
  • Horas de estudio: 17  
  • Preparación de Trabajo Personal:  
  • ...
     
• Realización de Exámenes:
  • Examen escrito: 3  
  • Exámenes orales (control del Trabajo Personal):  

Criterios y Sistemas de Evaluación

Se realizará un examen final que tendrá una duración aproximada de 3 horas
y constará de ejercicios en los que se mezclarán cuestiones teóricas con
la resolución de problemas relacionados con la mismas.
Se evaluará tanto la capacidad del alumno para resolver problemas ya
conocidos, como para abordar situaciones nuevas.

En la calificación de cada uno de los ejercicios se valorará, además del
resultado, el que:

-desarrolle o no los ejercicios de forma clara y con orden, detallando
los pasos que va dando.
-Demuestre o no que tiene idea de la mayoría de las técnicas y conceptos
involucrados en el examen.
-Razone o no de forma correcta.
-Cometa o no errores de concepto.

Recursos Bibliográficos

Fundamentos de Lógica Matemática.
J. Aranda, J. L. Fernández, J. Jiménez y F. Morilla.
Editorial Sanz y Torres.

Matemáticas Discreta y Combinatoria.
Ralph P. Grimaldi.
Addison-Wesley Iberoamericana.

Introducción a la Lógica Borrosa.
E. Trillas, C. Alsina y J. M. Terricabras.
Ariel Matemática