Diskret matematikk er fundamentet for informatikk og datavitenskap. Denne boken gir en grundig innføring i de viktigste temaene innen diskret matematikk, skreddersydd for studenter i informatikk og beslektede fag.   Boken er ideell for: - Studenter som tar kurs i diskret matematikk - Informatikkstudenter som ønsker å styrke sitt matematiske grunnlag - Alle som er interessert i logikk og matematisk resonnering   Følgende sentrale emner er dekket: - Algoritmer, pseudokode og ekte kode - Tallrepresentasjoner - Utsagnslogikk og predikatlogikk - Bevisteknikker - Mengdelære og relasjoner - Rekursjon og induksjonsprinsippet - Grafer og trær - Kombinatorikk - Kompleksitetsteori   Hvert kapittel inneholder: - Klar og konsis teori med illustrerende eksempler - Nøye utvalgte øvingsoppgaver med fullstendige løsninger - Ekstra oppgaver uten løsninger for ytterligere praksis   Med sin pedagogiske tilnærming og rikelig med øvingsmateriale, gir denne boken leserne de verktøyene de trenger for å mestre diskret matematikk og legge grunnlaget for suksess innen informatikk og programmering.