Tolkning, semantikk og modeller

Kjære IN1150-student,

Nå er det ikke lenge til påske. Vi fullfører kapittel 15 og 16 morgen, med den andre forelesningen om tolkning i og resonnering om modeller. Etter det er det tid for en velfortjent pust i bakken.

Oblig

Vi minner om at den obligatoriske oppgaven har frist i morgen fredag!

Logikkafé

Vi sees på logikkafé på Escape etter forelesning i morgen, hvor det er senkede skuldre og hyggelig diskusjon med medstudenter og gruppelærere.

Etter påsken

Uka etter påske er det ingenting som skjer mandagen, mens onsdagsgruppetimene holdes som vanlig. Der vil vi fortsette med kapittel 15 og 16, så det er en ypperlig anledning til å bli virkelig god på førsteordens logikk. På fredagen etter påske begynner vi på kapittel 17, abstraksjon med ekvivalenser og partisjoner.

Ukens nøtt

Jabba Hutten har fanget 10 medlemmer av en rivaliserende gjeng som var nede i vinkjelleren hans og prøvde å forgifte vinen han skal servere på festen han skal ha om 24 timer. Dessverre rakk de å forgifte nøyaktig én flaske, og han vet ikke hvilken. Det er 1000 flasker vin i kjelleren. Giften er svært kraftig, selv blandet ut én til en million vil den forgiftede vinen være dødelig. Døden inntreffer nøyaktig 24 timer etter inntak, og det er ingen symptomer før man dør.

Jabba har tenkt å ta livet av de 10 forgifterne uansett, så han bestemmer seg for å gi dem litt av vinen. Han gir beskjed om at han om 24 timer vet hvilken flaske som er forgiftet, men at det kan hende at alle 10 dør.

Hvordan får han til det?

Ekstranøtt: Han vil holde minst 2 i live for å mate Rancoren med under festen. Kan han få til det?

Gratulerer med levert/lykke til med innlevering av oblig i morgen, og god påske!

--

Med vennlig hilsen oss som underviser IN1150