PKD 11/12: Errata
Denna sida förtecknar ev. rättelser till OH-bilderna på kurswebben. (Rättade versioner kommer också att laddas upp.)
Introduktionsföreläsning / moment 1
- Bild 55: Kommandot som startar Poly/ML skall vara poly och inte sml.
Moment 2
- Bild 57: Varningsmeddelandet ändrat till att stämma med Poly/ML.
Moment 5
- Bild 3: Eftervillkoret till weekend skall vara "true om d är en veckoslutsdag (lö/sö), false annars"
- Bild 3: Eftervillkoret till overtimePay skall vara "Timlönen veckodagen d med hänsyn till övertid om grundtimlönen är x"
- Bild 4: Eftervillkoret till weekend skall vara "true om d är en veckoslutsdag (lö/sö), false annars"
- Bild 4: Eftervillkoret till overtimePay skall vara "Timlönen veckodagen d med hänsyn till övertid om grundtimlönen är x"
- Bild 13: Eftervillkoret till addNumbers skall vara "summan av x och y, heltal konverteras till flyttal om det behövs"
Moment 11
- Flera bilder: Dialoger med ML-systemet hade utseende från ett annat system än Poly/ML och har rättats för att se ut som en Poly/ML-körning.
- Bild 23: En felskrivning i dialogen rättad.
- Bild 30: Likhetjämförelse med 0.0 går inte att göra. Istället används funktionen Real.isFinite som testar om argumentet är ett "riktigt" tal.
Topic 13
- Slide 13: POST was rephrased
- Slide 14: Another PRE was added to insTree
- Elsewhere: Minor cosmetic changes were made