Beskjeder
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...
Siden vi kun har hatt én forelesning om kapittel 15 og 16, og den andre holdes n? p? fredag, flyttes fristen for innlevering 8 til torsdag etter p?ske (9. april). Dette er n? endret i Devilry og p? innleveringssiden.
?
--
Med vennlig hilsen oss som underviser IN1150
Pga midtsemester-eksamen i IN1010 samme dag, s? utg?r forelesningen i IN1150 fredag 20. mars.?
Beklager sent varsel.
Vi har begynt p? f?rsteordens logikk, hvordan formlene ser ut og hva de representerer. Den kommende uken ser vi p? hvordan vi gir formlene betydning og sannhetsverdi. Med st?lkontroll p? f?rsteordens logikk kan du kalle deg selv en logiker!
Oblig
Vi minner om at den obligatoriske innleveringen er lagt ut p? innleveringssiden. Det er viktig ? starte tidlig.
Logikkafé
Vi vet at mange har midtveiseksamen i IN1010, og at dette nok kommer foran mye annet. Likevel er vi p? Escape som vanlig i morgen kl. 12, hvor det er rom for ? hygge seg og slappe av, snakke om pensum, og ta en kopp kaffe eller te med senkede skuldre. Dette kan ogs? v?re en fin oppladning til eksamen.
?
Ukens n?tt
Se litt p? denne setningen: ?Det finnes en person slik at hvis denne p...
Ukens n?tt
Et uendelig ark er fargelagt med to farger. Vis at uansett hvordan dette er gjort, s? m? det finnes to punkter med samme farge med n?yaktig én meters avstand mellom dem.
- Vi kan gj?re problemet mer entydig med begrepene i kurset: "Et uendelig ark" betyr xy-planet, dvs mengden R×R av tupler av reelle tall. "Fargelegging med to farger" kan representeres som en funksjon f: R×R → {0,1}, der f(t) = 0 betyr at tuppelet/punktet er bl?tt og f(t) = 1 betyr at tuppelet/punktet er r?dt. N?tta blir da: Vis at gitt en vilk?rlig slik funksjon f: R×R → {0,1} s? m? det finnes to tupler t0 og t1 slik at f(t0) = f(t1), og √((x1-x0)2 + (y1-y0)2) = 1.
- Denne matematiseringen av problemet trengs ikke for ? l?se eller forst? n?tta, og den...
Obligen er n? publisert p? innleveringssiden, og mappe opprettet i Devilry. Pass p? ? lese all informasjon p? siden n?ye, da den blant annet inneholder krav for ? f? oppgaven godkjent.
Ved sp?rsm?l, ta kontakt p? discourse eller e-post.
Lykke til!
?
--
Med vennlig hilsen oss som underviser i IN1150
Kj?re IN1150-student,
Vi er n? omtrent halvveis gjennom pensum, og har rundet av kapitlene om induksjonsbevis. N? er det tid for en liten pust i bakken, med en uke med repetisjon.
Repetisjonstimer!
Neste uke er alle gruppetimene, samt mandagsforelesningen, repetisjonstimer. Der vil gruppel?rerne g? gjennom og repetere tidligere stoff, fra alle kapitlene 1-12. Vi anbefaler at du drar i alle timene hvis du har mulighet.
En oversikt over repetisjonstimene, tema, tid og sted ligger p? gruppetimesiden.
Oblig
Obligen publiseres i morgen fredag, og har frist om ca. tre uker. Den m? leveres uansett om du har levert tidligere frivillige innleveringer. Ved sp?rsm?l om obligen, ta kontakt med fagl?rer eller sp?r p? discourse.
Logikkafé
Velkom...
Hei!
Fredag 6. og mandag 9. mars er det repetisjonsforelesninger der vi knytter tr?der, tar opp igjen viktige elementer, og kikker p? noen typiske oppgaver. Send oss gjerne epost med tema, sp?rsm?l, uklarhet, oppgave eller lignende som du kunne tenke deg ? f? tatt opp!
Hilsen Arild og Henrik
Kj?re IN1150-student,
Den siste uken har vi sett p? tillukninger, induktivt definerte mengder og rekursivt definerte funksjoner. I morgen skal vi begynne ? se p? hvordan vi kan bevise egenskaper om disse strukturene ved hjelp av induksjonsbevis.
Logikkafé
I morgen er det logikkafé etter forelesning (kl12) i escape igjen! Kom innom for en kopp te eller kaffe og lavterskelsamtaler rundt logikk og bevis.
Ukens n?tt
En gruppe mennesker med forskjellige ?yefarger bor p? en ?y. De er alle perfekte logikere – hvis en konklusjon kan utledes logisk, vil de gj?re det umiddelbart. Ingen vet fargen p? ?ynene sine. Hver kveld ved midnatt stopper en ferge p? ?ya. Eventuelle ?yboere som har funnet ut fargen p? sine egne ?yne forlater deretter ?ya, og resten blir. Alle kan se alle andre til enhver tid og kan telle antall personer de ser med hver ?yefarge (utenom seg selv), men de ...
Obligen kommer til ? ha innleveringsfrist fredag 27. mars. Den vil publiseres p? innleveringssiden n?yaktig tre uker f?r dette, fredag 6. mars.
Merk at for ? g? opp til eksamen, m? obligen leveres og best?s. Har du best?tt obligen tidligere ?r, trenger du ikke levere p? nytt. Send is?fall melding til fagl?rer.
Innlevering er i Devilry, som vanlig.
--
Med vennlig hilsen oss som underviser IN1150
Kj?re IN1150-student,
Den siste uken har vi sett p? funksjoner og p? mengdel?re og uendelighet. I morgen begir vi oss ut p? tillukninger og induktivt definerte mengder, som lar oss definere de fleste strukturene som brukes i alle mulige programmeringsspr?k p? en sv?rt presis og kontrollert m?te. Det lar oss definere funksjoner rekursivt, som er blant de vanligste og kraftigste metodene for ? uttrykke beregninger. Vi skal deretter f?lge disse strukturene videre i kapittel 11 og 12, hvor vi skal l?re oss at de er spesielt enkle ? vise egenskaper ved; med andre ord, de er enkle ? tenke p?!
Avlyst kafé fredag 20.2
P? grunn av sykdom m? dessverre logikkafé avlyses i morgen. Vi sees der fredag neste uke, for flere gode diskusjoner og hyggelig stemning!
?
Ukens n?tt
...
Kj?re IN1150-student,
Denne uken har vi jobbet med beviser og relasjoner. Bevisf?ring er noe vi skal ?ve p? i alle de kommende kapitlene, og relasjoner vil dukke opp i mange definisjoner fremover.?
Veien g?r videre herfra til funksjoner og mer mengdel?re.
Rundt dette punktet i kurset vil vi begynne ? se p? mer sammensatte temaer. All erfaring tilsier at du trenger sv?rt god kontroll p? de f?rste ?tte kapitlene for ? ha god progresjon og l?ring i de kommende kapitlene.
Bruk undervisningstilbudet
https://logiskemetoder.no/nettkurs/
https://discourse.uio.no/c/in1150-26v/880
/studier/emner/matnat/ifi/IN1150/v26/grupper/
/studier/emner/matnat/ifi/IN1150/v26/innleveringer/
Vi h?per du bruker nettkurset, stiller sp?rsm?l p? Discourse, g?r p? og er aktiv p? gruppetimer, og leverer alle innlevering...
Hei! Gruppe 2 er avlyst i dag pga. sykdom.
Dra gjerne i en annen gruppetime! Gruppe 9 foreg?r samtidig p? Pascal – men her kan det bli ganske fullt. Det er bedre plass p? gruppe 6 (onsdag kl. 10:15) og gruppe 5 (onsdag kl. 14:15), s? dra gjerne dit om du har mulighet.
Ellers er det noe ujevn fordeling av studenter p? gruppetimene, s? om din gruppetime pleier ? v?re full, m? du gjerne "fordele deg utover" og dra i gruppe 5 eller 6.
?
Ha en fin uke!
Med vennlig hilsen oss som underviser IN1150
Kj?re IN1150-student,
Vi runder n? av introduksjonen av utsagnslogikk, med frist for innlevering 2 i dag. De fleste av dere skal ogs? ha f?tt tilbakemelding p? innlevering 1.
I morgen begynner vi ? se p? beviser, som er alfa og omega i logikk og matematikk. Vi skal ogs? l?re om relasjoner, som bygger p? mengdel?re, og legger grunnlaget for mange av tingene vi skal m?te p? senere.
Logikkafé
Vi minner om at det er logikkafé hver fredag etter forelesning, kl 12-14 i escape. Det var veldig hyggelig forrige uke, og vi h?per ? bli bedre kjent med dere her gjennom semesteret. I morgen tilbyr vi rooibos, en s?r-afrikansk urtete uten koffein.
Ukens n?tt
Du er plassert i en 50m × 50m × 50m-boks som st?r p? fire 100 meter h?ye s?yler. I taket inne i boksen henger det to tau som begge er n?yaktig 50 meter lange, og de er murt fast i taket med n?yaktig én meters mellomrom....
Kj?re IN1150-student,
I dag runder vi av introduksjonen av mengdel?re og utsagnslogikk, med frist for innlevering 1 i kveld kl. 23:59. Vi vil m?te mengder i nesten alle kapitlene fremover (og i logikk ellers), s? det er viktig at dette sitter sv?rt godt. Vi har ogs? begynt p? utsagnslogikk, som vi skal dykke dypere inn i den kommende uka.
I morgen fredag vil Luna introdusere kapittel 3 og 4, hvor vi ser hvordan vi gir betydning til utsagnslogiske formler, og l?rer noen veldig viktige begreper for ? snakke om dem. P? mandag vil vi jobbe videre med disse temaene og begrepene.
Discourse
Etter en uke med teknisk knot er Discourse endelig oppe! Her kan du stille faglige sp?rsm?l, og f? svar av medstudenter og oss som underviser i IN1150. Vi oppfordrer til ? sp?rre om alt du tror andre kan ha nytte av her.
Konkurranser...
Hei! Vi har n? s?vidt begynt p? semesteret med IN1150, og hadde forelesning p? mandag hvor vi snakket litt om hva dette emnet er og handler om, og gikk gjennom det meste av praktiske saker.
I morgen fredag begynner vi for alvor p? pensum! Da vil Henrik g? gjennom kapittel 1 og 2, og du f?r det f?rste av kursets innhold ? begynne ? tygge p?. P? mandag vil vi fortsette med disse to kapitlene, og g? litt mer i dybden.
Pensumliste
Pensumlisten ligger n? p? Leganto, med link fra semestersiden. Som vi sa p? f?rste forelesning, er det viktig ? lese boka mens du f?lger kurset – den er b?de pedagogisk og spennende.
Gruppetimer
Det har v?rt noen forandringer blant gruppel?rerne, som dessverre gj?r at ikke alt med gruppetimene er avklart enn?. Det ligger en forel...
IN1150 starter med forelesning mandag 19.1 kl 12:15-14:00. I denne f?rste forelesningen f?r du m?te de som er ansvarlige for kurset og for ?vingsopplegget, og nyttig informasjon om innholdet.?
Det er ikke gruppetimer i denne f?rste uka i semensteret. F?rste frivilling innlevering publiseres fredag 23.1 med frist for innlevering torsdag 29/1.?
Det blir forelesning igjen fredag 23.1 kl 10:15-12:00 over kapittel 1 og 2 i l?reboka.?
Ukens n?tt
Tre fanger i et rom, sittende p? rad mot veggen. En hatt plasseres p? hver fanges hode, svart eller hvit. De ser ikke fargen p? egen hatt, bare p? de som (eventuelt) sitter foran. Bakerste fange gjetter f?rst fargen p? egen hatt, s? gj?r neste fange det samme, og til sist gj?r fangen som sitter n?rmest veggen det samme. 0 eller 1 feil betyr frihet, 2 eller flere feil betyr d?den. Ingen kommunikasjon i rommet. Finn strategi som fangene kan avtale p? forh?nd som garanterer frihet.
Velkommen til et nytt semester!
Onsdag 14. januar kl 11:15-14:00 arrangeres det et forkurs for dette emnet. Mer informasjon finnes under forkurs-mappen.