Laborationer
Refactoring och UML
| 1. | Laborationen ger övning i att använda Eclipse för att göra designförändringar (refactoring) och UML-diagram. Laborationen utföres på egen hand eller tillsammans med någon vid valfri tidpunkt. Ingen redovisning skall lämnas. |
| Ladda ner PDF-fil med anvisningar |
Laboration 2-4 utföres i grupper om två studenter. Paren anmäler sig och väljer schemapass via SAM.
Uppgifterna är små och laboration 2 och 3 kan man hinna göra under laborationspasset.
Det är obligatorisk närvaro på laborationerna, men om man löst uppgiften i förväg behöver man inte vara närvarande från start.
2. Laborationen handlar om satslogik.
3. Laborationen handlar om representation av predikatlogiska uttryck och substitution.
4. Laborationen handlar om bygga den abstrakta representationen av logiska uttryck från den konkreta. Det kanske är svårt att hinna utföra hela uppgiften under själva laborationspasset, varför du bör vara förberedd.