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)

Logiske metoder

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