COSC 290
Discrete Structures

Spring 2008

Classroom: Tuesday/Thursday 9:55 - 11:10, McGregory 320

Laboratory: Tuesday 3:30 - 5:20, McGregory 310
Instructor:   Philip Mulry
                    Office: McGregory 302
                    Office Hours:    TBA

Text: Discrete Mathematical Structures for Computer Science, 5th edition,
             by Kolman, Busby, Ross.


Exam Dates:    March 4, April 22

Course Description: The course introduces standard computational structures,
methods and ideas utilized in computer science. Topics include sets, relations,
functions, equivalence and congruence relations, induction and recursion, order
relations, partially ordered sets, lattices, Boolean algebras, logic,
semi-groups, monoids, languages and finite-state machines. Computer science
structures, such as concrete and abstract data types, circuits, programs and
their structure provide standard motivating examples and applications.