University of Denver
Computer Science
University of Denver
Prerequisites: None
This course covers number systems and basic number theory, propositional and predicate logic, proof techniques, mathematical induction, sets, counting and discrete probability; case studies with applications from computer science, such as data representation, algorithm analysis and correctness, and system design.
See the syllabus for a detailed list of topics.
Durso: Spring 2012, Tue, Thu 10 - 11:50 pm, John Greene Hall 316
Durso Off. hrs.: Tue, Thu 1 - 3:00 pm, John Greene Hall 106
Thurimella: Spring 2012, Tue, Thu 2 - 3:50 pm, John Greene Hall 316
Thurimella Off. hrs.: Tue, Thu 4 - 6:00 pm, John Greene Hall 116
Cathy Durso
Ramki Thurimella
Seif Azghandi
