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

/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
/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
/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