Fra utsagnslogikk til bevismetoder og relasjoner

Kjære IN1150-student,

Denne uken avslutter vi delen om utsagnslogikk. Vi har nå gått gjennom semantikk for utsagnslogikk (kapittel 3) og utsagnslogiske begreper (kapittel 4), og i morgen begynner vi med bevismetoder (kapittel 5) og relasjoner (kapittel 6). Her er en kort oppdatering med noen kommentarer og påminnelser.

Andre innleveringsoppgave

https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/innlevering-02.pdf

Husk at fristen for å levere den andre innleveringsoppgaven er i dag torsdag 9. februar kl. 23.59. PS! Dersom du ønsker å få en tilbakemelding på din innlevering, så må du angi dette på en tydelig måte i selve innleveringen. Hvis du bruker malen vi har laget, er det tilstrekkelig at du endrer \tilbakemelding{} til \tilbakemelding{ja}.

Bruk Discourse og FAQ-en

https://in1150-discourse.uio.no
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/faq/

Det er allerede mange gode spørsmål og svar i kursets Discourse-forum, og spør gjerne der hvis noe er uklart. Vi oppfordrer også alle til å forsøke å svare på andres spørsmål. Det lærer man mye av! Det er også lurt å av og til kikke innom siden med ofte stilte spørsmål (selv om det er flest ikke-faglige spørsmål og svar der).

Bruk innmeldingskjemaet

https://nettskjema.no/a/313421

Dersom du finner feil (hvor som helst; i kursmaterialet, bøkene, nettkurset, semestersidene, etc.) eller har forslag til forbedringer, anbefaler vi at du bruker innnmeldingskjemaet. Da får vi beskjed, og vi vil forsøker å fikse og reparere ting så fort vi kan. Dessuten vil du også sannsynligvis kvalifisere til en premie mot slutten av semesteret. Vi oppfordrer også alle til å sende inn tautologier, dobbeltnegasjoner og trippelnegasjoner som dere finner i media.

Vel møtt til fellestimen i morgen, og lykke til videre med kurset.

--
Med vennlig hilsen oss som underviser IN1150