## IndexIndex

Abelian Group
a Limerick, Poem
a Limerick, Poem
Algebraic Systems
algorithm
a Limerick, Poem
Alternating Group
Alternating group
a Limerick, Poem
Analog-to-digital Conversion
Antisymmetric Relation
Associative Property
Atom of a Boolean Algebra
augmented matrix
a Limerick, Poem
Automata
Automorphism
Inner
Basic Set Operations
Basis
Biconditional Proposition
Bijection
Binary Conversion Algorithm
Binary Operation.
Binary Representation
Binary Search
Binary Tree
Binary Trees
Binomial Coefficient
Recursive Definition
Binomial Coefficient Formula
Binomial Theorem, The
Bipartite Graph.
Bipartitie
a Limerick, Poem
Boolean Algebra
Boolean Algebras
Boolean Arithmetic
Boolean Expression
Boolean Expressions
Bounded Lattice
Bridge
Bubble Sort
Cancellation in Groups
Cardinality.
Cartesian Product
Center of a Graph, Item
Center of a graph, Item
Characteristic Equation
Characteristic function
Characteristic Polynomial
Characteristic Roots
Child
of a Root
Chinese Remainder Theorem
Chromatic Number
Closed Form Expression.
Closest Neighbor Algorithm
Closure Property
Code
Polynomial
Codes
Linear
Coding Theory
Cofactor
Combinations
Commutative Property
Complement of a Lattice Element
as an operation
Complement of a set
Complemented Lattice
Complete Undirected Graph.
Composition of Functions
Composition of Relations
Concatenation
Conditional Statement
Congruence Modulo n
Conjunction, Logical
Connected Component
Connectivity in Graphs
Contrapositive
Converse
Coset
Coset Counting Formula
Coset Representative
Cosets
Operation on
Cosets and Factor Groups
Countable Set
Counting Binary Trees
covering relation
Cycle
Cycle Notation
Cyclic Group
Cyclic Subgroup
Degree
Degree Sequence of a Graph
Derangement
Detachment
Determinant
$$1 \times 1$$ and a $$2 \times 2$$ cases
diagonal matrix
a Limerick, Poem
Diagonalizable Matrix
Diagonalization Process, The
Diameter of a Graph, Item
Digraph
Dihedral Group
Definition
Dimension of a Vector Space
Direct Product
Direct Products
Direct proof
Directed Graph
Directed graph
Disjoint Cycles, Note
Disjoint Sets
Disjunction, Logical
Distributive Lattice
Distributive Property
Divides
Division Property for Integers
Division Property for Polynomials
Divisors of an Integer
Doyle, Chris
Duality for Boolean Algebras
Eccentricity of a vertex, Item
Egg, Bob, Poem
Eigenvalue
Eigenvector
Elementary Operations on Equations
Elementary Row Operations
Embedding of a graph
Empty Graph, Note
Empty set
empty set
a Limerick, Poem
Equivalence
Equivalence Class, Item
Equivalence Relation
Equivalence Relations
Euclidean Algorithm, The
Euler's Formula
Euler's Theorem
Koenigsberg Case
Eulerian Paths, Circuits, Graphs
Existential Quantifier
Exponentiation in Groups
Expression Tree
Factor Group
Factor Theorem
Factorial
Fibonacci Sequence
Matrix Representation
Fibonacci sequence
a Limerick, Poem
Field
field extension
a Limerick, Poem
Finite-State Machine
Finite-State Machines
Five-Color Theorem
Flow Augmenting Path
Forest.
Formal Language
formal logic
a Limerick, Poem
Four-Color Theorem
Frankovich, Jesse, Poem
Free Monoids and Languages
Full binary tree
Function
Bijective
Composition
Equality
Injective
One-to-one
Onto
Surjective
Functions
Of two Variables
Functions Between Two Sets
Set of
Fundamental Theorem of Group Homomorphisms
Gauss-Jordan Algorithm
genealogical terms, List
Generalized Set Operations
Generate
Generating Function
Generating Functions
Closed form expressions for
Operations on
Generation Problem
Generator
George Boole
a Limerick, Poem
Goldie
Graph
Data Structures
Multigraph
Simple Directed
Undirected
Graph Coloring
Graph Optimization
Graphic Sequence
Gray Code
Gray Code Decoder
Greatest Common Divisor ($$\gcd$$)
Greatest Element
Greatest Lower Bound
Group
Hamiltonian Paths, Circuits, and Graphs
Hamming Distance
Hasse Diagram
Homogeneous Recurrence Relation.
Homomorphism
Group
Howlett,Chris, Poem
Idempotent Property
Identity Function
Identity Matrix
Identity Property
Image of an Element.
Implication
Improper subset
Inclusion-Exclusion, Laws of
Indirect proof
Indirect Reasoning
Induced Subgraph
Induction and Recursion
Injection
Integers Modulo $$n$$
Multiplicative Group
Integral Domain
Intersection
Inverse
Logical
Matrix
Inverse Function
of a function on a set
Inverse Property
Involution Property
Irreducibility of a Polynomial
Isomorphic Graphs
Isomorphism
Group
Isomorphisms
Join
Karnaugh map
Kernel
kernel of a function
Kruskal's Algorithm
Lagrange's Theorem
Lattice
Lattice Paths
Lattices
Laws of Matrix Algebra
Leaf of a binary tree, Item
Leaf, of a binary tree, Item
Least Element
Least Upper Bound
Left Distributive Property
Level of a vertex
Levels of Abstraction
Limerick
countably infinite, Poem
Enumerative Combinatorics, Poem
Linear Code
Linear Combination.
Linear Dependence
Linear Equations
over the Integers Mod 2
Linear Equations in a Group
Linear Independence
Logarithm
General Base
Logarithm, base 2
Logarithms
Properties
Logic Design
Lower Bound
Machine of a Monoid
Many Faces of Recursion, The
Matrix Inversion
Matrix Multiplication
Matrix Oddities
Maximal flow
Meet
Merge Sort
Mesh Graph
Minimal Spanning Tree
Minimum Diameter Spanning Tree
Minor
Minset
Minset Normal Form
Minterm
Minterm Normal Form
Modular Arithmetic
Properties
Modular Multiplication
Modus Ponens
see Detachment
Modus Tollens
see Indirect Reasoning
Monoid
of a Finite-State Machine
Monoids
Multigraph
Multiple Pop and Push
Multiplicative Inverses
N-cube
Natural Homomorphism
Negation, Logical
Network
Networks
Ngai, Steve, Poem
Nonhomogeneous of Finite Order Linear Relations
Solution
Normal Subgroup.
Normal Subgroups
Operation Tables
Operations
Order
of elements of a finite cyclic group
Order of a Group Element
Order of a Recurrence Relation
Order Sequence
Ordering Diagram
Oslan, Steven, Item
Parent of a vertex
Partial Ordering
Partially ordered set
Partition
of a group by cosets
Path Graph
Perfect Codes
Permutation
Permutation Counting Formula
Permutation Groups
Permutations
Composition, Note
Phrase Structure Grammar
Pigeonhole Principle
Planar Graph
Plane Graph
Polynomial
Irreducible
Polynomial Code
Polynomial Expression
Non-recursive).
Recursive definition
Polynomial Multiplication
Polynomial over a Ring
Polynomial Units
Polynomials
Polynomials and their evaluation
Poset
Posets Revisited
Power Series
Power Series Units
Power Set
Power Set Cardinality Theorem
Powers of Functions
Prim's Algorithm
Prime number
Proper subset
Properties of Functions
Properties of Operations
Proposition
Propp, Jim
psheil, Poem
Quantifiers
Multiple
Negation
Range of a Function.
Recognition Problem
Rectangular codes
Recurrence Relation
Recurrence Relations
Solving
Recurrence relations obtained from “solutions”
Recursive Language
Recursive Searching
Reducible Polynomial
References
Reflexive Relation
Regular Grammar
Relation
Relation Notation
Relation on a Set
Relatively Prime
Right Distributive Property
Ring
Commutative
Ring Isomorphism.
Ring with unity
Robinson, Andrew, Poem
Rooted Tree
Rooted Trees
Row Equivalent Matrices
Rule Of Products, The
SageMath Note
bridge hands
Cartesian Products and Power Sets
Functions
Graphs
Kruskal's Algorithm
Matrix Diagonalization
Matrix Exponential
Matrix Reduction
Modular Arithmetic
Power Series
Search in a Graph
Sets
Scalar Multiplication
Sequence
Sequences
Operations on
Recursively Defined
Set of Functions Between Two Sets
Set-Builder Notation
Sheffer Stroke
SheilaB, Poem
Solution Set
solutions
Some General Properties of Groups
Span
Spanning Subgraph
Spanning Tree
Spanning Trees
Spindel, Howard, Poem
Stack
Strings over an Alphabet
STT. See Sun Tzu's Theorem
Subgraph
Subgroup, Item
Conditions
Submonoid
Generated by a Set
Subsystem
Subsystems
Summation Notation and Generalizations
Sun Tzu's Theorem
Surjection
Switching Theory
Symmetric Difference
Symmetric Group
Symmetric Relation
Syndrome
Systems of Linear Equations
Tautology
Three Utilities Puzzle
Tournament Graph
Transitive Closure
Transitive Relation
Transposition
Traveling Salesman Problem, The
Traversals of Binary Trees
Traversals of Graphs
Tree
Triple Repetition Code
Truth Set
Unary Operation.
Undirected Graph
Union
Units
of a ring
of Polynomial Rings
of Power Series Rings
Unity of a Ring
Universal Quantifier
Universe
Upper Bound
Value of a Flow
Vector Space
Vector Spaces
Weighted Graph
What Is a Tree?