Discrete Math from Rosen

Pataasin ang iyong marka sa homework at exams ngayon gamit ang Quizwiz!

Unordered pair

A set with two members

Conjunction (rule of inference)

((p) ∧ (q)) → (p ∧ q)

Hypothetical syllogism

((p → q) ∧ (q → r)) → (p → r)

Resolution (rule of inference)

((p ∨ q) ∧ (¬p ∨ r)) → (q ∨ r)

Disjunctive syllogism

((p ∨ q)∧¬p) → q

Exclusive or

(aka Exclusive Disjunction) True when at MOST one of the two propositions is true.

Inclusive or

(aka Inclusive Disjunction) True when at LEAST one of the two propositions is true.

Hypothesis

(aka antecedent or premise )The first portion of an implication

Conclusion

(aka consequence) The second portion of an implication.

Basis (matrices)

A basis for a subspace H of Rn is a linearly independent set in H that spans H.

Equivalence relation

A binary relation that is reflexive, symmetric, and transitive

Directed graph

A collection of points and arrows connecting some pairs of points

Graph

A collection of points and lines connecting some pairs of points

Contradiction

A compound proposition that is always false

Solution

An assignment of truth values that makes a compound proposition true

Element

An object in a set

String

A finite list of symbols from an alphabet

Alphabet

A finite, nonempty set of objects called symbols

Indirect proof

Proofs of theorems that are not direct proofs; i.e. they do not start with the premises and end with the conclusion

argument

a sequence of statements

arithmetic progression

a sequence of the form a, a + d, a + 2d, . . . , where a and d are real numbers

geometric progression

a sequence of the form a, ar, ar2, . . . , where a and r are real numbers

countable set

a set that either is finite or can be placed in one-to-one correspondence with the set of positive integers

uncountable set

a set that is not countable

infinite set

a set that is not finite

finite set

a set with n elements, where n is a nonnegative integer

lemma

a theorem used to prove other theorems

rule of inference

a valid argument form that can be used in the demonstration that arguments are valid

a ≡ b (mod m) (a is congruent to b modulo m)

a − b is divisible by m

greedy algorithm

an algorithm that makes the best choice at each step according to some specified condition

linear combination of a and b with integer coefficients

an expression of the form sa + tb, where s and t are integers

inverse of a modulo m

an integer a such that aa ≡ 1 (mod m)

composite

an integer greater than 1 that is not prime

prime

an integer greater than 1 with exactly two positive integer divisors

primitive root of a prime p

an integer r in Zp such that every integer not divisible by p is congruent modulo p to a power of r

fallacy

an invalid argument form often used incorrectly as a rule of inference (or sometimes, more generally, an incorrect argument)

element, member of a set

an object in a set

modular arithmetic

arithmetic done modulo an integer m ≥ 2

zero-one matrix

matrix with each entry equal to either 0 or 1

fundamental theorem of arithmetic

Every positive integer can be written uniquely as the product of primes, where the prime factors are written in order of increasing size.

RSA cryptosystem

the cryptosystem where P and C are both Z26, K is the set of pairs k = (n, e) where n = pq where p and q are large primes and e is a positive integer, Ek(p) = pe mod n, and Dk(c) = cd mod n where d is the inverse of e modulo (p − 1)(q − 1)

f (x) is \theta{(g(x))}

the fact that f (x) is bothO(g(x)) and(g(x))

f(x) is O(g(x))

the fact that |f (x)| ≤ C|g(x)| for all x > k for some constants C and k

conclusion

the final statement in an argument or argument form

f ◦ g (composition of f and g)

the function that assigns f (g(x)) to x

inverse of f

the function that reverses the correspondence given by f (when f is a bijection)

worst-case time complexity

the greatest amount of time required for an algorithm to solve a problem of a given size

discrete logarithm of a to the base r modulo p

the integer e with 0 ≤ e ≤ p − 1 such that re ≡ a (mod p)

x (floor function)

the largest integer not exceeding x

gcd(a, b) (greatest common divisor of a and b)

the largest integer that divides both a and b

|S| (the cardinality of S)

the number of elements in S

searching algorithm

the problem of locating an element in a list

encryption

the process of making a message secret

Universal instantiation

the rule of inference used to conclude that P(c) is true, where c is a particular member of the domain, given the premise ∀xP(x). Universal instantiation is used when we conclude from the statement "All women are wise" that "Lisa is wise," where Lisa is a member of the domain of all women.

domain of f

the set A, where f is a function from A to B

codomain of f

the set B, where f is a function from A to B

universal set

the set containing all objects under consideration

A ∪ B (the union of A and B)

the set containing those elements that are in at least one of A and B

A ∩ B (the intersection of A and B)

the set containing those elements that are in both A and B

A' (the complement of A)

the set of elements in the universal set that are not in A

continuum hypothesis

the statement there no set A exists such that ℵ0 < |A| < c

Mathematical Induction

the statement ∀n P(n) is true if P(1) is true and ∀k[P(k) → P(k + 1)] is true. Cannot be used to find new theorems, or explain why a particular theorem is true.

\sum_{i=1}^{n} a_{i}

the sum a_1 + a_2 + ... a_n

domain of discourse

the values a variable in a propositional function may take

a | b (a divides b)

there is an integer c such that b = ac

De Morgan's Laws

¬(p ∧ q) ≡ ¬p ∨¬q, and ¬(p ∨ q) ≡ ¬p ∧¬q

Double negation law

¬(¬p) ≡ p

Lemma

A less important theorem that is helpful in the proof of other results. Example: the pumping lemma

Edge

A line in a graph

k-tuple

A list of k objects

Sequence

A list of objects

Ordered pair

A list of two elements

Zero-one matrix

A matrix all of whose entries are either 0 or 1.

Vector (matrices)

A matrix with only one column is called a column vector, or simply a vector

Square Matrix

A matrix with the same number of rows and columns

Symbol

A member of an alphabet

Cycle

A path that starts and ends in the same node

Simple path

A path without repetition

Node

A point in a graph

Vertex

A point in a graph

Property

A predicate

Relation

A predicate, most typically when the domain is a set of k-tuples

sieve of Eratosthenes

A procedure for finding all primes not exceeding a specified number n, described in Section 4.3

Trivial proof

A proof which uses the fact that the conclusion is true

Vacuous proof

A proof which uses the fact that the hypothesis is false

Irrational number

A real number that is not rational.

Rational number

A real number where there exist integers p and q with q != 0 such that r=p/q.

Matrix

A rectangular array of numbers. Plural is matrices. By convention, represented as A, B, C, etc.. with 1..j..m columns and 1..i..n rows. A particular cell in a matrix is denoted by a_{ij}, b_{kn}, c_{lo}, etc

Binary Relation

A relation whose domain is a set of pairs

Path

A sequence of nodes in a graph connected by edges

Argument

A sequence of statements that end with a conclusion

Argument

A sequence of statements that end with a conclusion.

Language

A set of strings

Singleton set

A set with one member

Symmetric matrix

A square matrix where A = A^t. Thus A = [aij ] is symmetric if aij = aji for all i and j with 1 ≤ i ≤ n and 1 ≤ j ≤ n. In other words, transposing the matrix doesn't change the matrix.

Linear independence

An indexed set of vectors fv1; : : : ; vpg in Rn is said to be linearly independent if the vector equation x1v1 C x2v2 C C xpvp D 0 has only the trivial solution.

Argument (of a function)

An input to a function

Member

An object in a set

Boolean operation

An operation on Boolean values

Bit operations

An operation on a bit or bits. Correspond to logical connectives, i.e. OR=∨, AND=∧, and XOR=⊕

Complement

An operation on a set, forming the set of all elements not present

Union

An operation on sets combining all elements into a single set

Cartesian product

An operation on sets forming a set of all tuples of elements from respective sets

Intersection

An operation on sets forming the set of common elements

Concatenation

An operation that joins strings together

Function

An operation that translates inputs into outputs

Tautology

A compound proposition that is always true, no matter what the truth values of the propositional variables that occur in it

Satisfiable

A compound proposition where there's at least one assignment of truth values to its variables that makes it true

Direct proof

A conditional statement p->q constructed when the first step is the assumption that p is true; subsequent steps are constructed using rules of inference, with the final step showing that q must also be true. Lead from the premises to the conclusion.

Tree

A connected graph without simple cycles

Proposition

A declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. e.g. Washington, DC is the capital of the United States of America; or 1+1=2; but NOT x + 1 = 2.

Set

A group of objects

Transposition (matrices)

Denoted by A^t, is the n × m matrix obtained by interchanging the rows and columns of A. In other words, if A^t = [b_ij], then b_ij = a_ji for i = 1, 2, . . . , n and j = 1, 2, . . . , m. Basically, every row i becomes a column j, and every column j becomes a row i.

Bézout's theorem

If a and b are positive integers, then gcd(a, b) is a linear combination of a and b.

Truth value

If it is a true proposition, denoted by T and the truth value of a proposition is false, denoted by F, if it is a false proposition

Fermat's little theorem

If p is prime and p | a, then ap−1 ≡ 1 (mod p).

Premises (of an argument)

In the context of an argument, the statements leading to a conclusion.

Predicate

Refers to a property that the subject of the statement can have. Also a function whose range is {TRUE, FALSE}.

S = T (set equality)

S and T have the same elements

S ⊂ T (S is a proper subset of T)

S is a subset of T and S = T

axiom

a statement that is assumed to be true and that can be used as a basis for proving theorems

Conjecture

a statement that is being proposed to be a true statement, usually on the basis of some partial evidence, a heuristic argument, or the intuition of an expert

premise

a statement, in an argument, or argument form, other than the final one

empty string

a string of length zero

Identity laws

p ∧ T ≡ p; p ∨ F ≡ p

Absorption laws

p ∨ (p ∧ q) ≡ p; p ∧ (p ∨ q) ≡ p

Distributive laws

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r); p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Domination laws

p ∨ T ≡ T; p ∧ F ≡ F

Idempotent laws

p ∨ p ≡ p; p ∧ p ≡ p

Commutative laws

p ∨ q ≡ q ∨ p; p ∧ q ≡ q ∧ p

Negation laws

p ∨¬p ≡ T; p ∧¬p ≡ F

predicate

part of a sentence that attributes a property to the subject

scope of a quantifier

portion of a statement where the quantifier binds its variable

brute force

the algorithmic paradigm based on constructing algorithms for solving problems in a naive manner from the statement of the problem and definitions

space complexity

the amount of space in computer memory required for an algorithm to solve a problem

time complexity

the amount of time required for an algorithm to solve a problem

Inductive Hypothesis

the assumption that P(k) is true

average-case time complexity

the average amount of time required for an algorithm to solve a problem of a given size

hexadecimal representation

the base 16 representation of an integer

binary representation

the base 2 representation of an integer

octal representation

the base 8 representation of an integer

n = (akak−1 . . . a1a0)b

the base b representation of n

ℵ0 (aleph null)

the cardinality of a countable set

c

the cardinality of the set of real numbers

Converse

the conditional statement q → p. Does NOT have the same truth value as p->q for all possible truth values of p and q. e.g. Converse of "If it is raining, then the home team wins" is "If the home team wins, then it is raining"

Inverse

the conditional statement ¬p →¬q. Does NOT have the same truth value as p->q for all possible truth values of p and q. e.g. Inverse of "If it is raining, then the home team wins" is "If it isn't raining, then the home team doesn't win"

Contrapositive

the conditional statement ¬q →¬p. Always has the same truth value as p -> q. e.g. Contrapositive of "If it is raining, then the home team wins" is "If the home team doesn't win, then it isn't raining"

f (x) is \omega{(g(x))}

the fact that |f (x)| ≥ C|g(x)| for all x > k for some positive constants C and k

At (transpose of A)

the matrix obtained fromAby interchanging the rows and columns

In (identity matrix of order n)

the n × n matrix that has entries equal to 1 on its diagonal and 0s elsewhere

set builder sotation

the notation that describes a set by stating a property an element must have to be a member

cryptanalysis

the process of recovering the plaintext from ciphertext without knowledge of the encryption method, or with knowledge of the encryption method, but not the key

decryption

the process of returning a secret message to its original form

Basis Step

the proof of P(1) in a proof by mathematical induction of ∀nP (n)

Inductive Step

the proof of P(k) → P(k + 1) for all positive integers k in a proof by mathematical induction of ∀nP (n)

Exclusive Or

the proposition "p XOR q," which is true when exactly one of p and q is true, but not both. E.g. this entree comes with a choice of soup or salad. Denoted by p ⊕ q

Conjunction

the proposition "p and q," which is true if and only if both p and q are true, and is false otherwise.

Disjunction

the proposition "p or q," which is false when both p and q are false and is true otherwise

universal quantification

the proposition ∀xP(x) that is true if and only if P(x) is true for every x in the domain

existential quantification

the proposition ∃x P(x) that is true if and only if there exists an x in the domain such that P(x) is true

a mod b

the remainder when the integer a is divided by the positive integer b

sorting

the reordering of the elements of a list into prescribed order

Existential instantiation

the rule of inference that allows us to conclude that there is an element c in the domain for which P(c) is true if we know that ∃xP(x) is true. We cannot select an arbitrary value of c here, but rather it must be a c for which P(c) is true. Usually we have no knowledge of what c is, only that it exists. Because it exists, we may give it a name (c) and continue our argument. "Something loves to wag its tail. c loves to wag his tail"

Universal generalization

the rule of inference that states that ∀xP(x) is true, given the premise that P(c) is true for all elements c in the domain. Universal generalization is used when we show that ∀xP(x) is true by taking an arbitrary element c from the domain and showing that P(c) is true. "Any particular dog loves to wag its tail. Therefore, all dogs love to wag their tails."

A ⊕ B (the symmetric difference of A and B)

the set containing those elements in exactly one of A and B

A − B (the difference of A and B)

the set containing those elements that are in A but not in B

P(S) (the power set of S)

the set of all subsets of S

range of f

the set of images of f

∅ (empty set, null set)

the set with no members

lcm(a,b)

the smallest positive integer that is divisible by both a and b

x (ceiling function)

the smallest integer greater than or equal to x

M recognizes A

aka M accepts A

circular reasoning

(aka begging the question) reasoning where one or more steps are based on the truth of the statement being proved

Theorem

(aka facts or results) A statement that can be shown to be true.

Implication

(aka material implication) A conditional statement, consisting of a hypothesis , followed by a conclusion. Often expressed as p->q. Statement only false if the hypothesis is true and the conclusion is false. If the conclusion is true, the truth of the hypothesis doesn't matter. Helpful to think of as a contractual obligation that you expect to be fulfilled. Example: If I am elected, then I will lower taxes.

Axiom

(aka postulates) Statements we assume to be true, the premises, if any, of the theorem, and previously proven theorems.

Propositional calculus

(aka propositional logic) The area of logic that deals with propositions

Propositional Variables

(aka statement variables) variables that represent propositions, just as letters are used to denote numerical variables. By convention p,q,r,s... are used.

linear and binary search algorithms

(given in Section 3.1). Linear = O(n) worst case, Binary = O(n log n) worst case

Truth Value

(of a proposition) This value is true, denoted by T, if it is a true proposition, or value is false, denoted by F, if it is a false proposition.

Modus ponens

(p ∧ (p → q)) → q

Simplification (rule of inference)

(p ∧ q) → p

Associative laws

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r); (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

Modus tollens

(¬q ∧ (p → q))→¬p

Subspace (matrices)

A subspace of Rn is any set H in Rn that has three properties: a. The zero vector is in H. b. For each u and v in H, the sum u C v is in H. c. For each u in H and each scalar c, the vector cu is in H. g

Bit

A symbol with two possible values, namely 0 and 1. Can be used to represent a truth value, customarily 1= T and 0 = F.

Chinese remainder theorem

A system of linear congruences modulo pairwise relatively prime integers has a unique solution modulo the product of these moduli.

Truth table

A table with a row for each of the possible truth values of a proposition p. Each row shows the truth value of ¬p corresponding to the truth value of p for this row.

Corollary

A theorem that can be established directly from a theorem that has been proved

Proof

A valid argument that establishes the truth of a mathematical statement. Used to demonstrate that theorems are true.

Boolean variable

A variable that is either true or false. Can be represented using a bit.

Validity (of an argument)

The conclusion must follow from the truth of the premises. An argument is valid if and only if it is impossible for all the premises to be true and the conclusion to be false.

Biconditional

The proposition "p if and only if q". Denoted p <-> q. Can also be expressed "p is necessary and sufficient for q" or "p iff q". Example: If and only if I am elected, I will lower taxes.

Negation

The proposition with truth value opposite to the truth value of p. Read "not p". In English, "It is not the case that p"

onto function, surjection

a function from A to B such that every element of B is the image of some element in A

one-to-one function, injection

a function such that the images of elements in its domain are distinct

one-to-one correspondence, bijection

a function that is both one-to-one and onto

Connected graph

Boolean AND operation

Parity

The even-ness or odd-ness of a number; All even numbers share the same parity, as do all odd numbers

Conclusion (of an argument)

The final statement of an argument

sequence

a function with domain that is a subset of the set of integers

algorithmic paradigm

a general approach for constructing algorithms based on a particular concept

Venn diagram

a graphical representation of a set or sets

Bit string

a list of bits

Logic gate

a logic element that performs a logical operation on one or more bits to produce an output bit

paradox

a logical inconsistency

valid argument form

a sequence of compound propositions involving propositional variables where the truth of all the premises implies the truth of the conclusion

argument form

a sequence of compound propositions involving propositional variables

Identity Matrix

The identity matrix of order n is the n × n matrix In = [δ_ij ], where δ_ij = 1 if i = j and δ_ij = 0 if i != j . Multiplying a matrix by an appropriately sized identity matrix does not change this matrix.

Well-ordering property

Appendix 1

pairwise relatively prime integers

a set of integers with the property that every pair of these integers is relatively prime

Universal modus ponens

Combines universal instantiation with modus ponens ∀x(P(x) → Q(x)) P(a), where a is a particular element in the domain ∴ Q(a) Example: Every truck that is a firetruck is red. I see a firetruck. Therefore, it must be red.

Universal modus tollens

Combines universal instantiation with modus tollens ∀x(P(x) → Q(x)) ¬Q(a), where a is a particular element in the domain ∴ ¬P(a) Example: Every truck that is a firetruck is red. I see a blue truck. Therefore, it cannot be a firetruck.

Fallacies

Common forms of incorrect reasoning, which lead to invalid arguments

Dimension (matrices)

Given a nonzero subspace H, denoted by dimH, is the number of vectors in any basis for H. The dimension of the zero subspace f0g is defined to be zero.2

Scalar (matrices)

Given a vector u and a real number c, the scalar multiple of u by c is the vector cu obtained by multiplying each entry in u by c. The number c in cu is called a scalar; it is written in lightface type to distinguish it from the boldface vector u.

Meet (matrix)

Given zero-one matrices A and B, the zero-one matrix with (i, j )th entry aij ∧ bij . Denoted by A ∧ B.

Join (matrix)

Given zero-one matrices A and B, the zero-one matrix with (i, j )th entry aij ∨ bij. Denoted by A ∨ B. Basically you OR every bit.

Summation (matrices)

Let A = [a_ij] and B = [b_ij] be m × n matrices. Given the matrices being summed have equal size (rows and columns), the sum of A and B, denoted B, is the m x n matrix that has a_{ij} + b_{ij} as its (i, j)th element. Alternatively, A+B = [a_{ij} + b_{ij}]

Boolean product (matrix)

Let A = [aij ] be an m × k zero-one matrix and B = [bij ] be a k × n zero-one matrix. Then A and B, denoted by AB, is the m × n matrix with (i, j)th entry c_ij where: c_ij = (a_i1 ∧ b_1j ) ∨ (a_i2 ∧ b_2j ) ∨ · · · ∨ (a_ik ∧ b_kj).

Product (matrices)

Let A be an m x k matrix and B be a k x n matrix. The product of A and B, denoted by AB, is the m x n matrix with its (i, j)th entry equal to the sum of the products of the corresponding elements from the ith row of A and jth column of B. In other words, if AB = [c_ij], then: c_ij = a_{i1}b_{1j} + a_{i2}b_{2j} + ... + a_{ik}b_{kj}. Important note: The product of two matrices is not defined when the number of columns in the first matrix and the number of rows in the second matrix are not the same. Another important note: matrix multiplication is not commutative (AB != BA)

division algorithm

Let a and d be integers with d positive. Then there are unique integers q and r with 0 ≤ r < d such that a = dq + r.

Compound Propositions

New propositions that are formed from existing propositions using logical operators

Compound propositions

New propositions that are formed from existing propositions using logical operators.

bitwise XOR

The bitwise XOR of two strings is the string obtains by taking the XOR of the corresponding bits from both strings

Logical Order of Operations

Parens, Neg, Conj, Disj, Cond, Bicond

Proof by contraposition

Take !q as a premise, and using axioms, definitions, and previously proven theorems, together with rules of inference, we show that !p must follow.

Rank (matrices)

The A, denoted by rank A, is the dimension of the column space of A.

Valid

The conclusion must follow from the truth of the preceding statements

Propositional logic

The area of logic that deals with propositions

bitwise AND

The bitwise AND of two strings is the string obtains by taking the AND of the corresponding bits from both strings

bitwise OR

The bitwise OR of two strings is the string obtains by taking the OR of the corresponding bits from both strings

Existential generalization

The rule of inference that is used to conclude that ∃xP(x) is true when a particular element c with P(c) true is known. That is, if we know one element c in the domain for which P(c) is true, then we know that ∃xP(x) is true. "Rover loves to wag his tail. Therefore, something loves to wag its tail."

Range

The set from which outputs of a function are drawn

Domain

The set of possible inputs to a function

Empty set

The set with no members

Propositional function

The statement P(X)

Empty string

The string of length zero

Element (matrices)

The value in the a_{ij} cell

Boolean value

The values TRUE or FALSE, often represented by 1 or 0

Zero vector

The vector whose entries are all zero is called the zero vector and is denoted by 0. (The number of entries in 0 will be clear from the context.)

Uniqueness quantifier

There exists exactly one unique X such that P(x) is true

insertion sort

a sorting that at the j th step inserts the j th element into the correct position in in the list, when the first j − 1 elements of the list are already sorted

conjecture

a mathematical assertion proposed to be true, but that has not been proved

theorem

a mathematical assertion that can be shown to be true

Unsatisfiable

When a compound proposition is false for ALL possible assignments of truth values to its variables

Equivalent propositions

When two compound propositions always have the same truth value, e.g. a conditional statement and its contrapositive, or it's converse and inverse.

Equality (matrices)

When two matrices have the same number of rows and columns and the corresponding entries in every position are equal.

bubble sort

a sorting that uses passes where successive items are interchanged if they in the wrong order

propositional function

a statement containing one or more variables that becomes a proposition when each of its variables is assigned a value or is bound by a quantifier

block cipher

a cipher that encrypts blocks of characters of a fixed size

character cipher

a cipher that encrypts characters one by one

affine cipher

a cipher that encrypts the plaintext letter p as (ap + b) mod m for integers a and b with gcd(a, 26) = 1

shift cipher

a cipher that encrypts the plaintext letter p as (p + k) mod m for an integer k

set

a collection of distinct objects

pseudoprime to the base b

a composite integer n such that bn−1 ≡ 1 (mod n)

satisfiable compound proposition

a compound proposition for which there is an assignment of truth values to its variables that makes it true

Contingency

a compound proposition that is sometimes true and sometimes false

linear congruence

a congruence of the form ax ≡ b (mod m), where x is an integer variable

proof

a demonstration that a theorem is true

recurrence relation

a equation that expresses the nth term an of a sequence in terms of one or more of the previous terms of the sequence for all integers n greater than a particular integer

string

a finite sequence

algorithm

a finite sequence of precise instructions for performing a computation or solving a problem

cryptosystem

a five-tuple (P, C,K, E,D) where P is the set of plaintext messages, C is the set of ciphertext messages, K is the set of keys, E is the set of encryption functions, and D is the set of decryption functions

Affirming the consequent

a formal fallacy of inferring the converse from the original statement; In other words, treating an argument with premises p → q and q and conclusion p as a valid argument form, which it is not. "If it is snowing, then it is below 32F" "It is below 32F", therefore "it is snowing"

Denying the antecedent

a formal fallacy of inferring the inverse from the original statement; In other words, treating an argument with the premises p → q and ¬p and conclusion ¬q as a valid argument form, which it is not. "If it is snowing, then is it below 32F" "It is not snowing", therefore "it is not below 32F"

uncomputable function

a function for which no computer program in a programming language exists that finds its values

computable function

a function for which there is a computer program in some programming language that finds its values

symmetric matrix

a matrix is symmetric if it equals its transpose

digital signature

a method that a recipient can use to determine that the purported sender of a message actually sent the message

roster method

a method that describes a set by listing its elements

rational number

a number that can be expressed as the ratio of two integers p and q such that q = 0

witness to the relationship f (x) is O(g(x))

a pair C and k such that |f (x)| ≤ C|g(x)| whenever x > k

Mersenne prime

a prime of the form 2p − 1, wherep is prime

intractable problem

a problem for which no worst-case polynomial-time algorithm exists for solving it

tractable problem

a problem for which there is a worst-case polynomial-time algorithm that solves it

solvable problem

a problem that can be solved by an algorithm

unsolvable problem

a problem that cannot be solved by an algorithm

linear search algorithm

a procedure for searching a list element by element

binary search algorithm

a procedure for searching an ordered list by successively splitting the list in half

proof by cases

a proof broken into separate cases, where these cases cover all possibilities

Cantor diagonalization argument

a proof technique used to show that the set of real numbers is uncountable

nonconstructive existence proof

a proof that an element with a specified property exists that does not explicitly find such an element

constructive existence proof

a proof that an element with a specified property exists that explicitly finds such an element

exhaustive proof

a proof that establishes a result by checking a list of all possible cases

proof by contradiction

a proof that p is true based on the truth of the conditional statement ¬p → q, where q is a contradiction

vacuous proof

a proof that p → q is true based on the fact that p is false

trivial proof

a proof that p → q is true based on the fact that q is true

proof by contraposition

a proof that p → q is true that proceeds by showing that p must be false when q is false

direct proof

a proof that p → q is true that proceeds by showing that q must be true when p is true

uniqueness proof

a proof that there is exactly one element satisfying a specified property

corollary

a proposition that can be proved as a consequence of a theorem that has just been proved

key exchange protocol

a protocol used for two parties to generate a shared key

matrix

a rectangular array of numbers

Logic circuit

a switching circuit made up of logic gates that produces one or more output bits

membership table

a table displaying the membership of elements in sets

encryption key

a value that determines which of a family of encryption functions is to be used

free variable

a variable not bound in a propositional function

bound variable

a variable that is quantified

counterexample

an element x such that P(x) is false

nondeterministic finite automaton

aka NFA

logic circuit

aka digital circuit; receives input signals p1, p2, . . . , pn, each a bit [either 0 (off) or 1 (on)], and produces output signals s1, s2, . . . , sn, each a bit

accept state

aka final states

finite state machine

aka finite automaton

Propositional variables

aka statement variables; a variable that represents a proposition

valid argument

an argument with a valid argument form

function from A to B

an assignment of exactly one element of B to each element of A

partial function

an assignment to each element in a subset of the domain a unique element in the codomain

without loss of generality

an assumption in a proof thatmakes it possible to prove a theorem by reducing the number of cases to consider in the proof

relatively prime integers

integers a and b such that gcd(a, b) = 1

private key encryption

encryption where both encryption keys and decryption keys must be kept secret

public key encryption

encryption where encryption keys are public knowledge, but decryption keys are kept secret

Bézout coefficients of a and b

integers s and t such that the Bézout identity holds

b is the image of a under f

b = f(a)

gates

basic logic circuits, AND, OR, and NOT

S ⊆ T (S is a subset of T)

every element of S is also an element of T

logically equivalent expressions

expressions that have the same truth value no matter which propositional functions and domains are used

Carmichael number

composite integer n such that n is a pseudoprime to the base b for all positive integers b with gcd(b, n) = 1

Consistent Compound Propositions

compound propositions for which there is an assignment of truth values to the variables that makes all these propositions true

logically equivalent compound propositions

compound propositions that always have the same truth values

negation operator

constructs a new proposition from a single existing proposition

a is a pre-image of b under f

f(a) = b

Euclidean algorithm

for finding greatest common divisors by successively using the division algorithm (see Algorithm 1 in Section 4.3)

computational model

idealized computer

connectives

logical operators used to form new propositions from two or more existing propositions

a and b are congruent modulo m

m divides a − b

Addition (rule of inference)

p → (p ∨ q)

Bitwise operations

operations on bit strings that operate on each bit in one string and the corresponding bit in the other string

Logical operators

operators used to combine propositions

Bézout identity

sa + tb = gcd(a, b)

matrix addition

see page 178

matrix multiplication

see page 179

cardinality

two sets A and B have the same cardinality if there is a one-to-one correspondence from A to B


Kaugnay na mga set ng pag-aaral

Chapter 24 "An Age of Modernity, Anxiety, and Imperialism, 1894-1914"

View Set

AP Classroom Unit 7-8 Practice Questions

View Set

Series 7: Taxes and Tax Shelters (Taxation of Equity Options)

View Set

Legal, Ethical and Social Aspects of Business- Chapter 9

View Set

Intro to Scientific Programming-Java

View Set

Ch. 7 - Attempt, Conspiracy, and Solicitation

View Set