Labbar

Laborationerna i kursen har syftet att fördjupa förståelsen av några utvalda logiska koncept och ge en känsla för praktisk användning av verktyg baserade på logik. Kursmomentet LAB1 motsvarar labb 1, och LAB2 motsvarar labb 2 och 3.

Labbarna ska göras i tvåpersonsgrupper, men enpersonsgrupper kan godkännas av kursledaren i undantagsfall.

Det finns flertalet labbtillfällen, listade nedan. Tre tillfällen är vikta för hjälp med respektive labb, övriga är för redovisning.

Notera att i år sker redovisning framförallt fysiskt på plats, men möjlighet att redovisa online kommer också att finnas (väljs när man bokar tid). Även hjälptillfällena är hybrida, d.v.s. ni får själva välja om ni vill komma till dom fysiska labbsalarna, eller online i Zoom. Fyll i Location i kön beroende på ert val, enligt instruktioner nedan. Vid dom första labbtillfällena kommer vi utvärdera hur detta fungerar.

  1. Labb 1: hjälptillfälle (26 sep)
  2. Labb 1: hjälptillfälle (2 okt)
  3. Labb 1: redovisningstillfälle 1 (10 okt)
  4. Labb 1: redovisningstillfälle 2 (11 okt)
  5. Labb 2: hjälptillfälle (6 nov)
  6. Labb 2: hjälptillfälle (13 nov)
  7. Labb 2: redovisningstillfälle 1 (20 nov)
  8. Labb 2: redovisningstillfälle 2 (21 nov)
  9. Labb 3: hjälptillfälle (28 nov)
  10. Labb 3: hjälptillfälle (4 dec)
  11. Labb 3: redovisningstillfälle 1 (11 dec)
  12. Labb 3: redovisningstillfälle 2 (12 dec)

Vid hjälptillfällen kommer hjälp prioriteras, men redovisning kan ev. ske via drop-in i kön om tid finns över, och vice versa. För att få hjälp, ställ er i kön, med Help ikryssat. Se nedan hur assistenterna hittar dig vid digitala tillfällen.

Deadlines och bonuspoäng

Om labbarna är gjorda i tid får man bonuspoäng på motsvarande quiz. Labb 1 ger bonuspoäng till Prologdelen, labb 2 till satslogikdelen, och labb 3 till CTL-delen. För att få bonuspoäng måste labben vara inlämnad på Canvas innan deadlinen, vilka är satta till starttiden för första redovisningstillfället för respektive labb. Denna inlämning måste självklart också vara den som redovisas, och bli godkänd. För labb 1 behöver endast källkoden lämnas in, medan för labb 2 och 3 lämnas labbrapporter in (i vilka även källkoden ska finnas, mer info finns i labbpeken).

Redovisning

Varje labb redovisas på två sätt:

  • en muntlig redovisning (där bägge gruppmedlemmarna är närvarande), där man provkör sitt program för labbassistenten och svarar på dennes frågor om hur programmet är konstruerat;
  • för labb 2 och 3 krävs en skriftlig labbrapport, som lämnas in på Canvas före den muntliga redovisningen (se ovan gällande deadline för bonuspoäng). Denna labbrapport ska vara strukturerad, välskriven, och heltäckande. Då vi har flera assistenter som inte kan svenska, föredrar vi om era rapporter är skrivna på engelska. För labb 1 krävs ingen rapport men prydligt skrivna lösningar.

Boka tid före redovisning: För att kunna boka tider måste ni först skapa en studentgrupp i kursen, vilket görs under länken Personer. Gå sen till kalendern (menyn till vänster) och välj Hitta möte. Välj rätt kurs och omgång, och datumet då labben ska vara. Det ska nu bara vara att välja bland de tider som finns lediga.

Boka ett labbtillfälle som grupp, d.v.s. en tvåpersonsgrupp ska bara ta upp en plats per tid, även om t.ex. tre platser finns vid samma tid.

Vid redovisningstillfället: Ha legitimation redo och ställ er i kön för kursen: kryssa i Present, fyll i eran plats som Location, och fyll i tiden ni bokat redovisning vid som Comment. Var på plats och beredda att redovisa i god tid!

Vid digitala labbtillfällen sker redovisning (och hjälp) i studenternas Zoomrum. Ni ställer er i kön som vanligt, men fyller i länken till ert Zoomrum som Location. Länken hittar ni t.ex. genom att i Zoom gå till "Participants" -> "Invite" och sen trycka på "Copy Invite Link". Assistenterna kommer in där när det är er tur.

 

Labblydelser

Laboration 1: Introduktion till Prolog Download Laboration 1: Introduktion till Prolog

Laboration 2: Beviskontroll (testsvit)

Laboration 3: CTL (testsvit)

OBS! Man kan diskutera uppgifterna mellan grupper, men det är  förbjudet att titta på någon annan grupps programkod, eller att visa sin kod för någon annan grupp. Detta kommer att betraktas som fusk! Se även EECSs hederskodex.

 

Canvas Betygsättning

Labbarna betygssätts i Canvas enligt följande:
Godkänd med bonus: 1p
Godkänd utan bonus: 0p
Ej godkänt/Ej redovisat: Inget betyg inrapporterat