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…
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…
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…
Algorithms
CPSC S3650 (CRN: 30051)
Dates: Session B, June 29 - July 31, 2026
Course Mode: In-Person
Course cancelled. 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…
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,…
Mechanical Engineering I: Strength and Deformation of Mechanical Elements
MENG S2311 (CRN: 30115)
Dates: Session A, May 25 - June 26, 2026
Course Mode: Online
Online Course. Elements of statics; mechanical behavior of materials; equilibrium equations, strains and displacements, and stress-strain relations. Elementary applications to trusses, bending of beams, pressure vessels, and torsion of bars.…
Yale Summer Session