## Neste steg - [ ] 📱 Avtal tid til å lage [[Konteeksamen H24]] med Oskar - [ ] 💻 Fiks typo i ekstrakapittel og oppdater - [ ] 💻 Fiks Øving 8 LF (og andre typoer og sånt, se Fredrikmails) - [ ] 💻 Lag LF Øving 9? ✨ - [ ] 💻 Generaliser LF Plenum 10 til å sammenligne overslag med eksakte løsninger? ✨ #### Fullført - [x] Lag slides til i morgen (onsdag)! - [x] Send bilder av Code Book til Fredrik - [x] [Finn ut av hvordan man oppretter referansegruppe](https://studntnu.sharepoint.com/sites/studieplanlegging/SitePages/Startside-emne.aspx) - [x] Fiks [[Øving 6 Frekvensanalyse]] - [x] Finn vikar Plenumsregning i dag *eller* [[Bispehaugen barneparti]] - [x] Finn vikar Plenumsregning i dag *eller* [[Bispehaugen barneparti]] - [x] Skriv og legg ut [[TMA4140 Predikatlogikk]] - [x] Finn ut hvem som skal lage øvingene denne uken - [x] Finn ut hvem som skal lage øvingene denne uken - [x] Lag øving basert på Håvard sine fra i vår. - [x] Lag slides til predikatlogikk, onsdag - [x] Til plenum: se over [Wikipedia: Peano arithmetic as first-order theory](https://en.wikipedia.org/wiki/Peano_axioms#Peano_arithmetic_as_first-order_theory) - [x] Lag plenumsregning U43 - [x] Finn tid til referansegruppemøte U44 - [x] Lag quiz U44 - [x] Organisere regneverksted f.eks. 6. desember? Få svar fra Marius/Einar om vi kan tilby læringsassistentene ekstratimer. - [x] Send mail til læringsassistenter om hvor lenge ordinær mattelab skal vare + én ekstra mattelab før eksamen - [x] Kontakt ref.gr. om siste møte. Foreslå at vi ikke deltar, men spør om deres mening. Foreslå å ta det online. Del When2Meet med datoer fra 10. desember til ca. 10. januar. - [x] Inviter de det gjelder å komme til kontoret mitt for godkjent øvingsopplegg. - [x] Finn tidspunkter for godkjenning av øvingsopplegg. - Alexander Eugen Burum-Auensen (gjennomført) - Jo Gramnæs Tjernhaugen (gjennomført) - Hilal Ates Köse (ikke gjennomført) - [x] Send ut allmail via Blackboard om ekstra mattelab torsdag 12-16 - [x] Lag [[Eksamen H24]] - [x] Be læringsassistentene fylle ut [denne undersøkelsen](https://forms.office.com/Pages/ResponsePage.aspx?id=cgahCS-CZ0SluluzdZZ8BQtq9NIIB3BLjXF4o_-n-RFUNktOQjFVSk9EOEY4VjFTVlpBQllDMVBaTiQlQCN0PWcu) - [x] Finn ut hvem som skal rette eksamen, og gi beskjed til Marius Thaule. - Meg, Oskar, student som tok kontakt, og Arne-Tobias? - [x] Finne én til frivillig til mattelab 6. des (spør igjen) - [x] Fiks LF Plenum 10 ("én-til-to") - [x] ⏳ Få bekreftelse fra Arne-Tobias om at han er med å rette 100 stk (og finn annen løsning hvis ikke). - [x] 💻 Lag LF [[Eksamen H24]] - [x] 📱 Minn ref.gr. på å fylle ut [when2meet](https://www.when2meet.com/?27651660-c3A8I). Når gjort: sett en dato for dem. - [x] 💻 Begrunnelser: Når er fristen? - [x] 🏢 Snakk med Aslak om 3x eksamen + høsten - [x] 💻 Begrunnelser: Sett opp regneark og script - [x] 💻 Begrunnelser: Kan jeg besvare på vegne av andre, eller må de gjøre det selv? - [x] 💻 Begrunnelser: Besvar - [x] 📱 Klager: Finn klagekomitté - [x] 💻 Ref.gr.: publiser rapport i Kasper - [x] 📱 Minn ref.gr. på rapportfrist - [x] 📱 Ref.gr.: Fortell om diplomet de kan få (helst straks jeg har fått rapporten på rett plass) - [x] 📱 Hør med administrasjonen om det går an å godkjenne øvingsopplegget *nå*, så de kan ha det godkjent til høsten. (... men jeg tviler.) ### Fagteam Forelesere: - Meg - Oskar Goldhahn Teaching assistant: - Fredrik Bakke Læringsassistenter: 1. Iben Gjølberg Gedde 2. Hallvard Hegre Holter Grundt 3. Marianne Haugvaldstad 4. Bertine Haukøy 5. Mina Johanne Heier 6. Hannah Erna Köberle 7. Peter Mikalsen 8. Johanne Dahl Norland 9. Agnes Fagerfjord Nørve 10. Anne Rye Salvesen 11. Sofie Lille Holte Sandvik Læringsassistenter regneverksted 5. desember: 1. Marianne Haugvaldstad (12-16) 2. Hannah Erna Köberle (13:30-16) [[Deltakerliste oppstartsmøte TMA4140]] [[Referansegruppe TMA4140 H24]] Sensorer eksamen: - Meg - Oskar - Elsa Puchaczewski (PhD-student IMF analyse og didaktikk, rom 832)? - Arne-Tobias? ### Timeplan Mandag: - 13 - 14: Møte fagteam - Ferdigstill innhold i øving for uken etter inneværende - Diskuter mulig innhold i plenumsregning for uken etter inneværende - Ferdigstill plenumsoppgavesett for inneværende uke - ~~14:15 - 17: Mattelab 1, S7/S8~~ - 14:15 - 16: Mattelab 1, S7/S8 Tirsdag: - 16:15 - 18: Øvingsforelesning, R1 Onsdag: - 12:15 - 14: Forelesning, F1 - 14:15 - 17: Mattelab 3, S7/S8 Fredag: - 14:15 - 16: Forelesning, F1 - ~~14:15 - 17: Mattelab 5, S7/S8~~ ~~Må se an hva vi gjør med overlappet mellom fredagsforelesningen og Mattelab 5.~~ ### Semesterplan Oppstartsuke 34, første forelesning onsdag 21. august. Siste undervisningsuke 47, siste forelesning fredag 22. november. ### Arbeidsfordeling læringsassistenter Aslak skriver: > Det må jo dimensjoneres etter 11 TA-er, så da er det ikke realistisk å ha åpent 30 timer i uka. > > Hvis de er ansatt for 100 timer, er det kanskje rimelig at de er tilstede 3 timer uka og har ca 5 timer til retting og forberedelser? > (13 uker * 8 timer = 104). > > Dere har da 33 uketimer til disp. Gunstig med 3-timersbolker. > Kanskje tre timer, tre dager i uka? > F.eks. > Tirsdag 2-5pm: 3 TA-er > Torsdag 2-5pm: 4 TA-er > Fredag 1-4pm: 4 TA-er  > (Dette gir 33 TA-timer). > > Eller noe sånt. Bør være en del på ettermiddagstid, for å unngå forelesningskræsj. > Og sikkert lurt å ha noe opp mot innleveringsfrist. ### Ekstrakapitler - [Kap. 25 Tallteori](https://wiki.math.ntnu.no/_media/tma4140/2024h/25-tallteori.pdf) - [Kap. 26 Kongruensregning](https://wiki.math.ntnu.no/_media/tma4140/2024h/26-kongruensregning.pdf) - [Kap. 27 Litt mer tallteori](https://wiki.math.ntnu.no/_media/tma4140/2024h/27-mer-tallteori.pdf) - [Kap. 28 Kryptologi](https://wiki.math.ntnu.no/_media/tma4140/2024h/28-kryptologi.pdf) - [[TMA4140 Predikatlogikk]] ### Quiz #### U44 Førsteordens språk [[Quiz U44 Førsteordens språk]] ### Møter #### [[12024-10-14]] - *Hvis* du velger å bruke én og en halv uke på hvert av temaene Kombinatorikk og Førsteordens logikk/predikatlogikk, så kan du bruke starten på sistnevnte tema til å hente inn litt mer av den (forholdsvis interessante) formalismen som Roger Antonsen snakker om, før du anvender den til mengdelære i stedet for alle de rare eksemplene han snakker om. - Spe på med sannsynlighetseksempler for kombinatorikk denne gangen? *Er* jo tross alt der det skal brukes. - Eksempel eller oppgave om inklusjon eksklusjon, hvor én av (del)mengdene er mørketall? E.g., hvor mange blir uføre utenfor trafikken? Vet totalen, vet hvor mange som var i trafikkulykker, kan ekstrapolere hvor mange som ble uføre utenfor trafikken. (Men de som er uføre fra andre steder *og* har vært i trafikkulykke er vel da også et mørketall?) - [x] Lage en oppgave om [bursdagsparadokset](https://en.wikipedia.org/wiki/Birthday_problem)? Se på dette selv. Bruke a-oppgaven(e) til å snakke om hvor mange man må ha i et rom for at sannsynligheten blir over 50%? Deretter eksplisitt koble til kollisjonsresistans av hashfunksjoner? #### [[12024-09-23]] Agenda - [x] Hvem skal være klagesensor for TMA4140? - [x] Intern: Håvard, Aslak, eller Fredrik (i den rekkefølgen) - [x] Ekstern: Morten? - [x] Høre med Oskar om han kan svare mail fra Alper #### [[12024-09-16]] - Prøv å få fastsatt referansegruppe på onsdag. - Tallteori-øvingen på STACK i fjor var veldig vanskelig. Fordi du må løse en haug med kongruenslikninger, og hver av de er ganske mye jobb, og får du to av de feil så er det underkjent. Kan løse det med å la oppgavene rettes én og én i denne omgang. - Ingen skriftlig øving på Tallteori 1. #### [[12024-09-09]] - Turns out valuasjon $\neq$ tilordning. Komplisert definisjon. Unngå for now; bruk "tilordning av verdier". #### [[12024-08-26]] - Send mail om rombooking F1 fredager - Fikk en mail nå fra læringsassistent: "Finnes det noe køsystem vi skal bruke på mattelab? Vi deler mattelab med matte 1 og 3 som bruker QR-kode til å stille seg i kø. Har vi noe liknende, eller er det mulig å bli lagt til i deres system?" Undersøk. #### [[12024-08-19]] - Ok å bruke forrige års plenum som Plenum 1, gitt at Fredrik er syk - Kan basere Øving 2 på forrige års Øving 2, men ville vært fint med en oppgave om å finne inversen av en funksjon #### [[12024-08-13]] **Agenda** - Fastsette første øving - Diskutere første plenum. Hvor mye gjenbruk er greit? - Finne fast tidspunkt for disse møtene. (Tirsdager 13 kræsjer med Lieteori for min del etter semesterstart.) #### [[12024-08-06]] **Agenda:** - Ansvarsroller: Hvem gjør hva? - Stud-asser og mattelab: Hvordan organiseres dette? - Øvinger: Hva skal de inneholde, hvor tidlig må de være klare hver uke, hvilke deadlines skal de ha, og hvor mange godkjente må studentene ha? - Øvingsforelesninger: Hva skal *de* inneholde? - Undervisningsfordeling Hans/Oskar - Organisering av møte med stud.asser - Blæsting: Hvem får ja og hvem får nei? **Notater:** - Én mindre i fagteamet, så vi må organisere litt annerledes enn i fjor. - Stack-oppgavene kan stort sett brukes på nytt. - Fredrik må regne litt på hvor mye pliktarbeid han har igjen. Kan ta på seg litt ekstra dette semesteret og være ferdig i år. - Oskar bare tar seg av Stack, så kan meg og Fredrik være fokusert på resten av øvingene. Jeg gir beskjed om "sånn cirka sånn bør det være", og så kommer Fredrik med de konkrete oppgavene. - Øvsys brukes til å godkjenne skriftlige øvinger. - Litt utfordrende å finne ut av hvordan vi skal organisere timeline med øving, gitt at øvingsforelesning er tirsdag og pensumsforelesningen er onsdag. - Oskar anbefaler å sette deadline til torsdag kveld, slik at de som er *avhengig* av øvingsforelesningen for å se hvordan en oppgave skal løses kan se den og jobbe godt før de må levere. - Forslag: gjøre det samme som i fjor—frist for øving fredag klokken 14, ny øving legges ut fredag klokken 15, mens *øvings*forelesningen legges ut onsdag klokken 12. - Fordeling TA-er mattelab: - Mandag 4, onsdag 4, fredag 3? - Eller: Mandag 4, onsdag 5, fredag 2? - Vi har repetisjon som vanlig i første halvdel av fredagen, og så går vi sammen til mattelab i andre time, hvor jeg/Oskar er tilstede frem til fire. - Tror Øvsys automatisk fordeler studentinnleveringer på studasser. - Fredrik må spørre teknisk gruppe om å få satt opp øvsys for faget. (Og ditto Oskar for Stack.) - Mindre fokus på beregning og mer fokus på "vis at"/"forklar hvorfor" i de skriftlige øvingene (Stack kan ta seg av beregningsbiten) - Samme fordeling som i fjor på antall øvinger som må være godkjente for å gå opp til eksamen. **Semesterplan:** - Uke 34, O (21.8): Introduksjon/mengder og relasjoner - Uke 35, O (28.8): Funksjoner og relasjoner - Uke 36, O (4.9): Utsagnslogikk I - Uke 37, O(11.9): Utsagnslogikk II - Uke 38, H (18.9): Rekursjon og induksjon - Uke 39, H (25.9): Tallteori I - Uke 40, H (2.10): Tallteori II - Uke 41, H (9.10): Kryptografi - Uke 42, H (16.10): Førsteordens språk I - Uke 43, H (23.10): Førsteordens språk II/Kombinatorikk I? - Fredrik vikarierer fredag 25.10 - Uke 44, H (30.10): Kombinatorikk II? - Uke 45, O (6.11): Grafteori - Uke 46, O (13.11): Tilstandsmaskiner og regulære språk - Uke 47, O (+ H tilstede/tilgjengelig?) (20.11): Repetition - Siste forelesning: 22.11