Profesorado

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

- Atención y toma de apuntes de cada una de las sesiones teóricas o
prácticas.
- Consultar la bibliografía propuesta y completar, cuando sea
necesario, los
apuntes de clase.
- Repasar los ejercicios resueltos en clase y aplicar las estrategias
aprendidas en la resolución de los ejercicios propuestos.
- Poner especial cuidado en el razonamiento y la argumentación de
cualquier
cuestión teórica o práctica.

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.

Metodología

La asignatura se estructura en cuatro horas semanales a lo largo del
segundo
cuatrimestre. Durante las clases el profesor irá desarrollando los
conceptos
propios de la asignatura, actividad que se complementará con la resolución
de
ejercicios por parte de los alumnos.

Distribución de horas de trabajo del alumno/a

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 profesorado: 4  
  • Sin presencia del profesorado: 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):  

Técnicas Docentes

Criterios y Sistemas de Evaluación

El alumno deberá resolver cuestiones en casa y en clase. Los ejercicios
resueltos en casa supondrán un 30% de la nota y los resueltos en clase el
70% restante. De esta forma se obtendrá una nota de cada una de las tres
partes en que está dividida la asignatura.

Aprobará por curso el alumno que obtenga una nota mayor o igual a 5 en
cada una de las tres partes y su nota final será la media de las tres. El
alumno podrá asistir al examen final para mejorar su nota en aquella(s)
parte(s) de la asignatura que considere oportuno, la nota final seguirá
siendo la media de las notas obtenidas en cada una de ellas.

El examen final 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