CS-23022
DISCRETE STRUCTURES FOR CS
Spring 2012

TR  12:30 pm -01:45 pm.
MSB 228

Topics

 

Subtopics

Slides

 

Introduction

-

pdf

The Foundations: Logic and Proofs

Propositional Logic

pdf

Applications of Prop. Logic

pdf

 

Propositional Equivalences

pdf

 

Predicates and Quantifiers

pdf

 

Nested Quantifiers

pdf

Rules of Inference

pdf

 

Intro to Proofs

pdf

 

Proof Methods and Strategy

pdf

Basic Structures: Sets, Functions, Sequences, Sums, and Matrices

 

Sets

 

pdf

Set Operations

pdf

Functions

pdf

Sequences and Summations

pdf

Induction and Recursion

Mathematical Induction

pdf

Recursive Definitions and Structural Induction

pdf

Counting

The Basics of Counting

pdf

The Pigeonhole Principle

pdf

Permutations and Combinations

pdf

Binomial Coefficients

pdf

Discrete Probability

An Introduction to Discrete Probability

pdf

Probability Theory

pdf

Expected Value

pdf

Graphs and Trees

Introduction to Graphs and Trees

pdf

 

 

 

Textbook:  
      

Kenneth H. Rosen

Discrete Mathematics and Its Applications

McGraw-Hill, 2012


Web Site

 buy on-line at amazon.com,  
                   at BestBookBuys


QUIZZES


  1. Quiz #1 (01/17/2012, in class)
  2. Quiz #2 (01/26/2012, in class)
  3. Quiz #3 (02/07/2012, in class)
  4. Quiz #4 (02/16/2012, in class)
  5. Quiz #5 (03/01/2012, in class)
  6. Quiz #6 (03/13/2012, in class)
  7. Quiz #7 (03/27/2012, in class)
  8. Quiz #8 (04/05/2012, in class)
  9. Quiz #9 (04/17/2012, in class)

 


HOMEWORKS 


  1. Homework #1 (due 01/24/2012)
  2. Homework #2 (due 02/02/2012)
  3. Homework #3 (due 02/14/2012)
  4. Homework #4 (due 02/21/2012)
  5. Homework #5 (due 03/01/2012)
  6. Homework #6 (due 03/13/2012)
  7. Homework #7 (due 03/27/2012)
  8. Homework #8 (due 04/10/2012)
  9. Homework #9 (due 04/24/2012)

 

 

Extra Credit Problems (optional, due 04/19/2012): doc pdf  

 

 


EXAMS


  1. MidTerm: Thursday, February 23, 2012, 12:30 - 01:45 pm 

Topics covered: Propositional Logic, Applications of Prop. Logic, Propositional Equivalences, Predicates and Quantifiers, Nested Quantifiers, Rules of Inference, Intro to Proofs, Proof Methods and Strategy, Sets and Set Operations Info

MidTerm material review is on Tuesday, February 21, 2012

  1. Final Exam: Wednesday, May 2, 2012, 12:45 - 3:00 p.m.           

 Topics covered: Functions, Sequences and Summations, Mathematical Induction, Recursive Definitions and Structural Induction, The Basics of Counting, The Pigeonhole Principle, Permutations and Combinations, Binomial Coefficients, An Introduction to Discrete Probability, Probability Theory, Expected Value Info

Final Exam material review is on Thursday, April 26, 2012

 


 

  

 

 

 



F. F. Dragan
Spring 2012