Data: |
2018-19 |
Resum: |
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ó es donen uns coneixements avançats per tal que l'estudiant sigui capaç de fer una anàlisi dels algorismes dissenyats per trobar els que resolen un problema plantejat de manera òptima tenint en compte els requisits d'eficiència i/o precisió intrínsecs de cada entorn. Per això l'alumnat haurà de saber: 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 haurà de conèixer i saber triar en cada moment diferents estils i paradigmes de disseny d'algorismes com: 1 Recursivitat Backtracking Programació dinàmica Algorismes probabilístics Etc. |
Drets: |
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. |
Llengua: |
Català |
Titulació: |
Grau en Enginyeria Informàtica [2502441] |
Pla d'estudis: |
Enginyeria Informàtica [958] |
Document: |
Objecte d'aprenentatge |