Tema 1Especificació i programació orientada a objectes
Com es dissenya un programa gran a partir de mòduls i tipus abstractes de dades. Especificar què fa cada peça abans de pensar com.
- 1.1Llegit
- 1.2Llegit
- 1.3Llegit
- 1.4Llegit
- 1.5Llegit
PRO2
Programes grans fets amb mòduls i tipus abstractes de dades. Piles, cues, llistes i arbres, disseny iteratiu i recursiu justificat, i com s'implementen les estructures amb punters.
Com es dissenya un programa gran a partir de mòduls i tipus abstractes de dades. Especificar què fa cada peça abans de pensar com.
Piles, cues i llistes: les estructures que guarden elements en seqüència, i com recórrer-les amb iteradors.
Estructures jeràrquiques: arbres binaris i generals, com es recorren i com es resolen problemes recursius sobre ells.
Com escriure bucles correctes de manera sistemàtica: invariants, funció de fita i justificació.
Com dissenyar i justificar funcions recursives, i com fer-les eficients amb immersions.
Com estan fetes per dins les estructures de dades: memòria dinàmica, nodes enllaçats i punters.