{"publishers": ["W.H. Freeman and Company, a Macmillian Higher Education Company"], "subtitle": "discrete mathematics and its applications", "isbn_10": ["1429215100"], "full_title": "Mathematical structures for computer science discrete mathematics and its applications", "lc_classifications": ["QA39.3 .G47 2014", "QA39.3.G47 2014"], "key": "/books/OL31014850M", "authors": [{"key": "/authors/OL230460A"}], "publish_places": ["New York, NY"], "edition_name": "7th edition.", "pagination": "xvi, 969 pages", "source_records": ["marc:marc_loc_2016/BooksAll.2016.part41.utf8:131486067:1009", "bwb:9781429215107", "ia:mathematicalstru0000gers", "amazon:1429215100", "promise:bwb_daily_pallets_2022-03-17"], "title": "Mathematical structures for computer science", "lccn": ["2013951442"], "notes": {"type": "/type/text", "value": "Includes index."}, "number_of_pages": 969, "isbn_13": ["9781429215107"], "languages": [{"key": "/languages/eng"}], "subjects": ["Mathematics", "Mathematical models", "Computer science"], "publish_date": "2014", "publish_country": "nyu", "by_statement": "Judith L. Gersting, Indiana University-Purdue University at Indianapolis", "works": [{"key": "/works/OL1922611W"}], "type": {"key": "/type/edition"}, "covers": [15115265, 12642733], "ocaid": "mathematicalstru0000gers", "local_id": ["urn:bwbsku:P7-CSJ-926"], "table_of_contents": [{"level": 0, "label": "Chapter 1", "title": "Formal Logic", "pagenum": "1"}, {"level": 1, "label": "1.1", "title": "Statements, Symbolic Representation, and Tautologies", "pagenum": "2"}, {"level": 2, "label": "", "title": "Connectives and Truth Values", "pagenum": "2"}, {"level": 2, "label": "", "title": "Tautologies", "pagenum": "8"}, {"level": 2, "label": "", "title": "Logical Connectives in the Real World", "pagenum": "10"}, {"level": 2, "label": "", "title": "An Algorithm", "pagenum": "12"}, {"level": 2, "label": "", "title": "Special Interest Page: Can \"And\" Ever Be \"Or\"?", "pagenum": "15"}, {"level": 2, "label": "", "title": "Section 1.1 Review", "pagenum": "16"}, {"level": 2, "label": "", "title": "Exercises 1.1", "pagenum": "16"}, {"level": 1, "label": "1.2", "title": "Propositional Logic", "pagenum": "25"}, {"level": 2, "label": "", "title": "Valid Arguments", "pagenum": "25"}, {"level": 2, "label": "", "title": "Derivation Rules for Propositional Logic", "pagenum": "28"}, {"level": 2, "label": "", "title": "Deduction Method and Other Rules", "pagenum": "32"}, {"level": 2, "label": "", "title": "Verbal Arguments", "pagenum": "33"}, {"level": 2, "label": "", "title": "Section 1.2 Review", "pagenum": "35"}, {"level": 2, "label": "", "title": "Exercises 1.2", "pagenum": "35"}, {"level": 1, "label": "1.3", "title": "Quantifiers, Predicates, and Validity", "pagenum": "39"}, {"level": 2, "label": "", "title": "Quantifiers and Predicates", "pagenum": "39"}, {"level": 2, "label": "", "title": "Translation", "pagenum": "42"}, {"level": 2, "label": "", "title": "Validity", "pagenum": "48"}, {"level": 2, "label": "", "title": "Section 1.3 Review", "pagenum": "50"}, {"level": 2, "label": "", "title": "Exercises 1.3", "pagenum": "50"}, {"level": 1, "label": "1.4", "title": "Predicate Logic", "pagenum": "58"}, {"level": 2, "label": "", "title": "Derivation Rules for Predicate Logic", "pagenum": "58"}, {"level": 3, "label": "", "title": "Universal Instantiation", "pagenum": "59"}, {"level": 3, "label": "", "title": "Existential Instantiation", "pagenum": "60"}, {"level": 3, "label": "", "title": "Universal Generalization", "pagenum": "61"}, {"level": 3, "label": "", "title": "Existential Generalization", "pagenum": "62"}, {"level": 2, "label": "", "title": "More Work with Rules", "pagenum": "62"}, {"level": 2, "label": "", "title": "Verbal Arguments", "pagenum": "67"}, {"level": 2, "label": "", "title": "Conclusion", "pagenum": "68"}, {"level": 2, "label": "", "title": "Section 1.4 Review", "pagenum": "69"}, {"level": 2, "label": "", "title": "Exercises 1.4", "pagenum": "69"}, {"level": 1, "label": "1.5", "title": "Logic Programming", "pagenum": "73"}, {"level": 2, "label": "", "title": "Prolog", "pagenum": "73"}, {"level": 2, "label": "", "title": "Horn Clauses and Resolution", "pagenum": "75"}, {"level": 2, "label": "", "title": "Recursion", "pagenum": "79"}, {"level": 2, "label": "", "title": "Expert Systems", "pagenum": "81"}, {"level": 2, "label": "", "title": "Section 1.5 Review", "pagenum": "82"}, {"level": 2, "label": "", "title": "Exercises 1.5", "pagenum": "82"}, {"level": 1, "label": "1.6", "title": "Proof of Correctness", "pagenum": "84"}, {"level": 2, "label": "", "title": "Assertions", "pagenum": "85"}, {"level": 2, "label": "", "title": "Assignment Rule", "pagenum": "87"}, {"level": 2, "label": "", "title": "Conditional Rule", "pagenum": "90"}, {"level": 2, "label": "", "title": "Section 1.6 Review", "pagenum": "92"}, {"level": 2, "label": "", "title": "Exercises 1.6", "pagenum": "92"}, {"level": 1, "label": "", "title": "Chapter 1 Review", "pagenum": "95"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "96"}, {"level": 0, "label": "Chapter 2", "title": "Proofs, Induction, and Number Theory", "pagenum": "97"}, {"level": 1, "label": "2.1", "title": "Proof Techniques", "pagenum": "98"}, {"level": 2, "label": "", "title": "Theorems and Informal Proofs", "pagenum": "98"}, {"level": 2, "label": "", "title": "To Prove or Not to Prove", "pagenum": "99"}, {"level": 2, "label": "", "title": "Exhaustive Proof", "pagenum": "100"}, {"level": 2, "label": "", "title": "Direct Proof", "pagenum": "101"}, {"level": 2, "label": "", "title": "Contraposition", "pagenum": "103"}, {"level": 2, "label": "", "title": "Contradiction", "pagenum": "104"}, {"level": 2, "label": "", "title": "Serendipity", "pagenum": "106"}, {"level": 2, "label": "", "title": "Common Definitions", "pagenum": "107"}, {"level": 2, "label": "", "title": "Section 2.1 Review", "pagenum": "107"}, {"level": 2, "label": "", "title": "Exercises 2.1", "pagenum": "107"}, {"level": 1, "label": "2.2", "title": "Induction", "pagenum": "110"}, {"level": 2, "label": "", "title": "First Principle of Induction", "pagenum": "110"}, {"level": 2, "label": "", "title": "Proofs by Mathematical Induction", "pagenum": "112"}, {"level": 2, "label": "", "title": "Second Principle of Induction", "pagenum": "118"}, {"level": 2, "label": "", "title": "Section 2.2 Review", "pagenum": "122"}, {"level": 2, "label": "", "title": "Exercises 2.2", "pagenum": "122"}, {"level": 1, "label": "2.3", "title": "More on Proof of Correctness", "pagenum": "129"}, {"level": 2, "label": "", "title": "Loop Rule", "pagenum": "129"}, {"level": 2, "label": "", "title": "Euclidean Algorithm", "pagenum": "133"}, {"level": 2, "label": "", "title": "Special Interest Page: Making Safer Software", "pagenum": "136"}, {"level": 2, "label": "", "title": "Section 2.3 Review", "pagenum": "137"}, {"level": 2, "label": "", "title": "Exercises 2.3", "pagenum": "137"}, {"level": 1, "label": "2.4", "title": "Number Theory", "pagenum": "143"}, {"level": 2, "label": "", "title": "The Fundamental Theorem of Arithmetic", "pagenum": "144"}, {"level": 2, "label": "", "title": "More on Prime Numbers", "pagenum": "148"}, {"level": 2, "label": "", "title": "Euler Phi Function", "pagenum": "149"}, {"level": 2, "label": "", "title": "Section 2.4 Review", "pagenum": "152"}, {"level": 2, "label": "", "title": "Exercises 2.4", "pagenum": "152"}, {"level": 1, "label": "", "title": "Chapter 2 Review", "pagenum": "155"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "156"}, {"level": 0, "label": "Chapter 3", "title": "Recursion, Recurrence Relations, and Analysis of Algorithms", "pagenum": "157"}, {"level": 1, "label": "3.1", "title": "Recursive Definitions", "pagenum": "158"}, {"level": 2, "label": "", "title": "Recursively Defined Sequences", "pagenum": "158"}, {"level": 2, "label": "", "title": "Recursively Defined Sets", "pagenum": "162"}, {"level": 2, "label": "", "title": "Recursively Defined Operations", "pagenum": "165"}, {"level": 2, "label": "", "title": "Recursively Defined Algorithms", "pagenum": "166"}, {"level": 2, "label": "", "title": "Section 3.1 Review", "pagenum": "171"}, {"level": 2, "label": "", "title": "Exercises 3.1", "pagenum": "171"}, {"level": 1, "label": "3.2", "title": "Recurrence Relations", "pagenum": "180"}, {"level": 2, "label": "", "title": "Linear First-Order Recurrence Relations", "pagenum": "180"}, {"level": 3, "label": "", "title": "Expand, Guess, and Verify", "pagenum": "180"}, {"level": 3, "label": "", "title": "A Solution Formula", "pagenum": "182"}, {"level": 2, "label": "", "title": "Linear Second-Order Recurrence Relations", "pagenum": "188"}, {"level": 2, "label": "", "title": "Divide-and-Conquer Recurrence Relations", "pagenum": "193"}, {"level": 2, "label": "", "title": "Section 3.2 Review", "pagenum": "197"}, {"level": 2, "label": "", "title": "Exercises 3.2", "pagenum": "197"}, {"level": 1, "label": "3.3", "title": "Analysis of Algorithms", "pagenum": "203"}, {"level": 2, "label": "", "title": "The General Idea", "pagenum": "203"}, {"level": 2, "label": "", "title": "Analysis Using Recurrence Relations", "pagenum": "206"}, {"level": 2, "label": "", "title": "Upper Bound (Euclidean Algorithm)", "pagenum": "210"}, {"level": 2, "label": "", "title": "Special Interest Page: Of Trees ... and Pancakes", "pagenum": "211"}, {"level": 2, "label": "", "title": "Section 3.3 Review", "pagenum": "212"}, {"level": 2, "label": "", "title": "Exercises 3.3", "pagenum": "212"}, {"level": 1, "label": "", "title": "Chapter 3 Review", "pagenum": "217"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "218"}, {"level": 0, "label": "Chapter 4", "title": "Sets, Combinatorics, and Probability", "pagenum": "221"}, {"level": 1, "label": "4.1", "title": "Sets", "pagenum": "222"}, {"level": 2, "label": "", "title": "Notation", "pagenum": "222"}, {"level": 2, "label": "", "title": "Relationships Between Sets", "pagenum": "224"}, {"level": 2, "label": "", "title": "Sets of Sets", "pagenum": "227"}, {"level": 2, "label": "", "title": "Binary and Unary Operations", "pagenum": "228"}, {"level": 2, "label": "", "title": "Operations on Sets", "pagenum": "230"}, {"level": 2, "label": "", "title": "Set Identities", "pagenum": "233"}, {"level": 2, "label": "", "title": "Countable and Uncountable Sets", "pagenum": "236"}, {"level": 2, "label": "", "title": "Section 4.1 Review", "pagenum": "239"}, {"level": 2, "label": "", "title": "Exercises 4.1", "pagenum": "239"}, {"level": 1, "label": "4.2", "title": "Counting", "pagenum": "252"}, {"level": 2, "label": "", "title": "Multiplication Principle", "pagenum": "252"}, {"level": 2, "label": "", "title": "Addition Principle", "pagenum": "254"}, {"level": 2, "label": "", "title": "Using the Principles Together", "pagenum": "255"}, {"level": 2, "label": "", "title": "Decision Trees", "pagenum": "257"}, {"level": 2, "label": "", "title": "Section 4.2 Review", "pagenum": "258"}, {"level": 2, "label": "", "title": "Exercises 4.2", "pagenum": "259"}, {"level": 1, "label": "4.3", "title": "Principle of Inclusion and Exclusion; Pigeonhole Principle", "pagenum": "263"}, {"level": 2, "label": "", "title": "Principle of Inclusion and Exclusion", "pagenum": "264"}, {"level": 2, "label": "", "title": "Pigeonhole Principle", "pagenum": "269"}, {"level": 2, "label": "", "title": "Section 4.3 Review", "pagenum": "269"}, {"level": 2, "label": "", "title": "Exercises 4.3", "pagenum": "270"}, {"level": 1, "label": "4.4", "title": "Permutations and Combinations", "pagenum": "272"}, {"level": 2, "label": "", "title": "Permutations", "pagenum": "272"}, {"level": 2, "label": "", "title": "Combinations", "pagenum": "274"}, {"level": 2, "label": "", "title": "Eliminating Duplicates", "pagenum": "277"}, {"level": 2, "label": "", "title": "Permutations and Combinations with Repetitions", "pagenum": "279"}, {"level": 2, "label": "", "title": "Generating Permutations and Combinations", "pagenum": "280"}, {"level": 2, "label": "", "title": "Special Interest Page: Archimedes and the Stomachion", "pagenum": "286"}, {"level": 2, "label": "", "title": "Section 4.4 Review", "pagenum": "288"}, {"level": 2, "label": "", "title": "Exercises 4.4", "pagenum": "288"}, {"level": 1, "label": "4.5", "title": "Binomial Theorem", "pagenum": "294"}, {"level": 2, "label": "", "title": "Pascal's Triangle", "pagenum": "294"}, {"level": 2, "label": "", "title": "Binomial Theorem and Its Proof", "pagenum": "296"}, {"level": 2, "label": "", "title": "Applying the Binomial Theorem", "pagenum": "298"}, {"level": 2, "label": "", "title": "Section 4.5 Review", "pagenum": "299"}, {"level": 2, "label": "", "title": "Exercises 4.5", "pagenum": "299"}, {"level": 1, "label": "4.6", "title": "Probability", "pagenum": "301"}, {"level": 2, "label": "", "title": "Introduction to Finite Probability", "pagenum": "301"}, {"level": 2, "label": "", "title": "Probability Distributions", "pagenum": "304"}, {"level": 2, "label": "", "title": "Conditional Probability", "pagenum": "306"}, {"level": 2, "label": "", "title": "Bayes' Theorem", "pagenum": "308"}, {"level": 2, "label": "", "title": "Expected Value", "pagenum": "310"}, {"level": 2, "label": "", "title": "Binomial Distributions", "pagenum": "313"}, {"level": 2, "label": "", "title": "Average Case Analysis of Algorithms", "pagenum": "314"}, {"level": 2, "label": "", "title": "Section 4.6 Review", "pagenum": "315"}, {"level": 2, "label": "", "title": "Exercises 4.6", "pagenum": "315"}, {"level": 1, "label": "", "title": "Chapter 4 Review", "pagenum": "323"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "324"}, {"level": 0, "label": "Chapter 5", "title": "Relations, Functions, and Matrices", "pagenum": "327"}, {"level": 1, "label": "5.1", "title": "Relations", "pagenum": "328"}, {"level": 2, "label": "", "title": "Binary Relations", "pagenum": "328"}, {"level": 2, "label": "", "title": "Properties of Relations", "pagenum": "332"}, {"level": 2, "label": "", "title": "Closures of Relations", "pagenum": "334"}, {"level": 2, "label": "", "title": "Partial Orderings", "pagenum": "336"}, {"level": 2, "label": "", "title": "Equivalence Relations", "pagenum": "339"}, {"level": 2, "label": "", "title": "Section 5.1 Review", "pagenum": "344"}, {"level": 2, "label": "", "title": "Exercises 5.1", "pagenum": "345"}, {"level": 1, "label": "5.2", "title": "Topological Sorting", "pagenum": "356"}, {"level": 2, "label": "", "title": "Section 5.2 Review", "pagenum": "361"}, {"level": 2, "label": "", "title": "Exercises 5.2", "pagenum": "362"}, {"level": 1, "label": "5.3", "title": "Relations and Databases", "pagenum": "365"}, {"level": 2, "label": "", "title": "Entity-Relationship Model", "pagenum": "365"}, {"level": 2, "label": "", "title": "Relational Model", "pagenum": "366"}, {"level": 2, "label": "", "title": "Operations on Relations", "pagenum": "369"}, {"level": 2, "label": "", "title": "Null Values and Three-valued Logic", "pagenum": "373"}, {"level": 2, "label": "", "title": "Database Integrity", "pagenum": "375"}, {"level": 2, "label": "", "title": "Section 5.3 Review", "pagenum": "376"}, {"level": 2, "label": "", "title": "Exercises 5.3", "pagenum": "381"}, {"level": 1, "label": "5.4", "title": "Functions", "pagenum": "381"}, {"level": 2, "label": "", "title": "Definition", "pagenum": "381"}, {"level": 2, "label": "", "title": "Properties of Functions", "pagenum": "388"}, {"level": 2, "label": "", "title": "Onto Functions", "pagenum": "388"}, {"level": 2, "label": "", "title": "One-to-One Functions", "pagenum": "389"}, {"level": 2, "label": "", "title": "Bijections", "pagenum": "390"}, {"level": 2, "label": "", "title": "Composition of Functions", "pagenum": "390"}, {"level": 2, "label": "", "title": "Inverse Functions", "pagenum": "392"}, {"level": 2, "label": "", "title": "Permutation Functions", "pagenum": "394"}, {"level": 2, "label": "", "title": "How Many Functions", "pagenum": "397"}, {"level": 2, "label": "", "title": "Equivalent Sets", "pagenum": "401"}, {"level": 2, "label": "", "title": "Section 5.4 Review", "pagenum": "402"}, {"level": 2, "label": "", "title": "Exercises 5.4", "pagenum": "402"}, {"level": 1, "label": "5.5", "title": "Order of Magnitude", "pagenum": "412"}, {"level": 2, "label": "", "title": "Function Growth", "pagenum": "412"}, {"level": 2, "label": "", "title": "More on Analysis of Algorithms", "pagenum": "415"}, {"level": 2, "label": "", "title": "The Master Theorem", "pagenum": "417"}, {"level": 2, "label": "", "title": "Proof of the Master Theorem", "pagenum": "419"}, {"level": 2, "label": "", "title": "Section 5.5 Review", "pagenum": "421"}, {"level": 2, "label": "", "title": "Exercises 5.5", "pagenum": "421"}, {"level": 1, "label": "5.6", "title": "The Mighty Mod Function", "pagenum": "423"}, {"level": 2, "label": "", "title": "Hashing", "pagenum": "424"}, {"level": 2, "label": "", "title": "Computer Security", "pagenum": "427"}, {"level": 3, "label": "", "title": "Cryptography", "pagenum": "427"}, {"level": 3, "label": "", "title": "Hashing for Password Encryption", "pagenum": "433"}, {"level": 2, "label": "", "title": "Miscellaneous Applications", "pagenum": "435"}, {"level": 3, "label": "", "title": "Identification Codes", "pagenum": "435"}, {"level": 3, "label": "", "title": "Generating and Decomposing Integers", "pagenum": "437"}, {"level": 3, "label": "", "title": "Modular Arithmetic Designs", "pagenum": "438"}, {"level": 2, "label": "", "title": "Section 5.6 Review", "pagenum": "440"}, {"level": 2, "label": "", "title": "Exercises 5.6", "pagenum": "440"}, {"level": 1, "label": "5.7", "title": "Matrices", "pagenum": "446"}, {"level": 2, "label": "", "title": "Terminology", "pagenum": "446"}, {"level": 2, "label": "", "title": "Matrix Operations", "pagenum": "448"}, {"level": 2, "label": "", "title": "Gaussian Elimination", "pagenum": "453"}, {"level": 2, "label": "", "title": "Boolean Matrices", "pagenum": "458"}, {"level": 2, "label": "", "title": "Special Interest Page: Solve Millions of Equations, Faster than Gauss", "pagenum": "460"}, {"level": 2, "label": "", "title": "Section 5.7 Review", "pagenum": "461"}, {"level": 2, "label": "", "title": "Exercises 5.7", "pagenum": "461"}, {"level": 1, "label": "", "title": "Chapter 5 Review", "pagenum": "470"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "472"}, {"level": 0, "label": "Chapter 6", "title": "Graphs and Trees", "pagenum": "475"}, {"level": 1, "label": "6.1", "title": "Graphs and Their Representations", "pagenum": "476"}, {"level": 2, "label": "", "title": "Definitions of a Graph", "pagenum": "476"}, {"level": 2, "label": "", "title": "Applications of Graphs", "pagenum": "479"}, {"level": 2, "label": "", "title": "Graph Terminology", "pagenum": "481"}, {"level": 2, "label": "", "title": "Isomorphic Graphs", "pagenum": "484"}, {"level": 2, "label": "", "title": "Planar Graphs", "pagenum": "487"}, {"level": 2, "label": "", "title": "Computer Representation of Graphs", "pagenum": "492"}, {"level": 3, "label": "", "title": "Adjacency Matrix", "pagenum": "492"}, {"level": 3, "label": "", "title": "Adjacency List", "pagenum": "494"}, {"level": 2, "label": "", "title": "Special Interest Page: Isomorphic Protein Graphs", "pagenum": "497"}, {"level": 2, "label": "", "title": "Section 6.1 Review", "pagenum": "498"}, {"level": 2, "label": "", "title": "Exercises 6.1", "pagenum": "498"}, {"level": 1, "label": "6.2", "title": "Trees and Their Representations", "pagenum": "509"}, {"level": 2, "label": "", "title": "Tree Terminology", "pagenum": "509"}, {"level": 2, "label": "", "title": "Applications of Trees", "pagenum": "511"}, {"level": 2, "label": "", "title": "Binary Tree Representation", "pagenum": "513"}, {"level": 2, "label": "", "title": "Tree Traversal Algorithms", "pagenum": "514"}, {"level": 2, "label": "", "title": "Results about Trees", "pagenum": "519"}, {"level": 2, "label": "", "title": "Section 6.2 Review", "pagenum": "521"}, {"level": 2, "label": "", "title": "Exercises 6.2", "pagenum": "521"}, {"level": 1, "label": "6.3", "title": "Decision Trees", "pagenum": "529"}, {"level": 2, "label": "", "title": "Searching", "pagenum": "529"}, {"level": 3, "label": "", "title": "Lower Bounds on Searching", "pagenum": "532"}, {"level": 3, "label": "", "title": "Binary Tree Search", "pagenum": "533"}, {"level": 2, "label": "", "title": "Sorting", "pagenum": "535"}, {"level": 2, "label": "", "title": "Section 6.3 Review", "pagenum": "536"}, {"level": 2, "label": "", "title": "Exercises 6.3", "pagenum": "536"}, {"level": 1, "label": "6.4", "title": "Huffman Codes", "pagenum": "539"}, {"level": 2, "label": "", "title": "Problem and Trial Solution", "pagenum": "539"}, {"level": 2, "label": "", "title": "Huffman Encoding Algorithm", "pagenum": "542"}, {"level": 2, "label": "", "title": "Justification", "pagenum": "544"}, {"level": 2, "label": "", "title": "Application of Huffman Codes", "pagenum": "546"}, {"level": 2, "label": "", "title": "Section 6.4 Review", "pagenum": "547"}, {"level": 2, "label": "", "title": "Exercises 6.4", "pagenum": "548"}, {"level": 1, "label": "", "title": "Chapter 6 Review", "pagenum": "551"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "552"}, {"level": 0, "label": "Chapter 7", "title": "Graph Algorithms", "pagenum": "553"}, {"level": 1, "label": "7.1", "title": "Directed Graphs and Binary Relations; Warshall's Algorithm", "pagenum": "554"}, {"level": 2, "label": "", "title": "Directed Graphs and Binary Relations", "pagenum": "555"}, {"level": 2, "label": "", "title": "Reachability", "pagenum": "557"}, {"level": 2, "label": "", "title": "Warshall's Algorithm", "pagenum": "562"}, {"level": 2, "label": "", "title": "Section 7.1 Review", "pagenum": "566"}, {"level": 2, "label": "", "title": "Exercises 7.1", "pagenum": "566"}, {"level": 1, "label": "7.2", "title": "Euler Path and Hamiltonian Circuit", "pagenum": "571"}, {"level": 2, "label": "", "title": "Euler Path Problem", "pagenum": "571"}, {"level": 2, "label": "", "title": "Hamiltonian Circuit Problem", "pagenum": "576"}, {"level": 2, "label": "", "title": "Section 7.2 Review", "pagenum": "577"}, {"level": 2, "label": "", "title": "Exercises 7.2", "pagenum": "577"}, {"level": 1, "label": "7.3", "title": "Shortest Path and Minimal Spanning Tree", "pagenum": "581"}, {"level": 2, "label": "", "title": "Shortest-Path Problem", "pagenum": "581"}, {"level": 2, "label": "", "title": "Minimal Spanning Tree Problem", "pagenum": "587"}, {"level": 2, "label": "", "title": "Special Interest Page: Pathfinding", "pagenum": "589"}, {"level": 2, "label": "", "title": "Section 7.3 Review", "pagenum": "591"}, {"level": 2, "label": "", "title": "Exercises 7.3", "pagenum": "591"}, {"level": 1, "label": "7.4", "title": "Traversal Algorithms", "pagenum": "596"}, {"level": 2, "label": "", "title": "Depth-First Search", "pagenum": "596"}, {"level": 2, "label": "", "title": "Breadth-First Search", "pagenum": "598"}, {"level": 2, "label": "", "title": "Analysis", "pagenum": "601"}, {"level": 2, "label": "", "title": "Applications", "pagenum": "601"}, {"level": 2, "label": "", "title": "Section 7.4 Review", "pagenum": "604"}, {"level": 2, "label": "", "title": "Exercises 7.4", "pagenum": "604"}, {"level": 1, "label": "7.5", "title": "Articulation Points and Computer Networks", "pagenum": "607"}, {"level": 2, "label": "", "title": "The Problem Statement", "pagenum": "607"}, {"level": 2, "label": "", "title": "The Idea behind the Algorithm", "pagenum": "608"}, {"level": 2, "label": "", "title": "The Algorithm Itself", "pagenum": "610"}, {"level": 2, "label": "", "title": "Section 7.5 Review", "pagenum": "612"}, {"level": 2, "label": "", "title": "Exercises 7.5", "pagenum": "612"}, {"level": 1, "label": "", "title": "Chapter 7 Review", "pagenum": "614"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "615"}, {"level": 0, "label": "Chapter 8", "title": "Boolean Algebra and Computer Logic", "pagenum": "617"}, {"level": 1, "label": "8.1", "title": "Boolean Algebra Structure", "pagenum": "618"}, {"level": 2, "label": "", "title": "Models or Abstractions", "pagenum": "619"}, {"level": 2, "label": "", "title": "Definition and Properties", "pagenum": "620"}, {"level": 2, "label": "", "title": "Isomorphic Boolean Algebras", "pagenum": "626"}, {"level": 3, "label": "", "title": "What is Isomorphism?", "pagenum": "626"}, {"level": 3, "label": "", "title": "Isomorphism as Applied to Boolean Algebra", "pagenum": "628"}, {"level": 2, "label": "", "title": "Section 8.1 Review", "pagenum": "631"}, {"level": 2, "label": "", "title": "Exercises 8.1", "pagenum": "631"}, {"level": 1, "label": "8.2", "title": "Logic Networks", "pagenum": "638"}, {"level": 2, "label": "", "title": "Combinational Networks", "pagenum": "638"}, {"level": 3, "label": "", "title": "Basic Logic Elements", "pagenum": "638"}, {"level": 3, "label": "", "title": "Boolean Expressions", "pagenum": "639"}, {"level": 3, "label": "", "title": "Truth Functions", "pagenum": "640"}, {"level": 3, "label": "", "title": "Networks and Expressions", "pagenum": "641"}, {"level": 3, "label": "", "title": "Canonical Form", "pagenum": "642"}, {"level": 3, "label": "", "title": "Minimization", "pagenum": "645"}, {"level": 3, "label": "", "title": "Programmable Logic Devices", "pagenum": "647"}, {"level": 2, "label": "", "title": "A Useful Network", "pagenum": "648"}, {"level": 2, "label": "", "title": "Other Logic Elements", "pagenum": "650"}, {"level": 2, "label": "", "title": "Constructing Truth Functions", "pagenum": "652"}, {"level": 2, "label": "Special Interest", "title": "Pruning Chips and Programs", "pagenum": "654"}, {"level": 2, "label": "", "title": "Section 8.2 Review", "pagenum": "655"}, {"level": 2, "label": "", "title": "Exercises 8.2", "pagenum": "655"}, {"level": 1, "label": "8.3", "title": "Minimization", "pagenum": "663"}, {"level": 2, "label": "", "title": "Minimization Process", "pagenum": "663"}, {"level": 2, "label": "", "title": "Karnaugh Map", "pagenum": "665"}, {"level": 3, "label": "", "title": "Maps for Three and Four Variables", "pagenum": "666"}, {"level": 3, "label": "", "title": "Using the Karnaugh Map", "pagenum": "668"}, {"level": 2, "label": "", "title": "Quine-McCluskey Procedure", "pagenum": "673"}, {"level": 2, "label": "", "title": "Section 8.3 Review", "pagenum": "677"}, {"level": 2, "label": "", "title": "Exercises 8.3", "pagenum": "678"}, {"level": 1, "label": "", "title": "Chapter 8 Review", "pagenum": "683"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "684"}, {"level": 0, "label": "Chapter 9", "title": "Modeling Arithmetic, Computation, and Languages", "pagenum": "685"}, {"level": 1, "label": "9.1", "title": "Algebraic Structures", "pagenum": "686"}, {"level": 2, "label": "", "title": "Definitions and Examples", "pagenum": "686"}, {"level": 2, "label": "", "title": "Basic Results about Groups", "pagenum": "695"}, {"level": 2, "label": "", "title": "Subgroups", "pagenum": "698"}, {"level": 2, "label": "", "title": "Isomorphic Groups", "pagenum": "702"}, {"level": 2, "label": "", "title": "Section 9.1 Review", "pagenum": "708"}, {"level": 2, "label": "", "title": "Exercises 9.1", "pagenum": ""}, {"level": 1, "label": "9.2", "title": "Coding Theory", "pagenum": "714"}, {"level": 2, "label": "", "title": "Introduction", "pagenum": "714"}, {"level": 2, "label": "", "title": "Background: Homomorphisms and Cosets", "pagenum": "715"}, {"level": 2, "label": "", "title": "Generating Group Codes", "pagenum": "717"}, {"level": 2, "label": "", "title": "Decoding Group Codes", "pagenum": "723"}, {"level": 2, "label": "", "title": "Section 9.2 Review", "pagenum": "727"}, {"level": 2, "label": "", "title": "Exercises 9.2", "pagenum": "727"}, {"level": 1, "label": "9.3", "title": "Finite-State Machines", "pagenum": "728"}, {"level": 2, "label": "", "title": "Definition", "pagenum": "729"}, {"level": 2, "label": "", "title": "Examples of Finite-State Machines", "pagenum": "729"}, {"level": 2, "label": "", "title": "Recognition", "pagenum": "733"}, {"level": 2, "label": "", "title": "Regular Sets and Kleene's Theorem", "pagenum": "735"}, {"level": 2, "label": "", "title": "Machine Minimization", "pagenum": "737"}, {"level": 3, "label": "", "title": "Unreachable States", "pagenum": "737"}, {"level": 3, "label": "", "title": "Minimization Procedure", "pagenum": "739"}, {"level": 2, "label": "", "title": "Sequential Networks and Finite-State Machines", "pagenum": "744"}, {"level": 2, "label": "Special Interest", "title": "FSMs Behind the Game", "pagenum": "749"}, {"level": 2, "label": "", "title": "Section 9.3 Review", "pagenum": "750"}, {"level": 2, "label": "", "title": "Exercises 9.3", "pagenum": "750"}, {"level": 1, "label": "9.4", "title": "Turing Machines", "pagenum": "759"}, {"level": 2, "label": "", "title": "Definition", "pagenum": "760"}, {"level": 2, "label": "", "title": "Turing Machines as Set Recognizers", "pagenum": "764"}, {"level": 2, "label": "", "title": "Turing Machines as Function Computers", "pagenum": "767"}, {"level": 2, "label": "", "title": "Church-Turing Thesis", "pagenum": "769"}, {"level": 2, "label": "", "title": "Decision Problems and Uncomputability", "pagenum": "771"}, {"level": 3, "label": "", "title": "Examples of Decision Problems", "pagenum": "772"}, {"level": 3, "label": "", "title": "Halting Problem", "pagenum": "773"}, {"level": 2, "label": "", "title": "Computational Complexity", "pagenum": "776"}, {"level": 2, "label": "", "title": "Section 9.4 Review", "pagenum": "778"}, {"level": 2, "label": "", "title": "Exercises 9.4", "pagenum": "779"}, {"level": 1, "label": "9.5", "title": "Formal Languages", "pagenum": "782"}, {"level": 2, "label": "", "title": "Classes of Grammars", "pagenum": "789"}, {"level": 2, "label": "", "title": "Formal Languages and Computational Devices", "pagenum": "792"}, {"level": 2, "label": "", "title": "Context-Free Grammars", "pagenum": "793"}, {"level": 2, "label": "", "title": "Section 9.5 Review", "pagenum": "795"}, {"level": 2, "label": "", "title": "Exercises 9.5", "pagenum": "795"}, {"level": 1, "label": "", "title": "Chapter 9 Review", "pagenum": "799"}, {"level": 1, "label": "", "title": "On the Computer", "pagenum": "800"}, {"level": 0, "label": "Appendix A", "title": "Derivation Rules for Propositional and Predicate Logic", "pagenum": "803"}, {"level": 0, "label": "Appendix B", "title": "Summation and Product Notation", "pagenum": "805"}, {"level": 0, "label": "Appendix C", "title": "The Logarithm Function", "pagenum": "809"}, {"level": 0, "label": "", "title": "Answers to Practice Problems", "pagenum": "813"}, {"level": 0, "label": "", "title": "Answers to Odd-Numbered Exercises", "pagenum": "851"}, {"level": 0, "label": "", "title": "Answers to Self-Tests", "pagenum": "949"}, {"level": 0, "label": "", "title": "Index", "pagenum": "959"}], "latest_revision": 7, "revision": 7, "created": {"type": "/type/datetime", "value": "2020-11-12T18:50:07.650633"}, "last_modified": {"type": "/type/datetime", "value": "2025-09-12T22:19:33.991462"}}