For each of the following binary relations r on N, decide which of the given ordered pairs belong to r. a. xry 4 x + y < 7; (1, 3), (2, 5), (3, 3), (4, 4) b. xry 4 x = y + 2; (0, 2), (4, 2), (6, 3), (5, 3) c. xry 4 2x + 3y = 10; (5, 0), (2, 2), (3, 1), (1, 3) d. xry 4 y is a perfect square; (1, 1), (4, 2), (3, 9), (25, 5)
Read moreTable of Contents
1.1
Statements, Symbolic Representation, and Tautologies
1.2
Propositional Logic
1.3
Quantifiers, Predicates, and Validity
1.4
Predicate Logic
1.5
Logic Programming
1.6
Logic Programming
2.1
Proof Techniques
2.2
Induction
2.3
More on Proof of Correctness
2.4
Number Theory
3.1
Recursive Definitions
3.2
Recurrence Relations
3.3
Analysis of Algorithms
4.1
Sets
4.2
Counting
4.3
Principle of Inclusion and Exclusion; Pigeonhole Principle
4.4
Permutations and Combinations
5.1
Relations
5.2
Topological Sorting
5.3
Relations and Databases
5.4
Functions
5.5
Order of Magnitude
5.6
The Mighty Mod Function
5.7
Matrices
6.1
Graphs and Their Representations
6.2
Trees and Their Representations
6.3
Decision Trees
6.4
Huffman Codes
7.1
Directed Graphs and Binary Relations; Warshalls Algorithm
7.2
Euler Path and Hamiltonian Circuit
7.3
Shortest Path and Minimal Spanning Tree
7.4
Traversal Algorithms
7.5
Articulation Points and Computer Networks
8.1
Boolean Algebra Structure
8.2
Logic Networks
8.3
Minimization
9.1
Algebraic Structures
9.2
Coding Theory
9.3
Finite-State Machines
9.4
Turing Machines
9.5
Formal Languages
Textbook Solutions for Mathematical Structures for Computer Science
Chapter 5.1 Problem 54
Question
Let S = R and let r be a binary relation on S defined by xry 4 x y is an integer. a. Show that r is an equivalence relation on S. b. List 5 values that belong to [1.5].
Solution
The first step in solving 5.1 problem number 54 trying to solve the problem we have to refer to the textbook question: Let S = R and let r be a binary relation on S defined by xry 4 x y is an integer. a. Show that r is an equivalence relation on S. b. List 5 values that belong to [1.5].
From the textbook chapter Relations you will find a few key concepts needed to solve this.
Visible to paid subscribers only
Step 3 of 7)Visible to paid subscribers only
Subscribe to view the
full solution
full solution
Title
Mathematical Structures for Computer Science 7
Author
Judith L. Gersting
ISBN
9781429215107