Efnisyfirlit

• Cover Page
• Title Page
• Copyright Information
• Contents
• About the Author
• Preface
• Online Resources
• To the Student
• Chapter 1: The Foundations: Logic and Proofs
  • 1.1 Propositional Logic
  • 1.2 Applications of Propositional Logic
  • 1.3 Propositional Equivalences
  • 1.4 Predicates and Quantifiers
  • 1.5 Nested Quantifiers
  • 1.6 Rules of Inference
  • 1.7 Introduction to Proofs
  • 1.8 Proof Methods and Strategy
  • End-of-Chapter Material
• Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
  • 2.1 Sets
  • 2.2 Set Operations
  • 2.3 Functions
  • 2.4 Sequences and Summations
  • 2.5 Cardinality of Sets
  • 2.6 Matrices
  • End-of-Chapter Material
• Chapter 3: Algorithms
  • 3.1 Algorithms
  • 3.2 The Growth of Functions
  • 3.3 Complexity of Algorithms
  • End-of-Chapter Material
• Chapter 4: Number Theory and Cryptography
  • 4.1 Divisibility and Modular Arithmetic
  • 4.2 Integer Representations and Algorithms
  • 4.3 Primes and Greatest Common Divisors
  • 4.4 Solving Congruences
  • 4.5 Applications of Congruences
  • 4.6 Cryptography
  • End-of-Chapter Material
• Chapter 5: Induction and Recursion
  • 5.1 Mathematical Induction
  • 5.2 Strong Induction and Well-Ordering
  • 5.3 Recursive Definitions and Structural Induction
  • 5.4 Recursive Algorithms
  • 5.5 Program Correctness
  • End-of-Chapter Material
• Chapter 6: Counting
  • 6.1 The Basics of Counting
  • 6.2 The Pigeonhole Principle
  • 6.3 Permutations and Combinations
  • 6.4 Binomial Coefficients and Identities
  • 6.5 Generalized Permutations and Combinations
  • 6.6 Generating Permutations and Combinations
  • End-of-Chapter Material
• Chapter 7: Discrete Probability
  • 7.1 An Introduction to Discrete Probability
  • 7.2 Probability Theory
  • 7.3 Bayes’ Theorem
  • 7.4 Expected Value and Variance
  • End-of-Chapter Material
• Chapter 8: Advanced Counting Techniques
  • 8.1 Applications of Recurrence Relations
  • 8.2 Solving Linear Recurrence Relations
  • 8.3 Divide-and-Conquer Algorithms and Recurrence Relations
  • 8.4 Generating Functions
  • 8.5 Inclusion– Exclusion
  • 8.6 Applications of Inclusion– Exclusion
  • End-of-Chapter Material
• Chapter 9: Relations
  • 9.1 Relations and Their Properties
  • 9.2 n-ary Relations and Their Applications
  • 9.3 Representing Relations
  • 9.4 Closures of Relations
  • 9.5 Equivalence Relations
  • 9.6 Partial Orderings
  • End-of-Chapter Material
• Chapter 10: Graphs
  • 10.1 Graphs and Graph Models
  • 10.2 Graph Terminology and Special Types of Graphs
  • 10.3 Representing Graphs and Graph Isomorphism
  • 10.4 Connectivity
  • 10.5 Euler and Hamilton Paths
  • 10.6 Shortest-Path Problems
  • 10.7 Planar Graphs
  • 10.8 Graph Coloring
  • End-of-Chapter Material
• Chapter 11: Trees
  • 11.1 Introduction to Trees
  • 11.2 Applications of Trees
  • 11.3 Tree Traversal
  • 11.4 Spanning Trees
  • 11.5 Minimum Spanning Trees
  • End-of-Chapter Material
• Chapter 12: Boolean Algebra
  • 12.1 Boolean Functions
  • 12.2 Representing Boolean Functions
  • 12.3 Logic Gates
  • 12.4 Minimization of Circuits
  • End-of-Chapter Material
• Chapter 13: Modeling Computation
  • 13.1 Languages and Grammars
  • 13.2 Finite-State Machines with Output
  • 13.3 Finite-State Machines with No Output
  • 13.4 Language Recognition
  • 13.5 Turing Machines
  • End-of-Chapter Material
• Appendices
  • Appendix 1: Axioms for the Real Numbers and the Positive Integers
  • Appendix 2: Exponential and Logarithmic Functions
  • Appendix 3: Pseudocode
• Suggested Readings
• Answers to Odd-Numbered Exercises
• Index of Biographies
• Index
• List of Symbols Front
• List of Symbols Back

UM RAFBÆKUR Á HEIMKAUP.IS

Bókahillan þín er þitt svæði og þar eru bækurnar þínar geymdar. Þú kemst í bókahilluna þína hvar og hvenær sem er í tölvu eða snjalltæki. Einfalt og þægilegt!

Rafbók til eignar
Rafbók til eignar þarf að hlaða niður á þau tæki sem þú vilt nota innan eins árs frá því bókin er keypt.

Þú kemst í bækurnar hvar sem er
Þú getur nálgast allar raf(skóla)bækurnar þínar á einu augabragði, hvar og hvenær sem er í bókahillunni þinni. Engin taska, enginn kyndill og ekkert vesen (hvað þá yfirvigt).

Auðvelt að fletta og leita
Þú getur flakkað milli síðna og kafla eins og þér hentar best og farið beint í ákveðna kafla úr efnisyfirlitinu. Í leitinni finnur þú orð, kafla eða síður í einum smelli.

Glósur og yfirstrikanir
Þú getur auðkennt textabrot með mismunandi litum og skrifað glósur að vild í rafbókina. Þú getur jafnvel séð glósur og yfirstrikanir hjá bekkjarsystkinum og kennara ef þeir leyfa það. Allt á einum stað.

Hvað viltu sjá? / Þú ræður hvernig síðan lítur út
Þú lagar síðuna að þínum þörfum. Stækkaðu eða minnkaðu myndir og texta með multi-level zoom til að sjá síðuna eins og þér hentar best í þínu námi.



Fleiri góðir kostir
- Þú getur prentað síður úr bókinni (innan þeirra marka sem útgefandinn setur)
- Möguleiki á tengingu við annað stafrænt og gagnvirkt efni, svo sem myndbönd eða spurningar úr efninu
- Auðvelt að afrita og líma efni/texta fyrir t.d. heimaverkefni eða ritgerðir
- Styður tækni sem hjálpar nemendum með sjón- eða heyrnarskerðingu