Ãlgebra1-informÃ¡tica

La asignatura MatemÃ¡tica discreta estÃ¡ encuadrada dentro de la materia MatemÃ¡ticas que a su vez forma parte del mÃ³dulo de FormaciÃ³n BÃ¡sica del Grado en IngenierÃa InformÃ¡tica, aÃ±o 2010. Esta asignatura es de carÃ¡cter obligatorio y consta de 6 crÃ©ditos ECTS que se dividen en 3 crÃ©ditos de teorÃa (clases expositivas en grandes grupos aulas 35 del A4 para el grupo A y el grupo B y 06 del A4 para el grupo C) y 3 de prÃ¡cticas (resoluciÃ³n de problemas en pizarra y prÃ¡cticas con ordenador, en las que utilizando el software Mathematica se resolverÃ¡n problemas relativos a la asignatura).

Recursos audiovisuales asignaturas de matemÃ¡ticas ( Este link conduce a una pÃ¡gina web fruto del proyecto de innovaciÃ³n docente PIMED29_102224 con tÃtulo "Recursos audiovisuales para el aprendizaje de las matemÃ¡ticas" dirigido por el profesor Miguel Ãngel GarcÃa MuÃ±oz. Este recurso web estÃ¡ en continua construcciÃ³n, si se observa algÃºn error, se agradece al que lo encuentre lo notifique pulsando sobre "FORMULARIO" en la esquina superior derecha de la web)

Enunciados, conectivas y tablas de verdad. Formas normales. Conjuntos adecuados de conectivas. Tipos de demostraciÃ³n: directa, contrarrecÃproco y reducciÃ³n al absurdo. CÃ¡lculo de predicados.

Tema 2. Conjuntos y relaciones de orden (

pdf PowerPoint de clase en platea)

Conceptos bÃ¡sicos. Ãlgebra de las partes de un conjunto. Aplicaciones. Relaciones binarias: de equivalencia y de orden.

Tema 3. Ãlgebras de Boole. Funciones booleanas (

pdf PowerPoint de clase en platea)

RetÃculos. Tipos de retÃculos. Ãlgebras de Boole. Funciones booleanas elementales: formas canÃ³nicas. Aplicaciones: circuitos booleanos.

Tema 4. IntroducciÃ³n a la teorÃa de nÃºmeros: aritmÃ©tica modular (

pdf PowerPoint de clase en platea)

Los nÃºmeros naturales: inducciÃ³n y primeras propiedades. Los nÃºmeros enteros. Divisibilidad y congruencias. Aplicaciones del teorema de Bezout. Sistemas de congruencias y de numeraciÃ³n.

Tema 5. Nociones de complejidad computacional (

pdf PowerPoint de clase en platea)

ESPECÃFICA O BÃSICA:
1. GARCÃA-MUÃ‘OZ, M.A., "MatemÃ¡tica discreta para la computaciÃ³n. Nociones teÃ³ricas y problemas resueltos". Ed. Servicio de publicaciones de la UJA. 2010.
2. GARCÃA-MUÃ‘OZ, M.A., ORDOÃ‘EZ, C. Y RUIZ, J.F., "MÃ©todos computacionales en Ã¡lgebra para informÃ¡ticos. MatemÃ¡tica discreta y lÃ³gica". Ed. Servicio de publicaciones de la UJA. 2006.
3. DORRONSORO, J. Y HERNÃNDEZ, E. "NÃºmeros, grupos y anillos". Addison Wesley. Universidad AutÃ³noma de Madrid, 1996.
4. GARCÃA MERAYO, F. "MatemÃ¡tica Discreta". Ed. Paraninfo. 2001
5. BUJALANCE, E. Y OTROS. "Elementos de MatemÃ¡tica Discreta". Sanz Torres, 1993.
6. HAMILTON, A.G. "LÃ³gica para matemÃ¡ticos". Ed. Paraninfo.

GENERAL Y COMPLEMENTARIA:
1. COHN, "Ãlgebra". Volumen I, J. Wiley & Sons, 1974.
2. DUBREIL, P. Y OTROS. "Lecciones de Ã¡lgebra moderna". Ed. Paraninfo.
3. GARCÃA VALLE, J.L. "MatemÃ¡ticas especiales para computaciÃ³n". Serie InformÃ¡tica de GestiÃ³n. Ed. McGraw Hill, 1991. ISBN: 84-7615-267-1.
4. GRIMALDI, R.P. "MatemÃ¡ticas discreta y combinatoria". Addison Wesley Iberoamericana.
5. KNUTH, T.E. "Algoritmos fundamentales". El arte de programar ordenadores Vol. I Ed. RevertÃ©.
6. SIGLER, L.G. "Ãlgebra" Ed RevertÃ©.
7. SOLMAN, BUSBY, ROSS. "Estructuras de MatemÃ¡tica Discreta para la computaciÃ³n". Ed. Prentice Hall. 1997.
8. VERA LÃ“PEZ, A Y OTROS. "Ãlgebra abstrata aplicada".
9. ALEGRE GIL, CARMEN. "Problemas de matemÃ¡tica discreta" Ed. Universidad PolitÃ©cnica de Valencia, 1997. ISBN 84-7721-495-6
10. ANZOLA, M. Y OTROS. " Problemas de Ãlgebra: Conjuntos.Grupos." (tomo 1). Ed. Autores, 1981/82
11. ANZOLA, M. Y OTROS. "Problemas de Ãlgebra: Anillos. Polinomios. Ecuaciones." (tomo 2). Ed. Autores, 1981/82
12. BUJALANCE Y OTROS. "Problemas de matemÃ¡tica discreta". Ed. Sanz y Torres, 1993. ISBN 84-88667-03-5
13. GARCÃA, C., LÃ“PEZ, J., PUIGJANER, D. "MatemÃ¡tica Discreta. Problemas y ejercicios resueltos". Ed. Prentice Hall. 2002.
14. GARCÃA, F. HERNÃNDEZ, G., NEVOT, A. "Problemas resueltos de MatemÃ¡tica Discreta". Ed. Thomson. 2003.
15. LIPSCHUTZ, SEYMOUR. "TeorÃa y problemas de matemÃ¡tica discreta". Ed. McGraw-Hill, 1990. ISBN 84-7615-450-X
16. LIPSCHUTZ, S. y LIPSON, M. "2000 problemas resueltos de MatemÃ¡tica discreta". Ed. McGraw-Hill, 2004.
17. VERA LOPEZ, ANTONIO. "Problemas y ejercicios de matemÃ¡tica discreta". Ed. El autor, 1995
18. BLACHMAN, N. "Mathematica". Ed. Addison-Wesley, 1992.
19. BLACHMAN, N. "Mathematica. Un enfoque prÃ¡ctico". Ariel InformÃ¡tica, 1993.
20. DOMINGUEZ PEREZ, J.A. Y OTROS, "Algebra lineal. Planteamiento y resoluciÃ³n de problemas con Mathematica". Ed. Plaza Universitaria, Salamanca, 1995.
21. FERNANDEZ Â– FERREIROS, A. y OTROS, "Ãlgebra lineal. PrÃ¡cticas con Mathematica". Ed. Prensas Universitarias de Zaragoza, Zaragoza, 1995
22. RAMÃREZ GONZÃLEZ, V. Y OTROS "MatemÃ¡ticas con Mathematica". Granada: Proyecto Sur de ediciones, 1996.
23. WOLFRAM, S. "Mathematica. A System for Doing Mathematics by Computer". Addison-Wesley, 1991.

La parte prÃ¡ctica de la asignatura se basa en la resoluciÃ³n de problemas afines a la asignatura y se divide en dos partes:

(B) ResoluciÃ³n de problemas con ayuda del ordenador utilizando el software Mathematica.

PrÃ¡cticas de Ordenador

GRUPOS DE PRÃCTICAS Y PROFESORADO:

Grupo	Horario	Profesor/a	Aula
Grupo 1	MiÃ©rcoles 8:30-10:30	Miguel Ãngel GarcÃa MuÃ±oz	I-1 del edificio A4
Grupo 2	MiÃ©rcoles 10:30-12:30	Juan Francisco Ruiz Ruiz	I-1 del edificio A4
Grupo 3	MiÃ©rcoles 12:30-14:30	Juan Francisco Ruiz Ruiz	I-1 del edificio A4
Grupo 4	MiÃ©rcoles 15:30-17:30	Juan Francisco Ruiz Ruiz	I-1 del edificio A4
Grupo 5	MiÃ©rcoles 17:30-19:30	Juan Francisco Ruiz Ruiz	I-1 del edificio A4
Grupo 6	Jueves 10:30-12:30	Miguel Ãngel GarcÃa MuÃ±oz	I-1 del edificio A4
Grupo 8	MiÃ©rcoles 8:30-10:30	Carmen OrdÃ³Ã±ez CaÃ±ada	I-21 del edificio A4
Grupo 7 (InglÃ©s)	Jueves 8:30-10:30	Miguel Ãngel GarcÃa MuÃ±oz	I-1 del edificio A4

Para apuntarse a un grupo de prÃ¡cticas de la asignatura "MatemÃ¡tica Discreta" del Grado en IngenierÃa InformÃ¡tica tenÃ©is que acceder a la pÃ¡gina de la asignatura en Platea

IMPORTANTE: Los grupos de prÃ¡cticas se abrirÃ¡n en PLATEA el martes 9 de septiembre a las 22:00.

MANUAL DE PRÃCTICAS

[1]

OrdÃ³Ã±ez, C., Ruiz, J.F. y GarcÃa-MuÃ±oz, M.A.

PÃ¡gina Web asociada

Se puede adquirir en la tienda de la UJA (Edificio de usos mÃºltiples C4), o en librerÃas.

TEMARIO DE PRÃCTICAS

AtenciÃ³n: Es aconsejable descargar antes de la sesiÃ³n 1 el programa Mathematica desde el enlace ENLACE

Debido a que el jueves 18 es no lectivo, los grupos del jueves empezarÃ¡n las prÃ¡cticas el jueves 11 de septiembre. Los grupos del miÃ©rcoles empezaran el 17 de septiembre. De esta forma, a partir de la tercera semana todos continuaran con la misma sesiÃ³n de prÃ¡cticas.

Sesiones	Contenidos	PROBLEMAS DE PIZARRA	Ejercicios PROPUESTOS PARA el cuaderno de prÃ¡cticas
SESIÃ“N 1 11 de septiembre (grupo 6) 17 de septiembre (grupos 1, 2,3,4 y 5)	CAPÃTULO 1. El entorno de trabajo: Mathematica. CAPÃTULO 2. AritmÃ©tica bÃ¡sica. Variables y funciones. Material multimedia en Platea o en enlace1 y enlace 2	Ejercicio 1 de la relaciÃ³n de problemas del tema 1	Construir un archivo de Mathematica que nos sirva de modelo para cada prÃ¡ctica similar al que se obtiene en el ejercicio 1.6. (pg. 40 del manual) Ejercicio 2.1 apartados a), b), c) e i) y ejercicio 2.3 (pg. 71 del manual de prÃ¡cticas)
SESIÃ“N 2 24, 25 de septiembre	CAPÃTULO 3. Listas: Tablas, matrices y vectores. Material multimedia en Platea o en enlace	Ejercicio 5 y 8 de la relaciÃ³n de problemas del tema 1	Ejercicio 3.2 y ejercicio 3.4 (pg. 95 del manual de prÃ¡cticas)
SESIÃ“N 3 1, 2 de octubre	CAPÃTULO 4. ProgramaciÃ³n en Mathematica Material multimedia en Platea	Ejercicio 10 y 12 de la relaciÃ³n de problemas del tema 1	Ejercicio 4.3 (pg. 125 del manual de prÃ¡cticas)
SESIÃ“N 4 8, 9 de octubre	CAPÃTULO 5. LÃ³gica proposicional I: Conectivas y tablas de verdad. Material multimedia en Platea
SESIÃ“N 5 15, 16 de octubre	CAPÃTULO 6. LÃ³gica proposicional II: TautologÃas, contradicciones, formas normales. Equivalencias lÃ³gicas e implicaciones lÃ³gicas y argumentaciones. Material multimedia en Platea
SESIÃ“N 6 22, 23 de octubre	CAPÃTULO 7. Conjuntos. Aplicaciones. Material multimedia en Platea
SESIÃ“N 7 29, 30 de octubre	CAPÃTULO 8. Relaciones binarias. Conjuntos ordenados. Material multimedia en Platea
SESIÃ“N 8 5, 6 de noviembre	*Primera prueba de evaluaciÃ³n continua de prÃ¡cticas (sesiones 1 a 7 ambas incluidas) (25%).* *EvaluaciÃ³n continua Temas 1 y 2* ???		Es imprescindible tener TODAS las asistencias y llevar impreso el cuaderno de prÃ¡cticas (ejercicios propuestos de esta columna, sesiones 1 a 7 ambas incluidas)
SESIÃ“N 9 12, 13 de noviembre	CAPÃTULO 9. RetÃculos y Ãlgebras de Boole finitas. Material multimedia en Platea
SESIÃ“N 10 19, 20 de noviembre	CAPÃTULO 10. Funciones booleanas Material multimedia en Platea
SESIÃ“N 11 26, 27 de noviembre	CAPÃTULO 11. NÃºmeros enteros I. Divisibilidad. Material multimedia en Platea
SESIÃ“N 12 3, 4 de diciembre	CAPÃTULO 12. NÃºmeros enteros II. Congruencias y Sistemas de NumeraciÃ³n. Material multimedia en Platea
SESIÃ“N 13 10, 11 de diciembre	*Segunda* *prueba de evaluaciÃ³n continua de prÃ¡cticas (75%)*		Es imprescindible tener TODAS las asistencias y llevar impreso el cuaderno de prÃ¡cticas (ejercicios propuestos en Platea: sesiones 1 al 7 y del 9 al 12)
SESIÃ“N 14 16/17 de diciembre	Complejidad computacional Material multimedia en Platea

El desarrollo teÃ³rico tendrÃ¡ lugar para el grupo de maÃ±ana lunes de 9:30 a 10:30 (Grupo C) y de 11:30 a 12:30 (Grupo A) y martes de 9:30 a 10:30 (Grupo C) y de 10:30 a 11:30 (grupo A) y en el grupo de tarde, lunes de 17:30 a 18:30 y martes de 16:30 a 17:30. En estas clases el profesor explicarÃ¡ los contenidos de la asignatura y realizarÃ¡ ejemplos prÃ¡cticos de dichos contenidos y el alumno deberÃ¡ atender a las explicaciones y tomar apuntes que complemente el material facilitado por el profesor. La asistencia y participaciÃ³n del alumno a estas clases es muy aconsejable, asÃ como llevar la asignatura al dÃa y consultar cuantas dudas surjan, tanto en clase como en el horario de tutorÃas del profesor.

AdemÃ¡s el alumno tendrÃ¡ dos horas semanales dedicadas a prÃ¡cticas en grupos reducidos de 40 alumnos. Una parte de estas horas se dedicarÃ¡n a resolver en la pizarra problemas de las relaciones que previamente ha facilitado el profesor. Respecto a las clases prÃ¡cticas con ordenador, aprenderemos el manejo del software Mathematica, el cual lo utilizaremos para resolver de una forma rÃ¡pida los problemas que previamente se han realizado en clase, con lo cual el propio alumno puede corregir y reafirmar aquellos problemas o conceptos que no quedaron lo suficientemente claros.

Asignatura: MatemÃ¡tica discreta

RELACIONES DE PROBLEMAS