Course Offerings Historical

Sophisticated software systems play a prominent role in many aspects of our lives, and while programming can be a very creative and exciting process, building a reliable software system of any size is no easy feat. Moreover, the ultimate outcome of any programming endeavor is likely to be incomplete, unreliable, and unmaintainable unless principled methods for software construction are followed. This course explores those methods. Specific topics include: software processes; specifying requirements and verifying correctness; software architectures; concurrent, parallel, and scalable systems design; testing and debugging; and performance evaluation. Continue reading »

Office of the Registrar, Fall 2014 Catalog, Computer Science CSCI 109: The Art and Science of Computer Graphics (Q) Bailey 109-01 (LEC) TR 8:30-9:45 109-02 (LAB) M 1:00-2:25 109-03 (LAB) M 2:35-4:00 CSCI 134: Introduction to Computer Science (Q) Lenhart,… Continue reading »

CSCI 12 Stained Glass Tiling COURSE DESCRIPTION: This course combines medieval craftsmanship with contemporary geometry. Each student will build a piece of stained glass using colored glass tiles that fit together to form two or three-dimensional tiling patterns. Students will learn how to cut glass; to paint and print… Continue reading »

Office of the Registrar, Spring 2015 Catalog, Computer Science CSCI 107: Creating Games McGuire 107-01 (LEC) TR 8:30-9:45 107-02 (LAB) R 1:00-4:00 CSCI 134: Introduction to Computer Science (Q) Danyluk, Freund 134-01 (LEC) MWF 9:00-9:50 134-02 (LEC)… Continue reading »

Functional programming takes as its central organizing principle the idea of evaluating functions rather than executing instructions. It supports programming at a high level of abstraction and carefully controlling side effects, which are critical given the ever-increasing sophistication of software systems. This course explores functional programming in depth, with a unifying focus on recursion. It combines practical programming experience in Haskell with a deep exploration of the underlying theory. Covered topics include algebraic data types, induction, lambda calculus, equivalence of iteration and recursion, laziness, folds and unfolds, termination analysis, and domain theory. These topics are of importance not only to functional programming per se, but also to the design and analysis of any software system. Continue reading »

Office of the Registrar, Fall 2013 Catalog, Computer Science CSCI 134: Introduction to Computer Science (Q) Murtagh, Lenhart 134-01 (LEC) MWF 9:00-9:50 134-02 (LEC) MWF 10:00-10:50 134-03 (LAB) M 1:00-4:00… Continue reading »

Office of the Registrar, Winter Study 2014 CSCI 10: Designing and Building a Desktop Computer This course introduces the student to computer components and the methods used to design and construct a fully working desktop system. Students will assemble a computer from existing spare parts to end up… Continue reading »

Office of the Registrar, Spring 2014 Catalog, Computer Science CSCI 109: The Art and Science of Computer Graphics (Q) Bailey 109-01 (LEC) TR 8:30-9:45 109-02 (LAB) R 1:00-2:25 109-03 (LAB) R 2:35-4:00… Continue reading »

CSCI 10: Designing and Building a Desktop Computer This course introduces the student to computer hardware and the methods used to design and construct a fully working system. Students will also learn about operating systems, wired and wireless networking, firewalls, viruses, software productivity packages and other tools for Windows, Mac… Continue reading »

CSCI 107: Creating Games McGuire 107-01 (LEC) TR 8:30-9:45 107-02 (LAB) TR 1:00-4:00 CSCI 134: Introduction to Computer Science (Q) Murtagh, Heeringa 134-01 (LEC) MWF… Continue reading »