
Diskret matematik och diskreta modeller
Skickas följande arbetsdag
Hitta produkten hos våra återförsäljare som levererar utanför Sverige
- 11Ett första möte med diskret matematik
- 1.11Vad är diskret matematik
- 1.22Vad är modellering
- 1.34Räknefärdighet
- 6Matematisk presentation och argumentation
- 1.57Problemlösning
- 1.68Matematisk läsförståelse
- 8Verktyg, konst och underhållning
- 211Mängdlära
- 2.112Grundläggande mängdlära
- 2.215Ett nytt språk
- 2.318Nya räkneregler
- 2.422Samband mellan olika mängders storlek
- 2.4.122Unioner av mängder
- 2.4.223Delmängder till delmängder
- 2.524Par
- 2.626Oändliga mängder
- 2.6.126Standardmängder
- 28Bijektioner och kardinalitet
- 2.732Fler övningar
- 2.7.132Rutintal
- 2.7.233Kluringar
- 335Aritmetik
- 3.135Divisionsalgoritmen
- 38Primtal och delare
- 3.2.138Delare
- 3.2.239Primtal
- 3.2.341Delargrafen
- 3.2.442Gemensamma delare
- 3.2.549Diofantiska ekvationer
- 3.353Modulär aritmetik
- 3.3.154Räkning i modulär aritmetik
- 3.3.256Ekvationslösning i modulär aritmetik
- 3.461Talbaser
- 3.4.162Det binära talsystemet
- 3.4.263Andra talbaser
- 3.566Fler övningar
- 3.5.166Rutintal
- 3.5.268Kluringar
- 471Rekursion och induktion
- 4.171Rekursion
- 4.1.171Rekursiva definitioner
- 4.1.274Rekursiva talföljder
- 4.1.378Rekursiva algoritmer
- 79Summor och produkter
- 4.2.179Summaberäkning
- 81Aritmetiska och geometriska serier
- 4.2.384Produkter
- 4.384Induktionsbevis
- 4.3.185Inledande exempel
- 86Induktionsprin ipen
- 4.3.387Utförande
- 4.3.494Bevis av olikheter
- 4.499Fler övningar
- 4.4.199Rutintal
- 4.4.2101Kluringar
- 5105Kombinatorik och sannolikheter
- 5.1105Grundläggande sannolikhetslära
- 5.1.1108Likformig sannolikhet
- 5.1.2110Sannolikhetslärans additions och multiplikationsprinciper
- 5.1.3113Betingad sannolikhet
- 5.2114Grundläggande kombinatorik
- 5.2.1114Kombinatorikens additions och multiplikationsprinciper
- 5.2.2117Permutationer och ordnade urval
- 5.2.3119Icke-ordnade urval och binomialtal
- 5.2.4122Permutation av multimängder
- 5.3124Postfacksprincipen
- 5.4125Uppdelningar av mängder
- 5.4.1125Fördelning av olika objekt Stirlingtal
- 5.4.2126Fördelning av identiska objekt
- 5.5128Kombinatorisk problemlösning
- 5.6132Fler övningar
- 5.6.1132Rutintal
- 5.6.2135Kluringar
- 6139Grafer
- 6.1139Grundläggande grafteoretiska begrepp
- 6.2146Euler och Hamilton två klassiska grafproblem
- 6.2.1147Problemens bakgrund
- 6.2.2150Problemens komplexitet
- 6.3151Isomor och representation av grafer
- 6.4154Träd
- 6.4.1155Spännande träd
- 6.5157Rotade träd
- 6.5.1158Bredden-först- och djupet-förstsökning
- 6.5.2160Binära träd
- 6.5.3161Inordning, preordning och postordning
- 6.6164Modellering med grafer
- 6.6.1165Tidsplanering
- 6.6.2166Radbrytning i TEX
- 6.6.3167Instant Insanity
- 6.7170Fler övningar
- 6.7.1170Rutintal
- 6.7.2173Kluringar
- 7177Logik och boolesk algebra
- 7.1178Refektion om matematikens språk och mening
- 7.2179Satslogik
- 7.2.1180Sammansättning av satser
- 7.2.2180Konnektiv
- 7.2.3185Syntaxregler och räkneregler i satslogik
- 7.2.4188Satis_erbarhet i satslogik
- 7.3191Boolesk algebra
- 7.3.1191Generell boolesk algebra
- 7.3.21922-värd boolesk algebra
- 7.3.3192Booleska funktioner
- 7.3.4197Kort om grindnät
- 7.4198Predikatlogik
- 7.4.1199Kvantifkatorer och predikat
- 7.4.2201Sanningsvärden, syntaxregler och räkneregler i predikatlogik
- 7.4.3207Att översätta till predikatlogisk notation
- 7.4.4210Satisfierbarhet i predikatlogik
- 7.5210Bevisteknik
- 7.5.1211Direkta och indirekta bevis
- 7.5.2211Bevisstrategier
- 7.6213Fler övningar
- 7.6.1213Rutintal
- 7.6.2215Kluringar
- 8217Relationer och funktioner
- 8.1218Relationer
- 8.1.1219Olika sätt att åskådliggöra relationer
- 8.1.2221Relationer mellan mängder
- 8.1.3221Sammansatta relationer
- 8.1.4223Intressanta egenskaper hos relationer
- 8.1.5227Speciella typer av relationer
- 8.2229Funktioner
- 8.2.1232Sammansatta funktioner
- 8.2.2233Intressanta egenskaper hos funktioner
- 8.2.3235Inverser till funktioner
- 8.2.4237Antal funktioner av olika sorter
- 8.3239Fler övningar
- 8.3.1239Rutintal
- 8.3.2240Kluringar
- 9243Språk och automater
- 9.1244Ändliga automater
- 9.1.1244Mealyautomater
- 9.1.2248Igenkännande automater
- 249epterande automater
- 9.2250Språk
- 9.2.1250Naturliga språk och artificiella språk
- 9.2.2252Reguljära språk
- 9.3257Fler övningar
- 9.3.1257Rutintal
- 9.3.2258Kluringar
- 259Facit
- 259Kapitel 1
- 259Kapitel 2
- 263Kapitel 3
- 270Kapitel 4
- 276Kapitel 5
- 284Kapitel 6
- 296Kapitel 7
- 305Kapitel 8
- 314Kapitel 9
- 319Engelsk-svensk ordlista
- 323Sakregister
Information
Språk:
SvenskaISBN:
9789144089997Utgivningsår:
2002Revisionsår:
2013Artikelnummer:
31098-02Upplaga:
AndraSidantal:
327