| Additional title: |
Analysis and Design of Algorithms |
| Additional title: |
Análisis y Diseño de Algoritmos |
| Date: |
2022-23 |
| 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. Per altra banda coneixerà i sabrà triar a cada moment diferents estils i paradigmes de disseny d'algorismes 1 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: |
This subject is the continuation of the programming subjects seen in the first and second courses, such as Fundamentals of Computer Science, Programming Methodology and Programming Laboratory. Based on the fact that the student already has some basic knowledge about programming, this course is focused on introducing different styles and paradigms of algorithm design. The main objective is that students develop skills in the design and analysis of algorithms in order to solve real-world problems effectively and efficiently according to the requirements established by a potential client. Therefore it is expected that at the end of the course the students will know: Formally specify problems and programs, and verify them. Use formal tests to validate programs and invariants to design based on contracts. Calculate the algorithmic and computational complexity of an algorithm. 1 Besides, they will know how to choose different styles and paradigms of algorithm design such as: recursivity backtracking dynamic programming probabilistic algorithms 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. Por otra parte conocerá y sabrá elegir en cada momento diferentes estilos y paradigmas de diseño de 1 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] ; Enginyeria Informàtica [958] |
| Document: |
Objecte d'aprenentatge |
guest ::
