Cr茅ditos ECTS
Cr茅ditos ECTS: 6
Horas ECTS Criterios/Memorias
Traballo do Alumno/a ECTS: 97
Horas de Titor铆as: 3
Clase Expositiva: 25
Clase Interactiva: 25
Total: 150
Linguas de uso
Castel谩n, Galego
Tipo:
Materia Ordinaria Grao RD 1393/2007 - 822/2021
Departamentos:
惭补迟别尘谩迟颈肠补蝉
脕谤别补蝉:
脕濒虫别产谤补
Centro
Escola T茅cnica Superior de Enxe帽ar铆a
Convocatoria:
Primeiro semestre
Docencia:
Con docencia
惭补迟谤铆肠耻濒补:
Matriculable
| 1ro curso (Si)
A matem谩tica discreta 茅 hoxe en d铆a unha parte substancial da bagaxe te贸rico-pr谩ctica de co帽ecementos matem谩ticos dos futuros profesionais da inform谩tica na s煤a dobre vertente abstracta e instrumental. Abstracta xa que se nutre das fontes da 谩lxebra abstracta aplicada, e instrumental en canto 贸 uso que fai dos aspectos procedementais e algor铆tmicos de aquela na s煤a relaci贸n co mundo real: planificaci贸n de tarefas, dese帽o de programas, uso de t茅cnicas de enumeraci贸n, control e detecci贸n de erros na transmisi贸n da informaci贸n, seguridade dos sistemas inform谩ticos, enxe帽er铆a de software, etc.
Con esta materia pret茅ndese:
- contribu铆r 谩 formaci贸n integral dos futuros graduados en Enxe帽er铆a Inform谩tica, posibilit谩ndolle unha s贸lida e axeitada formaci贸n en competencias propias da matem谩tica discreta.
- potenciar o emprego de distintas representaci贸ns (simb贸lica, gr谩fica, matricial) e de distintos razoamentos (indutivo, recursivo, dedutivo) como medios para favorecer a integraci贸n de conceptos e procedementos derivados dos contidos propios da materia.
- familiarizaci贸n coas matem谩ticas involucradas no pensamento algor铆tmico (especificaci贸n, verificaci贸n e complexidade).
- alentar as actitudes de cr铆tica ante diferentes tipos de soluci贸ns, de busca, de perseveranza e esforzo ante as dificultades, de comunicaci贸n utilizando a terminolox铆a axeitada.
Na parte pr谩ctica, empregarase o programa de software de c贸digo aberto SageMath para iniciarse na programaci贸n de algoritmos relacionados coa materia.
TEMA 1. Algoritmos e n煤meros.
Algoritmos: complexidade. N煤meros primos. Divisibilidade. Algoritmo de Euclides. Congruencias. Sistemas de numeraci贸n. Aritm茅tica computacional con enteiros grandes. Aplicaci贸ns. Criptograf铆a de clave p煤blica.
Docencia Presencial
Horas expositivas / interactivas / pr谩cticas: 8 /3 / 6
Actividades de aprendizaxe aut贸nomo/titor铆a
Horas estudo / resoluci贸n de problemas / pr谩cticas ordenador / titor铆a : 5 / 2 / 5 / 0,75
TEMA 2. Combinatoria
T茅cnicas b谩sicas de enumeraci贸n: Principios de adici贸n, multiplicaci贸n e do pombal. Permutaci贸ns e combinaci贸ns. Teorema do binomio. Principio de inclusi贸n-exclusi贸n.
Docencia Presencial
Horas expositivas / interactivas / pr谩cticas: 5 / 2 / 3
Actividades de aprendizaxe aut贸nomo/titor铆a
Horas estudo / resoluci贸n de problemas / pr谩cticas ordenador / titor铆a : 5 / 3 / 4 / 0,5
TEMA 3. Recursividade
Definici贸ns recursivas. Algoritmos recursivos. Verificaci贸n de programas. T茅cnicas avanzadas de enumeraci贸n: relaci贸ns de recorrencia. Resoluci贸n de relaci贸ns de recorrencia. Funci贸ns xeratrices.
Docencia Presencial
Horas expositivas / interactivas / pr谩cticas: 5 / 2 / 2.5
Actividades de aprendizaxe aut贸nomo/titor铆a
Horas estudo / resoluci贸n de problemas / pr谩cticas ordenador / titor铆a : 4 / 2 / 3 / 0,75
TEMA 4. Grafos
Tipos de grafos. Representaci贸n de grafos. Conexidade. Cami帽os eulerianos e hamiltonianos. Algoritmo do cami帽o m谩is curto de Dijkstra. Grafos planos. Colorado de grafos. 脕rbores. 脕rbores xeradoras e cami帽os m谩is curtos.
Docencia Presencial
Horas expositivas / interactivas / pr谩cticas: 5 / 2 / 2.5
Actividades de aprendizaxe aut贸nomo/titor铆a
Horas estudo / resoluci贸n de problemas / pr谩cticas ordenador / titor铆a : 4 / 2 / 2 / 0,5
TEMA 5. 脕濒虫别产谤补s de Boole
Funci贸ns booleanas e funci贸ns de conmutaci贸n. Formas normais disxuntiva e conxuntiva. Portas l贸xicas. Minimizaci贸n de circu铆tos.
Docencia Presencial
Horas expositivas / interactivas / pr谩cticas: 2 / 1 / 1
Actividades de aprendizaxe aut贸nomo/titor铆a
Horas estudo / resoluci贸n de problemas / pr谩cticas ordenador / titor铆a : 2 / 1 / 1 / 0,5
叠脕厂滨颁础:
Aguado, F., Gago, F. et al., Problemas resueltos de Combinatoria. Laboratorio con SageMath, Paraninfo, 2018.
Rosen, K. H., Matem谩tica Discreta y sus Aplicaciones, McGraw-Hill (5陋 ed.) 2004.
Vieites, A.M., Aguado, F. et al., Teor铆a de Grafos: Ejercicios resueltos y propuestos. Laboratorio con Sage, Paraninfo, 2014.
COMPLEMENTARIA:
Bard, G. V., SageMath for Undergraduates.
Garc铆a Merayo, F., Matem谩tica discreta, Paraninfo, Thomson Learning, 2001.
Garc铆a Merayo, F., Hern谩ndez, G. e Nevot, A., Problemas resueltos de Matem谩tica discreta, 2陋 edici贸n ampliada, Paraninfo, 2018.
Grimaldi, R. P., 惭补迟别尘谩迟颈肠补蝉 Discreta y Combinatoria, Addison-Wesley Iberoamericana, 1997.
Johnsonbaugh, R., 惭补迟别尘谩迟颈肠补蝉 Discretas, Pearson Prentice Hall (6陋 ed.) 2005.
Levasseur, K. et al., Discrete Mathematics for Computer Science, 2020.
Lipschutz, S. e Lipson, M., 2000 Solved Problems in Discrete Mathematics, Schaum, Mc-Graw-Hill, 1992.
TRANSVERSAIS / XEN脡RICAS
Dentro do recollido en TR1, TR2 e TR3:
Capacidade para resolver problemas. Capacidade de an谩lise e de s铆ntese. Capacidade de organizaci贸n e planificaci贸n. Capacidade de xesti贸n da informaci贸n (captaci贸n e an谩lise da informaci贸n). Resoluci贸n de problemas. Toma de decisi贸ns. Razoamento cr铆tico. Adaptaci贸n a novas situaci贸ns. Capacidade de aplicar os co帽ecementos 谩 pr谩ctica. Habilidade para traballar de forma aut贸noma e de colaborar en grupo. Creatividade.
贰厂笔贰颁脥贵滨颁础厂
Ademais da s煤a achega a CG5, CG8, CG9 e CG10
鈥揅ognitivas (saber):
Dentro do recollido en RI6:
Adquisici贸n dos conceptos b谩sicos da materia: algoritmos, n煤meros enteiros, t茅cnicas de reconto, teor铆a de grafos e 谩lxebras de Boole.
Co帽ecer aplicaci贸ns da matem谩tica discreta 谩 computaci贸n.
鈥揚rocedementais / instrumentais (saber facer):
Dentro do recollido en FB1 e FB3
Manexar a aritm茅tica modular e aplicar os resultados nos diferentes sistemas de numeraci贸n, c谩lculos con enteiros moi grandes e na criptograf铆a de clave p煤blica.
Saber aplicar as t茅cnicas b谩sicas para contar a diversos problemas.
Co帽ecer alg煤ns algoritmos recursivos e aplicalos en situaci贸ns concretas.
Aplicar a teor铆a de grafos en 谩rea relativas 谩 computaci贸n.
Manexar o programa inform谩tico SageMath e aplicar os algoritmos aprendidos para resolver os problemas expostos no curso.
鈥揂ctitudinais (ser):
Expresi贸n rigorosa e clara, oral e escrita. Razoamento l贸xico e identificaci贸n de erros nos procedementos. Capacidade de adaptaci贸n. Capacidade de abstracci贸n. Capacidade de organizaci贸n e planificaci贸n. Traballo en equipo. Actitude cr铆tica ante diferentes tipos de soluci贸ns. Desenvolver a capacidade de an谩lise na resoluci贸n de problemas.
Utilizaranse as horas de clase expositiva para a presentaci贸n dos contidos b谩sicos que compo帽en esta materia, (FB3, CG8). Nas clases interactivas en grupos reducidos realizaranse exercicios (TR1, TR3, FB1, FB3, CG8, CG9, CG10) e pr谩cticas en ordenador (TR1, TR3, FB1, FB3, CG5, CG8, CG9, RI6). As铆 mesmo, proporanse temas de estudo e problemas para seren resoltos polo alumnado (TR1, TR2, TR3, CG8, CG9, CG10), debendo presentar os seus resultados nas titor铆as en grupos moi reducidos (TR2, CG9), nos que tam茅n se ofrecer谩 soporte para os mesmos.
Abriremos unha aula no Campus Virtual na que, ademais de contar con diversos materiais de apoio, levarase conta do tratado en cada clase as铆 como da programaci贸n de actividades (TR1, TR3, CG9), algunhas das cales realizaranse en grupos (TR2), e outro curso en CoCalc que servir谩 de apoio e control para as clases interactivas de laboratorio.
Hai unha convocatoria con d煤as oportunidades.
Seguirase un m茅todo de avaliaci贸n continua, a trav茅s de actividades acad茅micas dirixidas, tendo en conta os traballos realizados tanto individualmente (TR1, TR3, CG8, CG9, CG10) como en grupos (TR2), e de maneira especial o realizado co ordenador (FB1, FB3, RI6, CG5), no que o alumnado deber谩 demostrar o seu co帽ecemento da materia; e un exame final (TR1, FB1, FB3, RI6, CG9).
As porcentaxes asignadas a cada unha das partes en cada oportunidade son as seguintes:
Primeira oportunidade (xaneiro / febreiro)
鈥� Exame final te贸rico-pr谩ctico: 45%
鈥� Exame final de pr谩cticas no ordenador: 30%
鈥� Avaliaci贸n continua (curso virtual, problemas e pr谩cticas de ordenador realizados individualmente). Os estudantes repetidores deber谩n realizar todas as actividades convocadas a trav茅s do campus virtual: 25%
Para aprobar a materia ser谩 imprescindible realizar os traballos pr谩cticos, presentarse aos exames e obter un total de 5 puntos de media, cun m铆nimo do 40% tanto no exame final te贸rico-pr谩ctico como no exame final de pr谩cticas no ordenador.
Segunda oportunidade (xu帽o / xullo)
A avaliaci贸n do alumnado estar谩 baseada nun exame final coas seguintes porcentaxes:
鈥� Exame final te贸rico-pr谩ctico: 50%
鈥� Exame final de pr谩cticas no ordenador: 30%
鈥� Avaliaci贸n continua: 20%
Considerarase presentado a quen realice alg煤n dos exames finais ou participe como m铆nimo no 75% das actividades da avaliaci贸n continua.
Para o caso de realizaci贸n fraudulenta de exercicios ou probas ser谩 de aplicaci贸n o recollido na Normativa de avaliaci贸n do rendemento acad茅mico dos estudantes e revisi贸n de cualificaci贸ns, en particular o recollido no artigo 16:
A realizaci贸n fraudulenta dalg煤n exercicio ou proba esixida na avaliaci贸n da materia implicar谩 a cualificaci贸n de suspenso na convocatoria correspondente, con independencia do proceso disciplinario que se poida seguir contra a persoa infractora.
Presencial:
25 horas de clases teor铆a
10 horas de problemas en grupos reducidos (seminarios)
15 horas de laboratorio en grupos reducidos
3 horas titor铆a en grupos moi reducidos
3 horas exame final escrito
2 horas exame final no ordenador
Non presencial:
45 horas de estudo aut贸nomo relacionadas coas clases (20 horas para a teor铆a, 10 para problemas, 15 pr谩cticas de ordenador)
25 horas para traballar nos bolet铆ns de problemas propostos
15 horas para programar en ordenador soluci贸ns a problemas propostos
7 horas actividades de avaliaci贸n no campus virtual
Carga de traballo total : 150 horas
Asistencia continuada 谩s clases. Traballar individual ou colectivamente as cuesti贸ns indicadas nas clases. Aproveitar os laboratorios e as titor铆as tan pronto como xurdan dificultades.
Debe dedicar esforzos para ser capaz de aplicar os razoamentos na resoluci贸n de problemas e programar os diferentes algoritmos no paquete de c谩lculo simb贸lico establecido.
Manuel Eulogio Ladra Gonzalez
- Departamento
- 惭补迟别尘谩迟颈肠补蝉
- 脕谤别补
- 脕濒虫别产谤补
- 罢别濒茅蹿辞苍辞
- 881813138
- Correo electr贸nico
- manuel.ladra [at] usc.es
- 颁补迟别驳辞谤铆补
- Profesor/a: Catedr谩tico/a de Universidade
Felipe Gago Couso
Coordinador/a- Departamento
- 惭补迟别尘谩迟颈肠补蝉
- 脕谤别补
- 脕濒虫别产谤补
- 罢别濒茅蹿辞苍辞
- 881813140
- Correo electr贸nico
- felipe.gago [at] usc.es
- 颁补迟别驳辞谤铆补
- Profesor/a: Titular de Universidade
Alex Pazos Moure
- Departamento
- 惭补迟别尘谩迟颈肠补蝉
- 脕谤别补
- 脕濒虫别产谤补
- Correo electr贸nico
- alex.pazos.moure [at] usc.es
- 颁补迟别驳辞谤铆补
- Predoutoral Xunta
| Luns | |||
|---|---|---|---|
| 10:00-11:00 | Grupo /CLE_01 | Galego | Aula A1 |
| 16:00-17:30 | Grupo /CLIL_01 | Galego | Aula de Inform谩tica I5 |
| Martes | |||
| 10:00-11:00 | Grupo /CLE_01 | Galego | Aula A1 |
| 16:00-17:30 | Grupo /CLIL_02 | Galego | Aula de Inform谩tica I5 |
| 惭茅谤肠辞谤别蝉 | |||
| 10:00-11:00 | Grupo /CLIS_02 | Galego, Castel谩n | Aula A1 |
| 11:00-12:00 | Grupo /CLIS_01 | Galego, Castel谩n | Aula de Proxectos |
| 16:00-17:30 | Grupo /CLIL_03 | Galego | Aula de Inform谩tica I5 |
| Xoves | |||
| 10:00-11:00 | Grupo /CLIS_03 | Galego, Castel谩n | Aula A1 |
| 16:00-17:30 | Grupo /CLIL_04 | Galego | Aula de Inform谩tica I5 |
| Venres | |||
| 18:00-19:30 | Grupo /CLIL_05 | Galego | Aula de Inform谩tica I5 |
| 17.01.2025 10:00-14:00 | Grupo /CLIS_02 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIS_03 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_01 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_02 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_03 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_04 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIS_01 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_05 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLE_01 | Aula A3 |
| 17.01.2025 10:00-14:00 | Grupo /CLE_01 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIS_02 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIS_03 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_01 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_02 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_03 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_04 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIS_01 | Aula A4 |
| 17.01.2025 10:00-14:00 | Grupo /CLIL_05 | Aula A4 |
| 23.06.2025 16:00-20:00 | Grupo /CLIL_02 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIL_03 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIL_04 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIS_01 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIL_05 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLE_01 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIS_02 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIS_03 | Aula A1 |
| 23.06.2025 16:00-20:00 | Grupo /CLIL_01 | Aula A1 |