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