# IndexIndex

A Coset Counting Formula
Abelian Group
a Limerick, Poem
Algebraic Systems
Alternating Group
Andrew Robinson, Poem
Antisymmetric Relation
Associative Property
Atom of a Boolean Algebra
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
Characteristic Equation
Characteristic function
Characteristic Roots
Chinese Remainder Theorem
Chromatic Number
Closed Form Expression.
Closest Neighbor Algorithm
Closure Property
Code
Polynomial
Codes
Group
Coding Theory
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 m
Conjunction, Logical
Connected Component
Connectivity in Graphs
Contrapositive
Converse
Coset
Coset Representative
Cosets
Operation on
Cosets and Factor Groups
Countable Set
Counting Binary Trees
covering relation
CRT
Cycle
Cycle Notation
Cyclic Group
Cyclic Subgroup
Degree
Degree Sequence of a Graph
Derangement
Diagonalizable Matrix
Diagonalization Process, The
Digraph
Dimension of a Vector Space
Direct Product
Direct Products
Direct proof
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
Duality for Boolean Algebras
Eigenvalue
Eigenvector
Elementary Operations on Equations.
Elementary Row Operations
Embedding of a graph
Empty set
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
Field
Finite-State Machine
Finite-State Machines
Five-Color Theorem
Flow Augmenting Path
Forest.
Formal Language
Four-Color Theorem
Free Monoids and Languages
Full binary tree, List
Function
Bijective
Composition
Equality
Injective
One-to-one
Onto
Surjective
Functions
Of two Variables
Fundamental Theorem of Group Homomorphisms
Gauss-Jordan Algorithm
Generalized Set Operations
Generate
Generating Function
Generating Functions
Closed form expressions for
Operations on,
Generation Problem
Generator
George Boole
a Limerick, Poem
Graph
Data Structures
Multigraph
Simple Directed
Undirected
Graph Coloring
Graph Optimization
Graphic Sequence
Greatest Common Divisor ($\gcd$)
Greatest Element
Greatest Lower Bound
Group
Hamiltonian Paths, Circuits, and Graphs
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
Induced Subgraph
Induction and Recursion
Injection
Integral Domain
Intersection
Inverse
Matrix
Inverse Function
of a function on a set
Inverse Property
Involution Property
Irreducibility of a Polynomial
Isomorphic Graphs
Isomorphism
Group
Isomorphisms
Join
Kernel
Kruskal's Algorithm
Lagrange's Theorem
Lattice
Lattices
Laws of Matrix Algebra
Leaf, of a binary tree, Item
Least Element
Least Upper Bound
Left Distributive Property
Level of a vertex
Levels of Abstraction
Linear Combination.
Linear Dependence
Linear Equations in a Group
Linear Independence
Logarithm
General Base
Logarithm, base 2
Logarithms
Properties
Lower Bound
Machine of a Monoid
Many Faces of Recursion, The
Matrix Inversion
Matrix Multiplication
Matrix Oddities
Maximal flow
Meet
Merge Sort
Minimal Spanning Tree
Minimum Diameter Spanning Tree
Minset
Minset Normal Form
Minterm
Minterm Normal Form
Modular Arithmetic
Properties
Modular Multiplication
Monoid
of a Finite-State Machine
Monoids
Multigraph
Multiple Pop and Push:
Multiplicative Inverses.
N-cube
Natural Homomorphism
Negation, Logical
Network
Networks
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 Recurrence Relation
Partial Ordering
Partially ordered set
Partition
of a group by cosets
Partition.
Path Graph
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
Polynomials
Polynomials and their evaluation
Poset
Posets Revisited
Power Series
Power Set
Power Set Cardinality Theorem
Powers of Functions
Prim's Algorithm
Proper subset
Properties of Functions
Properties of Operations
Proposition
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
Reducibile Polynomial
Reflexive Relation
Regular Grammar
Relation
Relation Notation
Relation on a Set
Relatively Prime
Right Distributive Property
Ring
Commutative
Ring Isomorphism.
Ring with unity
Rooted Tree
Rooted Trees
Row Equivalent Matrices
Rule Of Products, The
Sage Note
bridge hands
Cartesian Products and Power Sets
Functions
Graphs
Kruskal's Algorithm
Matrix Diagonalization, Note
Matrix Exponential, Note
Matrix Reduction, Note
Modular Arithmetic
Power Series
Search in a Graph
Sets
Scalar Multiplication
Sequence
Sequences
Operations on,
Recursively Defined
Set-Builder Notation
Sheffer Stroke
Solution Set
Some General Properties of Groups
Span
Spanning Subgraph
Spanning Tree
Spanning Trees
Spindel, Howard, Poem
Strings over an Alphabet
Subgraph
Submonoid
Generated by a Set
Subsystem
Subsystems
Summation Notation and Generalizations
Surjection
Symmetric Difference
Symmetric Group
Symmetric Relation
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
Truth Set
Unary Operation.
Undirected Graph
Union
Unity of a Ring
Universal Quantifier
Universe
Upper Bound
Value of a Flow
Vector Space
Vector Spaces
Weighted Graph
What Is a Tree?
Zero Divisor