Cartea vă introduce în matematica discretă, punând accent pe principalele subiecte și raționamentul pe care se bazează gândirea matematică. Vă învață să gândiți abstract în timp ce studiați conceptele de logică și demonstrație. Veți deveni familiarizați cu circuitele logice, analiza algoritmilor, gândirea recursivă, computabilitatea, criptografia și combinatorica, descoperind că conceptele matematicii discrete stau la baza întregii științe și tehnologii moderne și veți construi fundamentele necesare pentru cursurile avansate de informatică și matematică. Suzanna Epp examinează dificultățile în înțelegerea logicii și a limbajului, cu o abordare care ajută studenții de diferite niveluri de cunoștințe să înțeleagă bazele raționamentului matematic, permițându-le să construiască argumente matematice bine structurate. Cu definiții, teoreme, peste 2500 de exerciții și probleme pentru practică și 500 de exemple rezolvate, cartea servește ca un manual de referință cuprinzător la care veți face referire sistematic atunci când participați la cursuri avansate. Demonstrațiile sunt dezvoltate astfel încât să puteți recurge fie la o îndrumare mai scurtă, fie mai detaliată, în funcție de nivelul dumneavoastră de înțelegere. Cu structura flexibilă a cărții, instructorii pot combina subiectele de bază cu material opțional pentru a acoperi diferite programe și a pune accent pe cerințe diferite ale cursurilor. Conținut: Limbajul matematic Logica propozițiilor compuse Logica propozițiilor cuantificate Teoria numerelor elementare și metode de demonstrație Șiruri, inducție matematică și recursivitate Teoria mulțimilor Proprietățile funcțiilor Proprietățile relațiilor Numărare și probabilitate Teoria grafurilor și arborilor Analiza eficienței algoritmilor Expresii regulate și automate finite Anexa A: Proprietățile numerelor reale Anexa B: Soluții și sugestii pentru exerciții selectate