asignaturas — Universidad de Cádiz

Fichas de asignaturas 2008-09

	CÓDIGO	NOMBRE
Asignatura	1711051	LÓGICA MATEMÁTICA
Descriptor		MATHEMATIC LOGIC
Titulación	1711	INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS
Departamento	C101	MATEMATICAS
Curso
Duración (A: Anual, 1Q/2Q)	2Q
Créditos ECTS	4,5

Créditos Teóricos

Créditos Prácticos

2,5

Tipo

Optativa

Para el curso

2007-08:

Créditos superados frente a presentados

83.3%

Créditos superados frente a matriculados

66.7%

Profesorado

Francisco José González Gutiérrez, 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: 21
Clases Prácticas: 21
Exposiciones y Seminarios:
Tutorías Especializadas (presenciales o virtuales):
- Colectivas:
- Individules:
Realización de Actividades Académicas Dirigidas:
- Con presencia del profesorado: 13
- Sin presencia del profesorado: 28
Otro Trabajo Personal Autónomo:
- Horas de estudio: 25,5
- Preparación de Trabajo Personal:
- ...
Realización de Exámenes:
- Examen escrito: 4
- Exámenes orales (control del Trabajo Personal):

Criterios y Sistemas de Evaluación

La evaluación de la asignatura se hará en base a una prueba escrita en la fecha
y hora que determine la Dirección de la Escuela Superior de Ingeniería. La
materia a evaluar será, siempre, la que se imparta durante el curso académico.

La prueba tendrá una duración aproximada de tres horas y constará de cuatro
ejercicios en los que se mezclarán cuestiones teóricas con la resolución de
problemas relacionados con las 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

Cronograma

Pulse aquí si desea visionar el fichero referente al cronograma sobre el número de horas de los estudiantes.

El presente documento es propiedad de la Universidad de Cádiz y forma parte de su Sistema de Gestión de Calidad Docente.