CSCI 250 Spring 2012
Discrete Structures
Archived Class
Charles Cusack
Computer Science
Hope College
Main
Schedule
Grading
Gradebook
Homework

Policies
College
    Policies
Advice

Notes
Programs
Tutorials

CSCI 255
MATH 132
Others

Admin
previous     next     today     future     all    

Schedule for weeks 1 through 16

Wk Day Date TopicResourcesEvents

1MonJan 09No classes yetNo class

WedJan 11
  • Introduction to the course
  • Propositional Logic
  • Rosen 1.1
  • Truth Table Applet
  • Truth Table Quiz Applet

  • 2MonJan 16Propositional Logic
  • Rosen 1.1
  • Rosen 1.2
  • Intro to Logic
  • HW 1 due

    WedJan 18Propositional Equivalences
  • Rosen 1.3
  • Logical Equivalence List
  • Logical Equivalence Applet
  • Logical Equivalence Quiz
  • HW 2 due

    3MonJan 23Predicates and Quantifiers
  • Rosen 1.4
  • Predicates and Quantifiers
  • Logic in the Bible
  • HW 3 due

    WedJan 25Rules of Inference
  • Rosen 1.6
  • Rules of Inference List
  • HW 4 due

    4MonJan 30Proofs
  • Rosen 1.7
  • Guide to Writing Proofs
  • HW 5 due

    WedFeb 01More Proofs!
  • Rosen 1.8
  • Proof Examples
  • Proofs Notes
  • HW 6 due

    5MonFeb 06Even More Proofs!HW 7 due

    MonFeb 06
  • Sets
  • Set Operations
  • Rosen 2.1
  • Rosen 2.2
  • Set Operations Applet
  • Venn Diagram Applet
  • HW 8 due

    6MonFeb 13Winter BreakNo class

    WedFeb 15
  • Set Operations
  • Functions
  • Rosen 2.2
  • Rosen 2.3
  • HW 9 due

    7MonFeb 20Sequences and SummationsRosen 2.4 HW 10 due

    WedFeb 22Chapters 1 and 2HW 11 due

    8MonFeb 27Chapters 1 and 2Midterm Exam

    WedFeb 29Mathematical Induction
  • Rosen 5.1
  • Induction Notes
  • HW 12 due

    9MonMar 05Strong Induction and Well-Ordering
  • Rosen 5.2
  • HW 13 due

    WedMar 07More InductionHW 14 due

    10MonMar 12Recursive Definitions and Structural InductionRosen 5.3 HW 15 due

    WedMar 14The Basics of Counting
  • Rosen 6.1
  • Rosen 8.5
  • HW 16 due

    Spring Break Week

    11MonMar 26The Pigeonhole PrincipleRosen 6.2 HW 17 due

    WedMar 28Permutations and CombinationsRosen 6.3 HW 18 due

    12MonApr 02Binomial Coefficients and Identities
  • Rosen 6.4
  • Pascal's Triangle Interface
  • Pascal's Triangle Stuff
  • HW 19 due

    WedApr 04More CountingHW 20 due

    13MonApr 09Relations
  • Rosen 9.1
  • HW 21 due

    WedApr 11Representing RelationsRosen 9.3 HW 22 due

    14MonApr 16Equivalence Relations
  • Rosen 9.5
  • Equivalence Relation Notes
  • Relation Examples
  • HW 23 due

    WedApr 18Boolean FunctionsRosen 12.1 HW 24 due

    15MonApr 23Representing Boolean FunctionsRosen 12.2 HW 25 due

    WedApr 25EverythingHW 26 due

    ExThuMay 03EverythingNothingFinal Exam
    9:00-11:00 am