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

Policies
College
    Policies
Advice

Notes
Programs
Tutorials

CSCI 112
CSCI 125
Others

Admin
previous     next     today     future     all    

Schedule for weeks 1 through 16

Wk Day Date TopicResourcesEvents

1MonJan 07No classes yetNo class

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

  • 2MonJan 14Propositional Logic
  • Rosen 1.1
  • Rosen 1.2
  • Intro to Logic
  • HW1 Answers
  • HW 1 due

    WedJan 16Propositional Equivalences
  • Rosen 1.3
  • Logical Equivalence List
  • Logical Equivalence Applet
  • Logical Equivalence Quiz

  • 3MonJan 21Predicates and Quantifiers
  • Rosen 1.4
  • Rosen 1.6
  • Predicates and Quantifiers
  • Logic in the Bible
  • Rules of Inference List
  • HW 2 due

    WedJan 23Proofs
  • Rosen 1.7
  • Guide to Writing Proofs
  • HW 3 due

    4MonJan 28More Proofs!
  • Proof Examples
  • Proofs Notes

  • WedJan 30
  • Sets
  • Set Operations
  • Rosen 2.1
  • Rosen 2.2
  • Set Operations Applet
  • Venn Diagram Applet
  • HW 4 due

    5MonFeb 04Set Operations Rosen 2.2

    WedFeb 06Sequences and SummationsRosen 2.4 HW 5 due

    6MonFeb 11Winter BreakNo class

    WedFeb 13Matrices
  • Rosen 2.6
  • Matrix Tutorial

  • 7MonFeb 18ReviewHW 6 due

    WedFeb 20Chapters 1 and 2Midterm Exam

    8MonFeb 25Number Theory
  • Rosen 4.1
  • Rosen 4.2

  • WedFeb 27
  • Primes
  • GCD
  • Rosen 4.3
  • Sieve of Eratosthenes Demo

  • 9MonMar 04
  • Applications of Congruences
  • Rosen 4.5
  • ISBN Numbers (Wikipedia)
  • Check Digits
  • HW 7 due

    WedMar 06
  • Cryptography
  • Rosen 4.6

    10MonMar 11Catch up

    WedMar 13Mathematical Induction
  • Rosen 5.1
  • Induction Notes
  • HW 8 due

    Spring Break Week

    11MonMar 25More Induction

    WedMar 27Recursive Definitions and Structural InductionRosen 5.3

    12MonApr 01More Recursive Definitions

    WedApr 03The Basics of Counting
  • Rosen 6.1
  • Counting Tutorial
  • HW 9 due

    13MonApr 08The Pigeonhole PrincipleRosen 6.2

    WedApr 10Permutations and Combinations
  • Rosen 6.3
  • Permutations and Combinations Tutorial
  • HW 10 due

    14MonApr 15Binomial Coefficients and Identities
  • Rosen 6.4
  • Pascal's Triangle Interface
  • Pascal's Triangle Stuff

  • WedApr 17Stuff?

    15MonApr 22More countingHW 11 due

    WedApr 24Review

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