**Lenker:** [Hovedside](https://wiki.math.ntnu.no/tma4140/2023h/start), [Fjorårets emnerapport](https://innsida.ntnu.no/studiekvalitetsportalen/emner/TMA4140) [[Konteeksamen H23]] **Fagansvarlig:** Aslak **Forelesere:** Aslak og Hans **Øvingsforeleser:** Håvard **Stack-ansvarlig:** Oskar **Læringsassistenter:** 17 stk **Referansegruppe:** - Aslaug Iversland - Faustin Tamba Kebbe - Marte Hanto Kolstad - Elida Kraggerud - Emma Rucheva - Pål-Gunnar Skog **Hovedfagbok:** Roger Antonsen, Logiske Metoder ~~**Ekstrafagbok:** Lewis/Zax, Discrete mathematics~~ **Eksamen:** lørdag 9. desember [[TMA4140-eksamen]] **Fagprogrammer som har dette faget som førstesemesterfag:** - MTIØT - siv.ing. industriell økonomi og teknologiledelse - MTDATA - siv.ing. datateknologi - MTKOM - siv.ing. kommunikasjonsteknologi og digital sikkerhet - MTING - siv.ing. ingeniørvitenskap og IKT **Forelesninger:** * Mandag 12:15 - 14:00 * Øvingsf.: Torsdag 8:15 - 10:00 * Fredag 14:15 - 16:00 **Første forelesning:** * 21. august * første forelesning Hans: 25. september **Mandagsforelesninger:** * Gi noen (ikke-obligatoriske) oppgaver som man sier at blir gjennomgått på torsdag. * Typisk gjennomgå to kapitler ila mandagen. Mye stoff! * Forelese med iPad, noe forberedt og noe som skrives underveis? (Mest sanns. eneste måten å komme igjennom så mye på.) **Fredagsforelesninger:** * Time 1: Mentimeter (har latexstøtte! NTNU har lisens?), først quiz med grunnleggende begreper som alle bør kunne. * Deretter litt mer kompliserte oppgaver (fortsatt Mentimeter) hvor de kan samarbeide og gir noen minutter til å komme opp med et svar. * Bruke litt tid på å gjennomgå en oppgave litt avhengig av hvordan det går (hvis svarene er for spredt er det kanskje et hint om at det er lurt å gå gjennom denne i detalj). Mens hvis 80%+ får rett svar er det ikke vits i å bruke særlig mye tid på den. * Time 2: Kickstarte neste ukes oblig, med læringsassistenter + foreleser som går rundt og hjelper folk. * Men! Går an å gjøre andre ting så klart, avhengig av stoffet. Repetere/utdype. Dersom studentene har ønsker kan det kanskje kommuniseres (kan bruke mentimeter til dette! tankeboblekonseptet med ord som blir større jo flere som skriver det.). * Evt. begge deler: repetere stoff 5 - 10 min før quiz. **Øvinger (obliger):** * Hybrid mellom Stack og håndskrevet (valgfrihet?) * Leveres gjennom Moodle-rammeverket (knyttet til Stack). Kan skrive på papir og laste opp PDF. * De veldig matematiske/tegnede oppgavene blir på skriftlig del, kommer inn på pdf og må rettes manuelt. Resten kan digitaliseres og rettes via Stack (automatisk?). * Gi ut neste ukes oblig på torsdag (etter øvingsforelesning, f.eks. 12)? Så får folk anledning til å forberede seg til fredagen. * Innlevering av forrige oblig fredag før forelesning, f.eks. 12-14. **Ekstragrupper:** * 17 stk * Studenter må melde seg opp til hver sine grupper, og obliger leveres til den tilknyttede gruppelederen (stud.ass.). (Tema basert på fjoråret, se https://wiki.math.ntnu.no/tma4140/2022h/pensum) **Semesteroversikt:** * Uke 34, A (21.8): Introduction, Sets and Logic * Uke 35, A (28.8): Propositional Logic * Uke 36, A (4.9): Proofs and Relations * Uke 37, A (11.9): Functions and Recursion * Uke 38, A (18.9): Induction * Uke 39, H (25.9): Tallteori/Krypto I * Uke 40, H (2.10): Tallteori/Krypto II * Uke 41, H (9.10): Tallteori/Krypto III * Uke 42, A (16.10): 1st Order Logic and Statements + Semantics and Models (kutter ned og merger med forrige uken, til fordel for mer tallteori og krypto. Står ikke i læringsmål og det var ikke oppgaver om dette på fjorårets eksamen; R.A. var visst overrasket over at det var med.) * Uke 43, A (23.10): Languages, Grammars, Deduction * Denne uken har både CR Live (ons) og NKS'23 (fre, **kolliderer**); høre med Aslak om han er villig til å bytte uke? (feks at jeg underviser dette temaet direkte etter tallteori og krypto?) * update: **fix'd** * Uke 44, H (30.10): Counting and Combinatorics * Uke 45, H (6.11): Graph Theory * Uke 46, H (13.11): Trees and Walks * Uke 47, H (20.11): Repetition * siste forelesning: 24/11 * hvor mye tid må jeg beregne til å lage og forberede eksamen deretter? * ville vi hatt tid til en [[Albumslippfest Kvarteret]]? * Eksamen: lørdag 9. desember * Eksamensretting fra 11.-31. desember, 100 eksamener **Øvrige notater:** * Aslak håper på å gå gjennom 12 første kapitler i Antonsen ila de 5 første ukene. * Prøv å summere hver av oppgavescorene fra klageeksamener og se hvilke oppgaver studenter slet mest med? * Aslak er borte uken som starter 25/9 * Høre med tjerand (se over) * ta litt av induksjonsbevis i starten av min bolk 25/9? noen eksempeloppgaver * Hør med Tjerand: første uke, forelesningsrommet tar nøyaktig 500, men det er over 600 studenter; f.o.m. uke 3 er jo det aldri noe problem, men hva gjorde dere i oppstartsperioden? * var ikke problem andre uke * det som var et problem var at Kurusch skrev for lite så det ble for lite plass langt fremme * husk å teste teknisk løsning i forkant når salen(e) er ledig, feks denne uken * Rom: R1 mandag 12-14, R1 fredag 14-16 * Roger skal gi tilgang på et github repo som inkluderer Tjerand sitt notat; Tjerand ønsker at dette skal utbedres til et andreutkast (av meg). Fikk også nå tilgang på Tjerand og Kurusch sin github-repo fra i fjor; der skal alt ligge, unntatt Tjerand sitt notat (det kommer i det andre repoet). * Ang. gj.snitt-score: se tma4140.xlsx i githuben, under mappen grading. * de oppgavene som hadde lavest score er de oppgavene Kurusch lagde, fordi dette var temaene han underviste. * «Jeg tror ikke dette resultatet kommer til å se likt ut for dere.» * Tjerand lagde oppgavene om logikk, og deretter siste halvdel av eksamen unntatt endelige tilstandsmaskiner. * hvis vi utvider tallteori-og-krypto-delen så er det naturlig å ha to oppgaver om det på eksamen istedetfor én. Sjekk Roger Antonsen og partnerens Oslo-forelesninger studieretninger: - matematikk (BA og årsstudium) - informatikk - siving i datateknologi, komm.tek., indøk økonomi og ledelse med spesialisering data - lektor realfag hvis du går data matte - samfunnsøkonomi? - energi og miljø siving - ingeniørvitenskap med IKT Kontekstualisering: - graf: søk - formell logikk: lage egne programmeringsspråk - state machine: feks en applikasjon som skal kjøre på en mikrokontroller, så vil mikrokontrolleren i praksis være en tilstandsmaskin - kjøretidsanalyse bruker diskmat - bevise programmers korrekthet ----- TO-DO: - [x] legge til info om at vi ikke tar opp video i år, og hvor de kan finne fjorårets? Både under ofte stilte spørsmål *og* under pensum (som i fjor). - [x] legge ut "introkurs for STACK" på sidene våre. - [x] se over teksten "faginformasjon" og se om du syns den ser bra ut - [x] høre med Tjerand om det var noen konkrete tema hvor studenter fant boken Lewis/Zax mer nyttig enn Antonsen? - [x] spørre Aslak: er det noe preferanse om døren til R1 er åpen eller lukket under forelesning? - [x] Merker jeg misliker språket: nå er både innleveringer "Øvinger" og grupper "Øvinger" (og hva kalte vi oppgavesettene som gjennomgås på torsdag igjen?). Hvorfor ikke kalle de "innleveringer" og "grupper"? ![[TMA4140-møter]] ![[TMA4140-quizzer]] -