Mathematical Tools for Computer Science
CPSC S2020 (CRN: 30050)
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
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…
Ordinary and Partial Differential Equations with Applications
APHY S1940 (CRN: 30193)
Dates: Session B, June 29 - July 31, 2026
Course Mode: Online
Online Course. Basic theory of ordinary and partial differential equations useful in applications. First- and second-order equations, separation of variables, power series solutions, Fourier series, Laplace transforms. Prerequisites: ENAS 1510 or…
Algorithms
CPSC S3650 (CRN: 30051)
Dates: Session B, June 29 - July 31, 2026
Course Mode: In-Person
In-person Course. Paradigms for algorithmic problem solving: greedy algorithms, divide and conquer, dynamic programming, and network flow. NP completeness and approximation algorithms for NP-complete problems. Algorithms for problems from…
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…
Mechanical Engineering III: Dynamics
MENG S3323 (CRN: 30116)
Dates: Session B, June 29 - July 31, 2026
Course Mode: Online
Online Course. Kinematics and dynamics of particles and systems of particles. Relative motion; systems with constraints. Rigid body mechanics; gyroscopes. Prerequisites: PHYS 1800 or 2000, and MATH 1200 or ENAS 1510. MATH 2220 recommended but not…
Introductory Statistics
S&DS S1000 (CRN: 30150)
Dates: Session A, May 25 - June 26, 2026
Course Mode: Online
Online Course. An introduction to statistical reasoning. Topics include numerical and graphical summaries of data, data acquisition and experimental design, probability, hypothesis testing, confidence intervals, correlation and regression,…
Yale Summer Session 2026