TMA4140 Diskret Matematikk
På denne siden presenterer jeg mine tanker og tolkninger rundt faget Diskret matematikk. Informasjonen på denne siden er hentet fra Logiske metoder, Discrete Matematics and its Applications, forelesninger fra NTNU og deres nettside, samt samtaler med medstudenter.
Emnebeskrivelse
Diskret matematikk er et fag som utvikler din evne til å tenke matematisk. I motsetning til matematikk på videregående nivå, involverer det ikke mange beregninger, men i stedet fokuserer det på forståelse og bevisføring av påstander. Du vil oppnå et solid teoretisk fundament som du kan bygge videre på i andre fag.
En passende metafor for å forklare matematisk tenkning, ifølge den britiske matematikeren Keith Devlin, er å sammenligne det med å lære å kjøre en bil på videregående nivå, mens universitetsmatematikk er som å lære hvordan en bil fungerer, hvordan du kan reparere den, og til og med hvordan du kan designe din egen bil.
På denne siden har jeg samlet enkeltfattet informasjon fra temaene vi studerte høsten 2022, i tillegg til øvingsoppgaver og et formelark som jeg hadde med meg på eksamen.
Lærebok - Logiske Metoder (Logical Methods)
Jeg anbefaler denne boka på det sterkeste, særlig hvis du liker å lære deg ting på egenhånd. Den er originalt skrevet på norsk, så den er veldig lett-lest og har bra eksempler. (Den finnes også som pdf hvis ikke du er keen på å svi av noen hundre kroner på boka.)
Denne boka + forelesningene var vårt pensum høsten 2022, og det var nytt fra det året, derfor var vår eksamen litt annerledes enn tidligere eksamener.
Oppsummeringsdokumenter
Her har jeg tatt med tre dokumenter som kommer med det viktigste til hvert tema. Innholdsfortegnelse finner du fremst i hvert dokument.
Formelark
Zoom deg inn på formelarket for å se hva jeg skrev på de ulike temaene.
Øvinger
Alle øvingene er fra høsten 2022, og er fra nettsiden til Diskret Matematikk som du finner her.
Tema
Sets and Logic
Propositional Logic
Proofs and Relations
Functions and Recursion
Induction
Number Theory and Cryptography
1st Order Logic and Statements
Semantics and Models
Languages, Grammars, Deduction
Counting and Combinatorics
Graph Theory
Trees and Walks