Table of Contents

1.Propositional Logic
1.1 Propositions and Connectives
1.2 Propositional WFF and Assignment
1.3 Prepositional Equivalences
1.4 Disjunefive Normal Form
1.5 Functionally Complete Set of Logical Connecdves
1.6 Rules of Inferenee
2.Predicate Logict
2.1 Predicates and Quanfifiers
2.2 WellFormed Formulas in Predicate Logic
2.3 Equivalent Formulas
2.4 Prenex Normal Form
2.5 Inference Rules in Predicate Calculus.
3.Set Theory
3.1 Sets
3.2 Set Operationst
3.3 Inclusion.Exclusion
4.Relations
4.1 Cartesian Products and Relations
4.2 Properties of Relations
4.3 Representing Relations
4.4 Closure of Relations
4.5 Equivalence Relafons
4.6 Partial Ordenngs
5.Graphst
5.1 Graph Terminology
5.2 Representing Graphs and Graph Isomorphism
5.3 Subgraphs
5.4 Euler and Hamihon Paths
5.5 The Shortest-Path Problem
5.6 Planar Graphs
6.Trees
6.1 Basic Concepts
6.2 Roots and Ordefingst
6.3 Spanning Trees
7.Algebra Structurest
7.1 Basic Concepts
7.2 Groups
7.3 Rings and Fields
7.4 Boolean Algebras
Reftrence