Guia docente

DATOS IDENTIFICATIVOS

2024_25

Asignatura

MATEMATICA DISCRETA

Código

00709002

Enseñanza

0709 - GRADO EN INGENIERÍA INFORMÁTICA

Descriptores

Cr.totales

Tipo

Curso

Semestre

Formación básica

Primer

Primero

Idioma

Otros

Prerrequisitos

Departamento

MATEMATICAS

Responsable

SÁEZ SCHWEDT , ANDRÉS

Correo-e

asaes@unileon.es
darim@unileon.es

Profesores/as

ARIAS MOSQUERA , DANIEL

SÁEZ SCHWEDT , ANDRÉS

Web

http://

Descripción general

En esta asignatura se presenta un recorrido inicial, básico y fundamental a través de la Lógica, Teoría de Conjuntos, Conteo y Combinatoria, Relaciones, Retículos, Álgebras de Boole y puertas y circuitos lógicos, y finalmente los lenguajes y gramáticas formales como fundamentos de la computación teórica.

Tribunales de Revisión

Tribunal titular
Cargo	Departamento	Profesor
Presidente	MATEMATICAS	GRANJA BARON , ANGEL
Secretario	MATEMATICAS	LOPEZ CABECEIRA , MONTSERRAT
Vocal	MATEMATICAS	PISABARRO MANTECA , MARIA JESUS

Tribunal suplente
Cargo	Departamento	Profesor
Presidente	MATEMATICAS	TROBAJO DE LAS MATAS , MARIA TERESA
Secretario	MATEMATICAS	MAZCUñAN NAVARRO , EVA MARIA
Vocal		QUIROS CARRETERO , ALICIA

Competencias

Código
A18117	709CE3 Capacidad para comprender y dominar los conceptos básicos de matemática discreta, lógica, algorítmica y complejidad computacional, y su aplicación para la resolución de problemas propios de la ingeniería.
B5618	709CG8 Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.
B5619	709CG9 Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesión de Ingeniero Técnico en Informática.
B5623	709CT1 Capacidad para el análisis, síntesis, resolución de problemas y la toma de decisiones.
B5624	709CT2 Capacidad para interpretación de resultados con iniciativa, creatividad y razonamiento crítico y autocrítico.
B5625	709CT3 Capacidad para comunicar y transmitir de forma oral o por escrito conocimientos y razonamientos derivados de su trabajo individual o en grupo de forma clara y concreta.
C1	CMECES1 Que los estudiantes hayan demostrado poseer y comprender conocimientos en un área de estudio que parte de la base de la educación secundaria general, y se suele encontrar a un nivel que, si bien se apoya en libros de texto avanzados, incluye también algunos aspectos que implican conocimientos procedentes de la vanguardia de su campo de estudio.
C4	CMECES4 Que los estudiantes puedan transmitir información, ideas, problemas y soluciones a un público tanto especializado como no especializado
C5	CMECES5 Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía

Resultados de aprendizaje

Resultados	Competencias
1. Comprende los principales conceptos de matemática discreta y lógica, y los aplica en la resolución de problemas matemáticos propios de la ingeniería.	A18117	B5618	C1
2. Demuestra capacidad para el análisis, síntesis, toma de decisiones y razonamiento crítico.		B5623 B5624
3. Aplica los conceptos y procedimientos matemáticos aprendidos en la elaboración de razonamientos y argumentaciones correctas, así como para enfrentarse a situaciones que impliquen el uso de nuevos conocimientos y técnicas matemáticas, potenciando de esta manera su aprendizaje autónomo.		B5619	C5
4. Comunica de forma oral y escrita información, ideas, problemas y soluciones mediante el lenguaje matemático.		B5619 B5625	C4

Contenidos

Bloque	Tema
BLOQUE I: INTRODUCCIÓN A LA LÓGICA FORMAL.	Fundamentos de lógica. Lógica de proposiciones y de predicados. Técnicas de demostración.
BLOQUE II: CONJUNTOS, APLICACIONES Y RELACIONES	Teoría intuitiva de conjuntos. Correspondencias y aplicaciones. Relaciones.
BLOQUE III: TÉCNICAS DE CONTEO	Combinatoria y técnicas de conteo. Inducción, recursión y relaciones de recurrencia.
BLOQUE IV: ÁLGEBRA DE BOOLE Y OTRAS ESTRUCTURAS ALGEBRAICAS	Álgebra de Boole. Grupos, semigrupos, anillos y cuerpos.

Planificación

Metodologías :: Pruebas
	Horas en clase	Horas fuera de clase	Horas totales
Sesión Magistral	25	25	50


Resolución de problemas/ejercicios en el aula ordinaria	30	45	75

Pruebas mixtas	5	20	25

(*)Los datos que aparecen en la tabla de planificación són de carácter orientativo, considerando la heterogeneidad de los alumnos

Metodologías

Metodologías ::

	descripción
Sesión Magistral	En dichas sesiones se introducirán mediante explicaciones teóricas y ejemplos prácticos, los contenidos básicos relacionados con las competencias específicas.
Resolución de problemas/ejercicios en el aula ordinaria	Se formularán, análizarán y resolverán problemas prácticos y ejercicios, relacionados con la temática de la asignatura.

Tutorías

Sesión Magistral

Resolución de problemas/ejercicios en el aula ordinaria

descripción

En ellas el alumno contará con la ayuda del profesor para resolver sus posibles dudas con respecto a la materia.

Evaluación

	descripción	calificación
Pruebas mixtas	Dos pruebas individuales, escritas y de carácter práctico, donde se pedirá resolver problemas aplicando los contenidos teóricos estudiados. Se evaluarán, entre otros, los siguientes aspectos: el uso correcto del lenguaje matemático y lógico, la justificación rigurosa de todos los pasos de las soluciones de los ejercicios, y los resultados numéricos obtenidos. Cada prueba tiene un peso del 45% sobre el total. Las pruebas mixtas pueden ser recuperadas en la segunda convocatoria. No se realiza examen final. Ver otros comentarios.	90%
Otros	Se llevará a cabo una evaluación continua del trabajo realizado por el alumno a través de la entrega de trabajos, ejercicios, o resolución de cuestionarios mediante la plataforma moodle. Los trabajos no serán recuperados en la segunda convocatoria. Ver otros comentarios.	10%

Otros comentarios y segunda convocatoria
Segunda convocatoria: El alumno podrá optar entre: * conservar la nota obtenida en los trabajos, y repetir una o ambas pruebas mixtas (en caso de no repetir una parte, se conservará la nota obtenida en esa parte en la primera convocatoria). * no conservar la calificación de los trabajos, en ese caso las pruebas individuales pasarían a tener un peso relativo del 50% cada una. Material no permitido durante el desarrollo de las pruebas de evaluación. Durante el desarrollo de las pruebas de evaluación queda terminantemente prohibida la tenencia y el uso de dispositivos móviles y/o electrónicos. La simple tenencia de dichos dispositivos así como de apuntes, libros, carpetas o materiales diversos no autorizados durante las pruebas de evaluación, supondrá la retirada inmediata del examen, su expulsión del mismo y su calificación como suspenso, comunicándose la incidencia a la Autoridad Académica del Centro para que realice las actuaciones previstas en las Pautas de Actuación en los Supuestos de Plagio, Copia o Fraude en Exámenes o Pruebas de Evaluación , aprobadas por la Comisión Permanente del Consejo de Gobierno de 29 de enero de 2015.

Fuentes de información

Acceso a la Lista de lecturas de la asignatura

Básica	Meng, K.K., Guan, T.E., Counting, World Scientific, 2002 Anderson, I., Introducción a la Combinatoria, Vicens Vives, 1993 Biggs, N.L., Matemática discreta, Vicens Vives, 1994 García Merayo, F., Matemática Discreta, Thomson, 2005 W.K. Grassmann, J.P. Tremblay, Matemática discreta y Lógica. Una perspectiva desde la Ciencia de la Computación, Prentice Hall, 1997 Rosen, K.H., Matemática discreta y sus aplicaciones, McGraw-Hill, Interamericana de España, 2004 Grimaldi, R.P., Matemáticas discreta y combinatoria : una introducción con aplicaciones, Addison Wesley, 1998 Lipschutz, S., Lipson, M., Matemáticas discretas, McGraw-Hill, Interamericana de España, 2009

Complementaria	Schumacher, C., Chapter zero : fundamental notions of abstract mathematics, Addison-Wesley Pub. Co., 1997 Y. Nievergelt, Foundations of Logic and Mathematics. Applications to Computer Science and Cryptography, Birkhäuser, 2002 P.R. Halmos, Naive set theory, Springer, 1974 P.T. Johnstone, Notes on logic and set theory, Cambridge, 1996 Cameron, P.J., Sets, logic and categories, Springer, 1999 D.E. Knuth, The Art of Computer Programming. Volume 1. Fundamental Algorithms, Addison-Wesley, 1997 D.E. Knuth, The Art of Computer Programming. Volume 2. Seminumerical Algorithms, Addison-Wesley, 1998 D.E. Knuth, The Art of Computer Programming. Volume 3. Sorting and Searching, Addison-Wesley, 1998 D.E. Knuth, The Art of Computer Programming. Volume 4A. Combinatorial Algorithms, Addison-Wesley, 2011

Recomendaciones