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