CS381 Introduction to Discrete Structures
CS381 Web Course Materials  Level A
Last update September 29, 2000
Table of Contents
 INRTRODUCTION to DISCRETE STRUCTURES
click here
 PROBLEM SOLVING
 Problem Solving
click here
 Extrapolation
click here
 LOGIC
 Introduction to Logic
click here

Propositional Logic

Introduction to Propositional Logc
Click
here
 Proposition
 From English to Proposition
 Reasoning with Propositions
 Exercises

Predicate Logic

Why Predicate Logic ?
Click
here
 Well Formed Formula (Wff) of Predicate Logic

From Wff to Proposition
Click
here

English to Logic Translation
Click
here

Reasoning with Predicate Logic
 Exercises
SETS
 Basics
 Introduction to Sets Click here
 Representation of Set Click here
 Equality, Subset, Etc Click here
 Mathematical Reasoning Click here
 Set Operations
 Set Operations Click here
 Properties of Set Operation Click here
 Exercises on Reasoning about Sets Click here
RECURSION
 Recursive Definition
 Recursive Definition click here
 Generalized Set Operations Click here
 Recursive Definition of Function click here
 Recursive Algorithm click here
 Proof by Induction
 First Principle of Mathematical Induction click here
 Example 1 of Use of Mathematical Induction  Sum of Cubes
click here
 Example 2 of Use of Mathematical Induction  Program Correctness
click here
 Second Principle of Mathematical Induction click here
 Justification of Second Principle click here
 General Induction click here
 Exercises on Induction click here
RELATION
 Introduction to Relation
click here
 Definitions
 Binary Relation
click here
 Definition of
Relation (general relation)
click here
 Equality of Relations
click here
 Recursive Definition of Relation
click here
 Properties of Binary Relation, and Operations
 Digraph
click here
 Digraph Representation of Binary Relation
click here
 Properties of Binary Relation
click here
 Operations on Binary Relations
click here
 Special Relations
 Closures of Binary Relation
click here
 Equivalence Relation
click here
 Order Relation
click here
FUNCTION
 Definitions
click here
 Growth of Function
click here
INDEX
click here
People who contributed to this project (alphabetical order)

Minyi He

Li Li

Anjlica Malla

Guillaume Nerzic

Mohamed Owis

Lan Wang

Chunxiang Xu