**Møtenotater 100823** - Mandagsforelesning 12-14 av Aslak og meg: - på slutten av forelesning så legges det ut noen plenumsregningsoppgaver - enkle eksempler på definisjonene som er blitt gitt - disse gjennomgås torsdag 8-10 av Håvard (og kanskje Oskar en uke eller to) - noen konsepter, som potensmengde og venndiagram, kan dukke opp første gang i disse oppgavene, så de kan introduseres via utforsking og regning - gjør litt med vilje at vi sier at disse oppgavene har noe nytt pensum i seg og dermed oppfordre til at folk gjør disse også - Fredagsforelesning 14-16 av Aslak og meg + noen læringsassistenter, kanskje også Håvard/Oskar i starten hvis det er veldig stort oppmøte - 14-15: - repetisjon, kan noen ganger bruke ordsky (word cloud) til å finne ut hva folk er mest usikker på, eller husker minst av, fra mandagsforelesningen; ta største ordet og bruk litt tid på det - quiz ([mentimeter](https://mentimeter.com)), legge ut lenke til quizen i etterkant så folk kan bruke det som en læringsressurs opp mot eksamen? - evt. noen enkle oppgaver; svar sendes inn på mentimeter; vi også kan slik "teste" hvor mye som har gått inn fra mandagen - 15-16: klokken 15 publiseres ny øving, idet vi går inn i pause, lar de begynne på den i time 2, her kommer læringsassistentene og hjelper - må leveres innen klokken 14 fredagen etter - Aslak ønsker øvingene skal være rundt *halvparten* så store som de i fjor - men hver øving bør ha i hvert fall én (del)oppgave som er *litt* utfordrende - noen uker gir vi skriftlig, andre uker stack, og andre ganger igjen gir vi begge deler og lar de velge - første tallteoribiten kan faktisk være utelukkende stack - ~~x/12 må være godkjente~~ - ~~hvorav y stack og x-y skriftlige~~ - ~~forslag: blir mellom 9 og 10 øvinger totalt av hver av stack og skriftlig, og må bestå ca 75%, så kanskje 7 av hver type?~~ - nytt forslag: - må gjøre 5 av 8 Stack-oppgaver - må gjøre 7 av 10 skriftlige oppgaver - blir 12 tilsammen: i snitt 1 per uke - **vi går for dette** - går også an å ha øvinger en uke hvor det er nytt tema på stack og repitisjon på skriftlig (hvis vi trenger tallene til å gå opp) - Aslak og Håvard stemmer at vi sløyfer idéen om at "minst 4 øvinger må være fra de 6 siste" etc. (Oskar sier det er teknisk enkelt å gjennomføre, men de argumenterer for at det er en unødvendig komplikasjon for oss.) - Kommuniseres ikke til studentene, men Stack kan brukes til å lage ekstra skriftlige øvinger til de som mangler noen på slutten av semesteret - bra å avlaste læringsassistenter i deres egen eksamensperiode - Kommentar om pensum fra Oskar: erstatte definisjon av språk etc. helt med bare endelige tilstandsmaskiner? er stort sett sistnevnte biten folk får nytte for. kaaan være nyttig å vite at de er ekvivalente med regulære språk. - tidligere har det vært et kapittel om endelige tilstandsmaskiner alene, mens i fjor var det en mye større bolk dedikert definisjon av språk og sånt som studentene har langt mindre nytte av - når meg og Aslak forbereder undervisninger til ukene, så kan skal vi samtidig tenke på hvilke type oppgaver vi har lyst å gi til studentene i obligene og i plenumsoppgavene -> kommuniseres til Håvard og Oskar på ukentlige møter - Grupper: - 17 grupper satt opp per i dag, to rom per gruppe (?) med kapasitet på ca. 20-24 per rom - noen grupper fikk rom i to forskjellige etasjer i fjor; "helt håpløst" - Læringsassistenter går rundt og hjelper studenter med obligene - de skal også rettene obligene, rundt 40 rettinger per uke i snitt - bra de får betalt ihvertfall - ønsker at det *meste* skal gå gjennom - tommelfingerregel fra linalg: "50% rett eller et ærlig forsøk" - rettefrist torsdag kveld? kan jo påvirke spørsmål studenter har til fredag ettermiddag - noen populære tidspunkt var overbelastet i fjor - gi løsningsforslag til læringsassistenter i forveien? - kutte ut 1 hver av de doble 8-10-gruppene mandag og tirsdag, samt 11-13-gruppen på fredag, og bruke disse læringsassistentene på fredagstimene istedet? (men de skal også rette obliger da) - alternativt betale tre ekstra motiverte stud.ass.er litt ekstra for å dukke opp på fredagene også - kan evt. la alle gruppene være der i starten og så kutte ut de gruppene med dårligst oppmøte (evt. hvis to samtidige har halv kapasitet hver) - har studentene blitt tildelt grupper allerede eller ikke? påvirker jo gruppene som blir avlyst - Ukentlig planleggingsmøte - Agenda: planlegge to uker frem i tid - øvinger, plenumsoppgaver - eventuelt tilbakemeldinger og ting vi må ta tak i - Torsdager 13-15 - Neste torsdag allerede gjør vi alt klart til undervisningsuke 2 - før den tid må vi gjøre klar undervisningsuke 1: tirsdag 10-12. - Kontekstualisering: - Kurset skal revideres ifbm FTS (Fremtidens TeknologiStudier), flyttes samtidig til Vår 2025, og Mette har gitt Aslak ansvar om å spørre de diverse studieretningene om hva de ønsker av kurset, og dermed bygge inn kontekstualiseringen da. - For denne gang er det ikke noe vi trenger å tenke på, annet enn å ha i bakhodet - Oskar har laget noen programmeringsoppgaver i stack; første vgs-elever som gikk vgs med nye læreplanen (som inkluderer mer programmering) begynner nå. - annen type oppgave: du blir gitt en pythonsnippet, og blir spurt noe om den; kanskje en snippet om gcd-algoritmen feks - hadde også laget en prog.oppg. om endelige tilstandsmaskiner - Kontakt-epost? - inspirert av matte 1: https://wiki.math.ntnu.no/tma4100/2023h/kontakt_ok - vi prøver uten, og så har vi denne idéen som en Plan B dersom volumet blir uhåndterbart - bruke mattelab-forumet? - jeg er for, men det ser ut til å være ganske få som bruker det - enda et system å overvåke uten særlig nytte? - kanskje bedre å heller utvide ofte stilte spørsmål - merge kontakt og ofte stilte spørsmål, så de må lese gjennom den før de kommer til kontaktinfo? - [Øvsys](https://ovsys.math.ntnu.no): et system som IMF har laget og hoster selv fordi blackboard suger; det bare funker. fantastisk. 3 uker: mengde, rekursjon, induksjon 2 uker: **Møtenotater 150823** - Gjennomgang plenumsregning uke 1 - regner ikke med at en stor del av publikum har brukt særlig med tid på den innen torsdag - tenker mer på disse som eksempler som skal gjennomgås, enn oppgaver (men fint for de som regner på dem selv) - nytt pensum i oppgaven: potensmengder - må oppfordre studenter de ukene det både er stack og skriftlig, til å gjøre stack-oppgaven først, siden det er mer "drilling" - arbeidsflyt: - Håvard skriver oppgaver basert på forslag fra oss - Oskar tar ut noen av oppgavene til Håvard som passer bra til Stack - Dersom studenter sliter med å få til Stack, så kan de legge inn en tilbakemelding i slutten av oppgaven. - Alternativt kan de sende en mail direkte til Oskar. - Håper også stud.ass.ene kan være behjelpelig her. - Lager en testøving som kan brukes for å teste og bli vant til interfacen. - Antall oppgaver godkjent for at øvingen skal være godkjent: 80%? + uendelig antall forsøk. - når quizzen er ferdig blir den gradert som godkjent eller ikke godkjent, med tilbakemelding om hvilken deloppgaver som var feil. - Legge til rette for at det er lik policy som Matte 1 (for enkelhetens skyld for studentene). - Skriftlige oppgaver hakket vanskeligere, men til gjengjeld 50% for å få den godkjent - Skriftlig Øving 1 hadde 4 oppgaver (med en del deloppgaver), som Aslak syntes var en OK mengde for en ukentlig øving; men to av oppgavene tas ut til Stack, så da *ser* det veldig lite ut med bare to oppgaver igjen. - *Men* vi vil jo at studentene skal løse både Stack og den skriftlige (og det er ikke mange uker hvor de *ikke* kan løse begge, med de kravene vi har satt). Så da blir jo mengden arbeid den samme. Og faktisk litt mer, fordi Oskar har lagt inn en ekstra oppgave. - Være tilstede og hjelpe til den siste timen på fredagen? (I hvert fall nå i starten.) - NB: Er ikke grupper første uken. **170823** - Vi dropper å referere til den andre (store tykke dyre amerikanske) boken, og de gangene vi føler at Antonsen trenger utdypning (f.eks. sammenheng mellom tupler, lister, og strenger; inverser av funksjoner), så skriver vi et lite småformelt Appendix til det relevante forelesningsnotatet, og sier det er en del av pensum. - Møte på mandag i S3 på stripa, klokken 16 **Forelesning 1, 210823** - Huh, studentene må skrive på de skriftlige innleveringene "ønsker tilbakemelding" for å få tilbakemelding (for å avlaste læringsassistentene). - fyr har oppe hånden, vanskelig for å bli sett (han ble sett til slutt), hold et ekstra øye ute eller be folk ikke være redd for å rope ut hvis jeg ikke ser de ("unnskyld!"). - Mentimeterresultater: se bilder - Nevne (minimum muntlig) hvilke kapitler det jeg snakker om under en forelesning dekker. - Ganske vanskelig å se laserpeker + dukker ikke opp på skjermene bak. Unngå å lene deg for mye på den (peking og veiving er bedre). - NB: vi definerer 0 til å være det minste naturlige tallet. - Gjør ikke noe at taklyset foran er på for lesbarhet av slides. - litt for varmt og litt for dårlig luft helt oppe bak syns jeg. Føler meg svimete, men vet ikke om det er varme, vannmangel, eller kaffemangel. - viktig å skrive **tykt** på tavlen; egentlig viktigere enn å skrive stort. - tavlelys løste problemet - for min del kanskje greiere å bare bruke notability til å skissere, hvis jeg klarer å koble opp iPaden? og laste opp etter forelesning/oppdatere det som allerede er lastet opp. - merker at det er lettere å falle ut og vanskeligere å komme inn igjen når avstikkere blir tatt på tavlen - opprakt hånd er fortsatt vanskelig å se for foreleser; adressere? - produkt mellom mengder = "kryssprodukt" eller "kartesisk produkt" - Aslak kommer stort sett til å kalle det kryssprodukt - Studenter begynner å pakke sammen nøyaktig 13:59, så det har lite formål å gå over tiden. **Fredagsforelesning 1, 250823** - glemte ø (tom mengde) i oppsummeringssliden - feil på tavle: potensmengden er ikke lik 512; *størrelsen* på potensmengden er lik 512. - ser ikke kritt på våt tavle. har vi nal? - fortelle dem at toerpotensene blir vel så nyttig å kunne som en hvilken som helst gangetabell? - pugg (så du kan telle på fingrene): 2 4 8 16 32 64 128 256 512 1024 = 2^10 **Mandagsforelesning 2, 280823** - Verdt å huske/nevne at de fleste som har drevet med programmering har vært borti moduloregning før - Også verdt å huske at dette er en generasjon av kids som gjerne aldri lærte analogklokken **Møte 010923** - bruke litt innhold fra Kap. 17 (ekvivalensklasser ved moduloregning) når du introduserer tallteori **Møte 210923** - siste fem ukene: - kombinatorikk (18-19) - Aslak tar dette - grafteori - ta inn trær her: sammenhengende grafer uten sykluser - gjerne begynne litt på vandring allerede her - vandring av grafer II og tilstandsmaskiner - ta inn noe om deterministiske tilstandsmaskiner allerede her, så vi har mer tid til å ta både det og regulære uttrykk - formelle språk og formelle språk/tilstandsmaskiner - kybernetikkstudentene bruker faktisk tilstandsmaskiner til å modellere heis og andre simple modeller - lagt mindre vekt på i boken og i fjor enn tidligere år - bruke en uke på deterministiske tilstandsmaskiner grundig, og nevne overfladisk at det eksisterer ikke-deterministiske tilstandsmaskiner - noe om regulære uttrykk? - det de kommer til å gjøre med regulære språk er typ parsing og sånt via regulære uttrykk i et programmeringskurs, søk, etc - er noe om det i oppgavene i slutten av kapitlet - … i motsetning til tilstandsmaskiner! - minner jo litt om å bygge tilstandsmaskiner, men er en litt annen formalisme - er jo litt dumt at vi bruker to uker på grafer og deretter kaster ut all den intuisjonen - det klassiske beviset for at uttrykket $0^n1^n$ ikke er regulært? er det i boken? - nevne på plenum noe om determinstistisk og ikke-deterministisk leder opp til P vs NP og NP-kompletthet - *er* pensum i algoritmerfaget (siste kapittel) så si at dette er et frempek for de som skal ta det - repetisjon - Om kongruensuken - forklare først i henhold til notatet - og deretter mot slutten av forelesningen hoppe til kap. 17, og vise hvordan vi kan generalisere dette til ekvivalensklasser - og vise et eksempel eller to på andre ekvivalensklasser, f.eks. bitstrenger som representerer heltall (hvor mange nuller som var først) - knytter opp til plenumsoppgaven om tellbart antall endelige bitstrenger - senere grafteoriuken: a ekvivalent til b hvis det finnes en sti fra a til b, gir en ekvivalensklasse med sammenknyttede noder - Ta med et eksempel om ekvivalensklasser i Øving 7 - Håvard skriver opp et forslag - ta inspirasjon av hans formalisme til forelesningsnotatene - (Aslak melder seg ut av dette) Møte 051023 - Både meg og Håvard er happy med forelesning henhhv. plenum - han påpeker at han ikke gikk gjennom likningssett med ax på venstre side for a =/= 1 - men nevnte muntlig - er en sånn oppgave på ukens Stack - mellom Håvards muntlige og min gjennomgang for enkeltlikninger burde det gå greit - NB: Sørg for å introdusere gangesymbolet $\Pi$ på mandag - NTNU Hjelp (Halvard) - spør om Stack-tilgang (Referansegruppe)møte 121023 - To-do: gå gjennom gamle eksamenssett og lag en liste over (ikke-)relevante oppgaver. - [x] Oppdater notater og legg ut ny versjon. - [x] Lage en boks elns og si at mod som også kan skrives $\equiv_m$, oppfyller kravene for en ekvivalensrelasjon, og kan derfor brukes til å definere ekvivalensklasser, cf. kap. 17? 021123 - Nevne på mandagsforelesning: - Vi har nå lagt ut en oversikt over relevante eksamensoppgaver. - Kun skriftlig øving på fredag! - Denne ukens *nye* øving inkluderer også neste ukes tema, og har derfor utvidet frist, til mandagen etter, klokken 12:00. - Om [fagsiden](https://www.ntnu.no/studier/emner/TMA4140/2023#tab=omEmnet): - legg inn kryptologi, inkl. RSA - vurdere førsteordens språk: Aslak mener vi kanskje bør skippe dette, dvs ikke nevne det (altså ikke legge det til) og toner det kraftig ned til neste år til sammenligning med i år, og heller bare utvider utsagnslogikken med kvantorene $\exists$, $\forall$ (slik det har blitt gjort tidligere år). - førsteordens språk er visst tradisjonelt en slags prolog til kunstig intelligens-fag, mens i dag tar man mer utgangspunkt i lineær algebra - istedetfor å snakke om modeller og syntaks så "utvide utsagnslogikken så vi har variabler også, så vi går fra å si at '2 er et partall' til at 'x er et partall'; gjøre det mindre formelt, trenger bare introdusere hvilke mengder x er hentet fra, samt kvantorene." 091123 - Øving 10 teller dobbelt, relevant for de som er usikker på om de har nok godkjente skriftlige øvinger. - legge ut prøveeksamen før torsdag - den gjennomgås torsdagen og fredagen etter - mentimeter på mandag (word cloud): hva skal jeg repetere uken etter? (ta screenshot og bruk i forberedelsene) - eksamen må være inne innen 9 arbeidsdager før eksamen - dvs må være inne innen mandag 27. nov - må også ses over av en annen fagperson, feks Kristian, før den kan sendes - gi den til Kristian innen 20. november - må dermed fullføre den ila neste møte på torsdag - skriv oppgaven om Fermat-faktorisering av RSA - lag 5 tallsvar/MC-oppgaver om tallteori, begynne veldig enkelt, litt stigning 1. Finn inversen til 2. Euklids algoritme, finn gcd 3. En kombinatorikkoppgave 1. en helt enkel versjon av passordoppgaven (langversjonen kommer på konteeksamen). 2. Versjon hvor passordet kan ha mellom 5 og 8 tegn? 4. Bruk Eulers teorem til å finne siste siffer i et stort tall ved å finne $\varphi(N)$? 1. Kan også lage noe enklere hvor man kan finne et mønster 2. Siste siffer i $8^x$. 8, 4, 2, 6, ..., repeterer etter max ti steg. **161123** - Annonseringer - ta med gult ark! - hent på instituttkontoret, - må være stemplet, - må være håndskrevet, - kan skrive på begge sider. - Regneverksted 7. desember fra 8 til 16 i S2, med stud.asser tilstede (så etter matte1-eksamen) - kan være lurt å være der tidlig, vi har begrenset bemanning - Definitivt repeter på mandag - Induksjonsbevis - handshake-lemma med strukturelt induksjonsbevis? Håvard og Aslak syns det er en god idé å ta et kort strukturelt induksjonsbevis - Håvard har tatt en variant av dette på plenum - Euklids algoritme - Regne inverser med Euklids utvidede - RSA-definisjonene (fullt regneeksempel kommer på prøveeksamen) - Vise hvordan en ekvivalensrelasjon sett ut i førsteordens språk - modellene som oppfyller språket er nøyaktig ekvivalensrelasjonene - kan gi da to eksempler fra modulær aritmetikk - se også på løsningsforslagene til Håvard om temaet - *Er en av de tingene som er best dekket av prøveeksamen. Kan vurdere å bare henvise til torsdag om de vil vite mer om temaet.* - repeter *både* babystep-giantstep *og* Fermats faktorisering - *prøve å komplementere prøveeksamen i så stor grad som mulig* Plan repetisjonsforelesning: 1. Annonseringer - ta med gult ark! - hent på instituttkontoret, - må være stemplet, - må være håndskrevet, - kan skrive på begge sider. - Regneverksted 7. desember fra 8 til 16 i S2, med stud.asser tilstede (så etter matte1-eksamen) - kan være lurt å være der tidlig, vi har begrenset bemanning 2. Induksjonsbevis 1. basic idé og intuisjon: rekursiv sannhet 2. strukturelle induksjonsbevis 3. eksempel: håndhilselemmaet 3. Tallteori 1. Esatorenes sil 2. fermats faktoriseringsmetode 3. modulærregning 1. hvordan heltallsfaktorisere på tilbakestående kalkulator 2. omforme fra modulærlikning til vanlig likning, og tilbake 4. mod potenser 1. Eulers teorem 2. binærmetoden 5. Eulers algoritme 1. finne gcd 2. finne inverser via utvidet algoritme 6. Kinesisk restteorem 7. disk-log 1. baby step giant step 4. Kryptologi 1. Diffie-Hellman 1. regne ut eksplisitt utvekslede nøkler 2. baby step giant step til å knekke? 2. RSA 1. repetere fremgangsmåte; detaljert eksempel på fredag 2. Nevne men ikke vise: kan bruke Fermat-faktorisering til å knekke RSA hvis p og q er dårlig valgt 5. Kombinatorikk 1. De fire forskjellige typene 2. Antall isomorfier 6. Førsteordens språk: blir mer av dette på torsdag! Referansegruppemøte - hadde ønsket - mer på tavle fremfor slides - forutsigbarhet om innleveringer - bedre forberedte eksempler - Legge til relevante kinesisk restteorem-oppgaver fra Tallteori-faget - Kunne ønsket mer kombinatorikkoppgaver på øvinger, siden det krever litt mengdetrening å skjønne hvilken av de fire formlene man må bruke i hvert tilfelle. - Ville til neste år, hvis vi får bedre timeplan, fordelt nytt stoff mellom f.eks. mandagen og onsdagen, med flere eksempler underveis. Fredagen, spesielt etter 15, føles litt som bortkastet tid som kunne blitt brukt på flere eksempler istedet. - Mange som føler de ikke får noe utav quizzen, men også mange som syns den er veldig hjelpsom til å få oversikt over de viktigste tingene. - I matte 1 har de «Interaktiv forelesning»: tar for seg færre men mer omfattende oppgaver, hvor studentene får tid til å regne og diskutere, og deretter blir tatt på tavlen. Stort sett 4 oppgaver, altså 2 per time. Veldig populært tilbud; stappfullt hver gang. - Ønsker seg flere visuelle eksempler: boken er flink på å ha med tegninger. Flere eksempler underveis. - Legger merke til etter hvert at boken er litt for *vag*. - Men til sammenligning er det *veldig* få som bruker Adams i Matte 1, fordi den er *for* teknisk. - Oppgavene i Antonsen er egentlig ikke så relevante i forhold til oppgavene vi gir på øvinger og stack. - Interessant idé: istedetfor regnegrupper, ha to dager i uken med mattelab, hvor alle læringsassistentene er tilstede. - Ønske om mer grundig retting *når man ber om det* (det er en boks man kan huke av). Litt kjipt å bare få «veldig fint!» når man har huket av den boksen og stilt konkrete spørsmål. - Noen læringsassistenter skulle gjerne forberedt seg bedre (eller i det hele tatt). - Repetisjons-Stack: man skal kunne sjekke svarene underveis, uten å trenge å trykke lever. Dette funker ikke her per i dag. U47: 1. Spørsmål fra en som tar faget opp igjen: kan vi endre så det er lov å skrive på ipad og printe ut? Det var lov i fjor, er standard i andre fag, og eksamensvaktene er vant til det. (Kurusch trodde visst det samme som oss, men fikk det endret til at det var lov etter forespørsel.) 2. oppg 8 H22: teorem om Eulervei og kanter funker ikke i rettede grafer? 3.