CS-252:  Discrete Structures
Fall 2003 - Section 1 & 2

Home
Objectives
Lectures
Homework
Tests

Lecture Notes

These transparency were created by Professor Jonathan L. Gross, Department of Computer Science at Columbia University. These are provided as is. No guarantee that the lectures will exactly adhere to these notes.

Chapter 1.  The Foundations: Logic and Proofs, Sets, and Functions
 1.1 Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers
1.4 Nested Quantifiers 1.5 Methods of Proof 1.6 Sets
1.7 Set Operations 1.8 Functions  
Chapter 2. The Fundamentals: Algorithms, the Integers, and Matrices
 2.4 Integers and Division 2.5 Integers and Algorithms  
     
 
      
 
      
 
      
 
      
 
      

 

This page was last updated on 10/23/2003 . Send comments to aboutams@jmu.edu