Tiende Forelesningssuke

Kjære IN1150-student,

Velkommen til uke ti - en ganske vanlig uke med mer om logikk.
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 14 (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 15 (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 7 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 27. mars, kl. 23:59

Obligatorisk Innleveringsoppgaver:
Oppdatert med noen hint for oppgave 8.2 og 9.1 her: Innleveringsoppgaver. 
Ved tidlig innlevering: Vennligst skriv en kommentar "klar for retting".
Frist: Torsdag 31. mars, kl. 23:59 (en uke igjen!)

Gruppeundervisning:
Vi går tilbake til de vanlige gruppene og 1-1-hjelp. Du finner hele timeplanen her: /studier/emner/matnat/ifi/IN1150/v25/Gupper%20-%20Gruppel%C3%A6rere%20og%20Rettere/index.html

Andre Beskjeder:

• IN1150-café: Stikk innom i dag! Still spørsmål og få personlig hjelp. Alle mandager, kl 16-18, i Escape.
• Discourse: https://astro-discourse.uio.no/c/in1150-25v/
  Her kan du stille faglige spørsmål, og få svar. Her finner du også konkurranser!

Med dette ønsker vi alle en god forelesningsuke!

- Oss som underviser IN1150

Ukens nøtt

Tygg på denne setningen: «Det finnes en person slik at hvis denne personen er veganer så er alle veganere.» Hvis V representerer at en person er veganer, så kan setningen representeres med formelen ∃x(Vx → ∀yVy). Er den sann, og i så fall når er den sann?