Exam 3 Vocab Flashcards

(49 cards)

1
Q

recursive definition

A

Where the value of the function is defined in terms of the output value of the function on smaller input values.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

recursion

A

The process of computing the value of a function using the result of the function on smaller input values.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

recursive set

A

Shows how to construct elements in the set by putting together smaller elements. Defines a set by specifying a starting point and a rule for generating new elements from existing ones.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

basis step

A

Specify the value of the function at zero.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

recursive step

A

Give a rule for finding its value at an integer from its value at smaller integers.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

root

A

Designated vertex of a perfect binary tree; acts as starting point for tree’s structure.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

binary tree (perfect or full)

A

A perfect binary tree has all internal nodes having exactly two children, and all leaf nodes are at the same level (depth). A full binary tree has every node having either zero or two children.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

structural induction

A

A type of induction used to prove theorems about recursively defined sets that follows the structure of the recursive definition.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

product rule

A

Let A1, A2,…,An be finite sets. Then, |A1 x A2 x…….x An| = |A1| dot |A2| dot…….dot |An|.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

sum rule

A

Consider n sets, A1, A2,…,An. If the sets are pairwise disjoint (which means that Ai ∩ Aj = 0 for i != j), then: |A1 ∪ A2……∪ An| = |A1| + |A2| +…..|An|.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

permutation

A

An ordered arrangement of objects from a set where the order of arrangement matters.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

r-permutation

A

A sequence of r items with no repetitions, all taken from the same set.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

combination

A

A selection of items from a set where the order of selection does not matter.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

r-combination

A

A subset of size r is called an r-subset, sometimes referred to as an r-combination.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

counting by complement

A

A technique for counting the number of elements in a set S that have a property by counting the total number of elements in S and subtracting the number of elements in S that do not have the property.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

inclusion-exclusion (2 sets)

A

A technique for determining the cardinality of the union of sets that uses the cardinality of each individual set and the cardinality of the intersections of the sets.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

(binary) relation

A

A binary relation between two sets A and B is a subset R of A x B.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

arrow diagram

A

In an arrow diagram of a relation R on sets A and B, the elements of A are listed on the left, the elements of B are listed on the right, and an arrow points from aA to bB if aRb.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

(binary) relation on a domain

A

A binary relation on a set A is a subset of A x A.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

reflexive

21
Q

anti-reflexive

22
Q

symmetric

23
Q

anti-symmetric

24
Q

transitive

25
partial order
26
poset
27
comparable/incomparable
28
maximal
29
minimal
30
Hasse diagram
31
equivalence relation
32
equivalence class
33
directed graph
34
vertices
35
edges (head/tail)
36
self-loop
37
length
38
path
39
finite state machine (FSM)
40
transition function
41
FSM w/ output
42
FSM that recognizes properties
43
accepting state
44
deterministic vs non-deterministic
45
language
46
accepted
47
recognized
48
regular expression
49
Kleene closure (star)