Computer Science 290

Spring, 2009
Colgate University


The material in this manual may be copied and used for face-to-face teaching purposes only. The material may only be used for non-commercial purposes. Any copies of this material must contain this credit and notice. Produced by Chris Nevison, Computer Science Department, Colgate University, Hamilton, NY 13346. Copyright Jan, 2009. 

Course Description                           Blackboard

Daily Schedule

Day                  Topic                                 Reading


Jan.  19                Introduction
        21                Sets and sequences                        KBR, sections 1.1, 1.2, 1.3


        26                Matrices                                         KBR, sections 1.4 (read only), 1.5   Quiz on 1.3, 1.4, 1.5
        26                Lab 1   Lab 1(word)     code in Lab1Start
        28                Mathematical structures                   KBR, section 1.6                        classwork


Feb    2                Logic and conditionals                     KBR sections 2.1, 2.2
          2                Lab 2   Lab2(word)      code: Direction   Location   TestLocDir
          4                Methods of proof                            KBR  sections 2.3 and 2.4

          9                Induction proofs                              KBR section 2.4                            Quiz 2 on chapter 2
          9                Lab 3                Lab 3 proof solutions
        11                Cartesian Product and Partitions      KBR section 4.1         


        16                Relations and digraphs, paths          KBR sections 4.2, 4.3, 4.4
                            Properties of relations
        16                Lab 4

        18                Equivalence Relations,                     KBR sections 4.5, 4.7                   Quiz 3 on 4.1 - 4.4
                            Operations on Relations 


        23                Closures and Warshall's Alg            KBR  section 4.8                           Quiz 4 on 4.5- 4.7
        23                Lab 5
        25                Review

Mar   2                EXAM 1 - covers chapters 1-4    No Lab                                         Exam 1 Solutions Q 1-3
          4                Functions                                        KBR  section 5.1


          9                Order Relations, PO sets                KBR  section 6.1, 6.2                    Exam 1, Question 4 Solution
          9                Lab 6
        11                Posets and Extremal Elements         KBR  section 6.2, 6.3                          Quiz 5 on 6.1, 6.2
                            Lattices


        16               Spring Break
        18


        23               No Class                     Read KBR, section 6.3
        25               No Class                     Read KBR, section 6.4                                            Quiz 6 on 6.3-6.4


        30               Functions on Boolean Algebras       KBR section 6.5 
        30               Lab 7            
Apr    1               Boolean Algebra and Circuits          KBR section 6.6        


          6               Semigroups and monoids                 KBR sections 9.1, 9.2                   
          6               Finish Lab 7            Lab 8 is optional (extra credit)
          8               Semigroup products and quotients    KBR section 9.3                            Quiz 7 on 9.1, 9.2, 9.3 (1st 2 pages)

        13                Languages                                       KBR section 10.1, 10.2
        13                Lab 9
        15                Finite State Machines                       KBR 10.3                                    Quiz 8 on 9.2,9.3           


        20                Semigroups and FSMs                     KBR 10.3, 10.4
        20                Lab 10
        22                FSMs and Monoids                         KBR 10.4                                   Quiz 9 on 10.3, 10.4


        27                Simplifying FSMs                            KBR 10.6
        27                Finish all lab work                                                                               Solution code for Lab 10
        29                Review




          TBA                   Review Session
Monday, May 4, 3:00-5:00                                   Final Exam    Final Solutions