Mathematical Tools for Computer Science
CPSC S2020 (CRN: 30050) | Syllabus
Instructors: Cody Murphey
Dates: Session A, May 25 - June 26, 2026
Course Mode: Online
Meeting Times: MWF 10.00-12.15
Distributional Requirements: Quantitative Reasoning
Eligibility: Open to pre-college and college students
Online Course. Introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra. Emphasis on applications to computer science: recurrences, sorting, graph traversal, Gaussian elimination. Prerequisite: Pre-calculus required; calculus recommended. 1 Credit. Session A: May 25 – June 26. Tuition: $5480. Technology Fee: $85.
Related Courses
Applied Computational Geometry Programming
CPSC S4794 (CRN: 30052)
Dates: Session B, June 29 - July 31, 2026
Course Mode: Online
Online Course. This course teaches the fundamentals of computational geometry by applying mathematical techniques in applied domains such as graphics, physics engines, robotics, and computer-aided design. Students exercise geometry, trigonometry…
Philosophy and Technology
PHIL S1183 (CRN: 30122)
Dates: Session B, June 29 - July 31, 2026
Course Mode: In-Person
In-person Course. The last few years have witnessed significant improvements in artificial intelligence and virtual reality technologies. Within our lifetimes, it may become possible to spend time in extremely realistic computer simulated worlds…
Linear Algebra with Applications
AMTH S2220 (CRN: 30212)
Dates: Session A, May 25 - June 26, 2026
Course Mode: Online
Online Course. Matrix representation of linear equations. Gauss elimination. Vector spaces. Linear independence, basis, and dimension. Orthogonality, projection, least squares approximation; orthogonalization and orthogonal bases. Extension to…
Linear Algebra with Applications
MATH S2220 (CRN: 30110)
Dates: Session A, May 25 - June 26, 2026
Course Mode: Online
Online Course. Matrix representation of linear equations. Gauss elimination. Vector spaces. Linear independence, basis, and dimension. Orthogonality, projection, least squares approximation; orthogonalization and orthogonal bases. Extension to…
Calculus of Functions of One Variable II
MATH S1150 (CRN: 30108)
Dates: Session B, June 29 - July 31, 2026
Course Mode: Online
Online Course. A continuation of MATH 1120. The definite integral, fundamental theorem of calculus, techniques of integration, polar coordinates, Taylor series, applications. Prerequisite: MATH 1120 or completed AP AB Calculus with a score of a 4…
Data Exploration and Analysis
S&DS S2300 (CRN: 30152)
Dates: Session B, June 29 - July 31, 2026
Course Mode: Online
Online course. This course expands on introductory statistics topics and provides an extensive introduction to the R programming language. A concise review of foundational statistical methods moves into topics such as bootstrapping, permutation…
Yale Summer Session