| Additional title: |
Analysis and Design of Algorithms |
| Additional title: |
Análisis y Diseño de Algoritmos |
| Date: |
2020-21 |
| Abstract: |
Aquesta assignatura és la continuació de les assignatures de programació vistes a primer i segon, com Fonaments d'informàtica, Metodologia de la programació i Laboratori de programació. Partint de la base que l'estudiant ja té uns coneixements bàsics sobre programació, aquesta assignatura està centrada en introduir diferents estils i paradigmes de disseny d'algorismes. L'objectiu principal és que els estudiants desenvolupin habilitats en el disseny i anàlisi d'algorismes per a poder resoldre problemes de el món real de manera efectiva i eficient d'acord amb els requisits establerts per un client potencial. Per això s'espera que en acabar el curs l'estudiant sabrà: Especificar formalment problemes i programes, i verificar-los. Utilitzar proves formals per validar programes i invariants per dissenyar basant-se en contractes. Calcular la complexitat algorísmica i computacional d'un algorisme. 1 Calcular la complexitat algorísmica i computacional d'un algorisme. Per altra banda coneixerà i sabrà triar a cada moment diferents estils i paradigmes de disseny d'algorismes com: Recursivitat Backtracking Programació dinàmica Algorismes probabilístics Etc. |
| Abstract: |
Esta asignatura es la continuación de las asignaturas de programación vistas a primero y segundo, como Fundamentos de informática, Metodología de la programación y Laboratorio de programación. Partiendo de la base de que el/la estudiante ya tiene unos conocimientos básicos sobre programación, esta asignatura está centrada en introducir diferentes estilos y paradigmas de diseño de algoritmos. El objetivo principal es que los estudiantes desarrollen habilidades en el diseño y análisis de algoritmos para poder resolver problemas del mundo real de manera efectiva y eficiente de acuerdo con los requisitos establecidos por un cliente potencial. Por ello se espera que al finalizar el curso el alumnado sabrá: Especificar formalmente problemas y programas, y verificarlos. Utilizar pruebas formales para validar programas e invariantes para diseñar basándose en contratos. Calcular la complejidad algorítmica y computacional de un algoritmo. 1 Calcular la complejidad algorítmica y computacional de un algoritmo. Por otra parte conocerá y sabrá elegir en cada momento diferentes estilos y paradigmas de diseño de algoritmos como: recursividad backtracking programación dinámica algoritmos probabilísticos Etc. |
| Rights: |
Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, la comunicació pública de l'obra i la creació d'obres derivades, fins i tot amb finalitats comercials, sempre i quan es reconegui l'autoria de l'obra original.  |
| Language: |
Català, anglès, castellà |
| Studies: |
Grau en Enginyeria Informàtica [2502441] |
| Study plan: |
Grau en Enginyeria Informàtica (Menció en Enginyeria de Computadors) i Grau en Enginyeria Electrònica de Telecomunicació [1206] ; Grau en Enginyeria Informàtica (Menció en Tecnologies de la Informació) i Grau en Enginyeria de Sistemes de Telecomunicació [1207] ; Màster Universitari en Enginyeria Informàtica /Computer Engineering [1269] ; Enginyeria Informàtica [958] |
| Document: |
Objecte d'aprenentatge |
guest ::
