Computer Science 290

Spring, 2016
Colgate University


Course Description                           Blackboard

Daily Schedule

Day                  Topic                                 Reading


Jan.  18                Introduction
        20                Sets and sequences                        KBR, sections 1.1, 1.2, 1.3


        25                Matrices                                         KBR, sections 1.4, 1.5   Quiz 1on 1.1, 1.2, 1.3, 1.4, 1.5 due before class
        27                Lab 1   Lab 1(word)     code in Lab1Start
        27                Mathematical structures                   KBR, section 1.6                        classwork     classwork(pdf)


Feb    1                Logic and conditionals                     KBR sections 2.1, 2.2
          3                Lab 2   Lab2(word)                 code: Direction   Location   TestLocDir
          3                Methods of proof                            KBR  sections 2.3 and 2.4       Quiz 2 on 2.1 - 2.3 due before class

          8                Induction proofs                              KBR section 2.4                           
        10                Lab 3                Lab 3 proof solutions
        10                Cartesian Product and Partitions      KBR section 4.1         


        15                Relations and digraphs, paths          KBR sections 4.2, 4.3, 4.4        Quiz 3 on 4.1 - 4.4 due before class
                            Properties of relations
        17                Lab 4
        17                Equivalence Relations,                     KBR sections 4.5, 4.7                   
                            Operations on Relations 


        22                Closures and Warshall's Alg            KBR  section 4.8                       Quiz 4 on 4.5 - 4.8 due before class
        24                Lab 5
        24                Review

        29                EXAM 1 - covers chapters 1-4                                                       
Mar   2                 No Lab
          2                Functions                                        KBR  section 5.1


          7                Order Relations, PO sets                KBR  section 6.1, 6.2                    
          9                Lab 6
          9                Posets and Extremal Elements         KBR  section 6.2, 6.3                   Quiz 5 on 6.1 - 6.3 due before class
                            Lattices


        14               Spring Break
        16


        21               No Class                                     Read KBR, section 6.3
        23               Lab 7     
        23               Lattices and Finite Boolean Algebras   KBR, section 6.4                     Quiz 6 on 6.3-6.4


       28               Functions on Boolean Algebras       KBR section 6.5 
       30               Finish Lab 7
       30               Boolean Algebra and Circuits          KBR section 6.6        


Apr    4               Semigroups and monoids                 KBR sections 9.1, 9.2                   
          6               Lab 8
          6               Semigroup products and quotients    KBR section 9.3                            Quiz 7 on 9.1, 9.2, 9.3 (1st 2 pages)

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


        18                NO Class
        20                Lab 10
        20                Semigroups and FSMs                     KBR 10.3, 10.4                                 


        25                FSMs and Monoids                          KBR 10.4, 10.6                 Quiz 9 on 10.3, 10.4
        27                Finish all lab work                                                                         
        27                Simplifying FSMs and Review
        29                lab 10 due                                        Solution code for Lab 10




May 5, 3:00-5:00         Final Exam                     Final exam solutions