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 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.…
Calculus of Functions of Several Variables
MATH S1200 (CRN: 30109)
Dates: Session B, June 29 - July 31, 2026
Course Mode: Online
Online Course. Analytic geometry in three dimensions, using vectors. Real-valued functions of two and three variables, partial derivatives, gradient and directional derivatives, level curves and surfaces, maxima and minima. Parametrized curves in…
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…
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
ECON S3365 (CRN: 30237)
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…
Yale Summer Session