An introduction to computers, computer science, and programming with an emphasis on problem analysis and algorithmic solutions.
The study of formal, deductive logic emphasizing the methods for demonstrating the validity of arguments. Includes truth functional propositional logic and quantification theory through the logic of relations. Also listed as PHIL 130 and MATH 130.
An introduction to the principal topics in mathematics needed by Computer Science and Mathematics majors. Topics include writing numbers in various bases, set theory, proof by induction, relations and functions, logic, matrices, complex numbers, recursion and recurrences, and rates of growth of various functions. Also listed as MATH 195.
Limited to members of the CS Applied Groups. Working under the direction of a faculty or staff member, groups of CS students provide infrastructure support for the CS Department and the College. Current groups include: CS System and Network Administrators, Hardware Interfacing Project, CS Content Administration Group, Pedagogical Tools Group, Database Integration Group, and Green Science Group. No more than three credits total in an academic career.
Designed for students majoring in any of the natural sciences. An introduction to the tools and techniques of interdisciplinary computationally based research in the natural sciences. Computational research uses computers to simulate laboratory experiments or to perform experiments which have no laboratory analog. Lab exercises come from a variety of disciplines.
A study of algorithms and the data structures on which they are based, with a focus on the analysis of their correctness and complexity in terms of running time and space.
An introduction to the structure and function of computing machines. The concept that computing machines consist of layers of virtual machines is an organizing principle. Topics include information representation, automata, assembly language programming, register machines, microprogramming, conventional machines and language processors.
An introduction to Functional Programming, one of the three major programming paradigms. Focuses on well-structured interactive program development using a modern functional programming language. Introduces the formal study of data types and the meaning of programs.
Introduces computer science tools and techniques that support computational science and high performance computing. Computational methods are an integral part of modern science, including multidisciplinary research into climate change, the origins of the universe and the underlying cause of diseases such as Alzheimer's. Topics include scientific libraries and kernels, parallel distributed and grid resources, and the principle software patterns found in this domain.
The theory, techniques and technologies associated with the design, construction, and testing of software systems, particularly large software systems. Students learn various approaches to functional decomposition and system architecture. Explores the tools used for building and testing software systems, particularly in the context of open source software.
A laboratory-oriented course dealing with analog and digital circuits. Circuit theory is developed for diodes, transistors, operational amplifiers and simple digital circuits. During the course, these components are used to construct a range of devices, including power supplies, oscillators and amplifiers. Lab. Also listed as PHYS 350.
The application of parallel programming and problem-solving techniques to solve computationally intensive problems in a variety of disciplines. Parallel computation invites new ways of thinking about problems and is an increasingly important skill in corporate and research environments. Students learn about programming paradigms used in parallel computation, the organization of parallel systems, and the application of programs and systems to solving problems in mathematics, phyics, chemistry and other areas.
An introduction to computer graphics with an emphasis on Open-GL and the mathematical foundations of modeling and rendering. Experientially oriented with frequent small projects. Requires good coding skills in C++ or, with considerably more work, C. Mathematical aspects based in Linear Algebra.
A study of computability and non-computability from a perspective that views the problems to be solved as formal languages. Study of automata-theoretic (finite state automata, pushdown automata and Turing machines) and generative (regular languages, regular, context-free and unrestricted phrase structure grammars) mechanisms along with the properties of the classes of languages they can define.
A study of the hardware and software technology and standards which support local area networks, wide area networks and the Internet. Emphasizes the TCP/IP protocol suits and the associated tools that provide universal connectivity to a wide variety of systems around the world. Explores the network hierarchy, from the physical level (transmission media) up through client/server applications such has HTTP servers and the domain name system.
A study of the software that manages the hardware and provides the interface between application programs and system resources. Topics include scheduling, memory management, persistent storage, resource contention, locking and multi-processor synchronization. Using open source software, students explore a production quality operating system and learn by modifying it.
An introduction to database management systems. Database design and develpment are viewed from the perspective of a user, an application program, and from the database kernel itself. Focuses primarily on relation and object-oriented data models and related software.
The nature of programming languages and the programs that implement them. Focuses on the abstract structures programming languages provide for expressing algorithms and the methods by which they are realized on concrete hardware.
Contact a professor for more information.
Selected topics determined by the instructor for upper-level study.
Contact a professor for more information.
Collaborative research with faculty funded by the Ford/Knight Program.
Investigation of a specific topic conceived and planned by the student in consultation with a faculty supervisor. Culminates in a comprehensive report prepared in the style of a thesis or paper.
Contact a professor for more information.
Each participant completes a semester-long capstone project in a research group setting. Weekly meetings with the instructor individually and with the group as a whole. In addition, explores topics from the cultural, ethical, historical or broader scientific context of computer science in readings and discussion. Culminates in a public seminar and student presentation. Prerequisite: Consent of the instructor.
Calculus is the mathematical study of quantities that change with time and of areas and volumes. Amazingly, these two problems are intimately related. The development of calculus is one of the great discoveries of humanity, and the resulting discipline is of fundamental importance not only for students of the natural sciences, but also for anyone intending to do graduate work in the social sciences. MATH 180 is an introduction to the major issues in calculus: functions, limits, derivatives and integrals. It ends with the fundamental theorem of calculus, which relates areas to rates of change.
Provides an introduction to college mathematics and emphasizes the process of mathematical discovery and the use of proofs to validate discoveries. Topics include number theory, graph theory, counting, set theory, logic and induction.
An introduction to the principal topics in mathematics needed by a Computer Science major, and intended for students of computer science. Topics include writing numbers in various bases, set theory, proof by induction, relations and functions, logic, matrices, complex numbers, recursion and recurrences, and rates of growth of various functions.
A continuation of MATH 180, including techniques of integration, applications of the definite integral, infinite sequences and series and elementary differential equations.
Topics include matrices, vector spaces, linear transformations and their applications.
Electrostatics, current electricity, electromagnetism, optics, electromagnetic waves and modern physics are investigated. Lab.
Electrostatics, electromagnetism, electric and magnetic fields, waves and optics are treated using analytical techniques of calculus and vector analysis. Lab.