Beskjeder
Kjære IN1150-student,
Vi takker for en fin avslutningsfest.
Vi ønsker deg også lykke til på eksamen i morgen. Det er tidligere blitt publisert en beskjed med informasjon om eksamen, som burde leses nøye.
Ukens nøtt
Gitt et positivt heltall n, har vi følgende regler:
- n → n/2 (hvis n er et partall)
- n → 3 · n + 1 (hvis n er et oddetall)
Dersom vi bruker reglene ovenfor gjentatte ganger, med 13 som utgangpunkt, får vi den følgende sekvensen:
13 → 40 → 20 → 10 → 5 → 16 → 8 → 4 → 2 → 1
Merk at dersom vi fortsetter å bruke reglene så går sekvensen i en løkke:
1 → 4 → 2 → 1 → 4 → 2 → 1 → ⋯
Er det s...
En litt prematur avslutningshilsen, siden det er avslutning i morgen, men det gir jo også muligheten å spørre i morgen om det skulle være noe av det under som dere lurer på. Her er litt info:
Prøveeksamen i Inspera
I fjor ble det laget en prøveeksamen i Inspera og denne skal være åpen for dere nå.
–> logg inn, test ut Inspera og lær hvordan du skriver svar i systemet!
Eksamen 1. juni kl. 09:00
Mandag 1. juni det eksamen! Alle bør lese det som står her på forhånd: Eksamen, tid og sted
Det blir en trøste- og oppklaringsrunde i Silurveien ca. kl. 10.00. Formålet med denne er å svare på faglige spørsmål om oppgaveteksten og avdekke eventuelle feil og uklarheter i oppgavene (altså ikke å få hjelp til å løse dem).
...
Kjære IN1150-student,
Nå er vi på tampen av semesteret, og det eneste vi har igjen før eksamen er denne ukas repetisjonstimer og avslutningsfest på fredag.
Repetisjonstimer
Denne uka holdes det også repetisjonstimer om store deler av pensum, og vi anbefaler at du drar i så mange som mulig. Program for timene ligger på gruppetimesiden.
Avslutningsfest!
På fredag holdes semesterets siste forelesning, som i IN1150-tradisjon blir en avslutningsfest. Her blir det litt om eksamen, litt miniforedrag, snacks og godteri og god stemning. Vi har laget en egen side for dette her.
Ukens nøtt (for forrige uke)
Femten IN1150-studenter ønsker å studere en hel uke (7 dage...
En endelig eksamenbeskjed kommer senere, men her er et par ting nå:
- Lenke til tidligere eksamener ligger nå nederst, under "Ressurser".
- Oversikt over symboler
Dokumentet i linken over inneholder en liste med symboler som brukes i kurset, sammen med hvordan de kan skrives i ren tekst (og LaTeX).
På eksamen er det kun mulighet til å uttrykke seg med ren tekst. Under sensuren tolker vi notasjonen din etter beste evne. Det er ikke et krav å følge notasjonen som er foreslått i dokumentet, men heller ment å gjøre det enklere for deg å finne en naturlig og forståelig notasjon.
Kjære IN1150-student,
Nå er vi ferdig med det som skal gjennomgås av pensum, og vi håper du har satt pris på denne reisen gjennom en liten bit av logikkens verden.
Repetisjonstimer
De neste to ukene vil alle gruppetimene være repetisjonstimer, og vi vil dekke nesten hele pensum. Noen spesielt viktige deler av pensum gjennomgås to ganger av to forskjellige gruppelærere, som er en god anledning til å høre viktig pensum fra flere perspektiver.
Vi anbefaler å dra på alle repetisjonstimene, da dette er en god anledning til å få oversikt over pensum, forstå det bedre og oppklare spørsmål som måtte henge igjen.
Plan for repetisjonstimene ligger på gruppetimesiden.
Logikkafé
I morgen fredag holder vi siste logikkafé for semesteret! Vi sees der for en siste gang med hyggelig diskusj...
Kjære IN1150-student,
Nå er vi ferdig med grafteori, og har med det lært et fleksibelt og kraftig matematisk verktøy som kan brukes til veldig mye forskjellig. For de av oss som fortsetter på et studium i informatikk er det garantert at vi kommer til å møte på grafer i framtida.
Vi begir oss straks ut på de siste to kapitlene i boka! Først skal vi se litt mer på formelle språk og hvordan vi kan jobbe med dem. Så skal vi såvidt være innom naturlig deduksjon, som gir et helt nytt perspektiv på utsagnslogikk!
Ingen forelesning i morgen
I morgen er det 1. mai, og derfor ingen forelesning. Det blir da heller ikke logikkafé.
Vi sees på mandag, hvor vi begir vi oss ut på kapittel 23, og i gruppetimer på mandag og onsdag.
Discourse
...
Klarer du å lage en sammenhengende vei som går over alle broene i tegningen én, og bare én, gang? Hvis ikke, hvorfor ikke?
--
Med vennlig hilsen oss som underviser IN1150
I hvert fall vil du etter mandag vite nøyaktig hva en "algebra" er. Vi skal også kikke litt mer på kombinatorikken, og blant annet se hva Pascals trekant kan fortelle oss. I dag er det også innleveringsfrist for innleveringen til kapittel 17 og 18.
Kunstutstilling på Realfagsbiblioteket
Fra nå, og helt frem til første juni, er det en kunstutstilling på Realfagsbiblioteket som vi tror du vil sette pris på. Kunstneren er vår egen Roger Antonsen, som utviklet dette kurset og skrev læreboken Logiske metoder som vi håper du er godt kjent med.
Kunsten leker med å lage enkle regler og illustrere det som følger, og hvert bilde er en invitasjon til å finne reglene som ligger bak. Mer om dette i ukens nøtt!
Logikkafé
Sist uke hadde det dessverre oppstått misforståelser pga. ettermiddagen@ifi,...
Etter forespørsel har jeg lastet opp notatene fra fredag 10. april under Forelesningsmateriale. Da fikk jeg også rettet opp en rar feilsigelse helt på tampen ("funksjonene går motsatt vei" - de går samme vei, som tegningen viste), og lagt til tre forslag til øvingsoppgaver.
Hilsen Henrik
Kjære IN1150-student,
Nå runder vi av kapitlene om førsteordens logikk, med innleveringsfrist i dag. I morgen begynner vi å se på forskjellige måter å kategorisere ting på, med ekvivalensklasser og partisjoner. Vi skal også se på kombinatorikk, kunsten å telle.
Logikkafé
Velkommen til logikkafé på Escape etter forelesning i morra! Her kan du få et avbrekk fra ettermiddagen@ifi, med hyggelige medstudenter og gruppelærere, og god kaffe og te. ;)
Ukens nøtt
Vi har en rett pinne som er 60 centimeter lang. Hvis vi plasserer en maur på den ene enden av pinnen, vil den gå langs pinnen og falle av den andre enden etter nøyaktig 60 sekunder. Hvis vi plasserer én maur i hver ende av pinnen, vil de gå mot hverandre; når de møtes, vil de snu og gå tilbake andre veien, og falle av enden de startet i, også etter nøyaktig 60 sekunder.
Vi plasserer 100 maur vilk...
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
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v26/grupper/
https://www.uio.no/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...