Study Abroad Summer Session MyYSS

Mathematical Tools for Computer Science

You are here

Home    /    Courses & Programs    /    Courses at Yale    /    Courses    /    Mathematical Tools for Computer Science    /    Mathematical Tools for Computer Science
Course Number: 
S202
Department (unused): 
CPSC
Description: 
<p>Course closed to further enrollment. In-person 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. 1 Credit. Session B: July 1 – August 2. Tuition: $5070.</p>
Instructor Name: 
Cody Murphey
Subject Code (deprecated): 
CPSC
Subject Number (unused): 
CPSCS202
Meeting Pattern (deprecated): 
MWF 10.00-12.15
Term Code: 
202402
CRN: 
30975
Instructor UPI (unused): 
24180217
Session (deprecated): 
H5B
Distributional Designation (deprecated): 
LMIP
Subject Code (tax): 
CPSC
Meeting Pattern (tax): 
MWF 10.00-12.15
Distributional Designation (tax): 
LMIP
YCQR
Session (tax): 
H5B
Course Format (tax): 
LMIP
YCQR
Course Categories: 
Math, Engineering, & Data/Technology
Prioritize: 
Primary CRN: 
Primary CRN

CPSC S202 (CRN: 30975)

Instructors: Cody Murphey
Dates: H5B
Course Mode: LMIP, YCQR
Meeting Times: MWF 10.00-12.15
Distributional Requirements: LMIP, YCQR

Course closed to further enrollment. In-person 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. 1 Credit. Session B: July 1 – August 2. Tuition: $5070.


Apply Now Back to course search

Introduction to Functions of Several Variables

MATH S118E (CRN: 30799)

Dates: H5A
Course Mode: LMRM, SUCR, YCQR

Online Course. Calculus of functions of several variables, with some linear algebra. Intended for students in the social sciences, especially those majoring in Economics. Prerequisite: one term of calculus of functions of one variable (MATH 112 or...

Read more

Discrete Mathematics

MATH S244 (CRN: 30714)

Dates: H5B
Course Mode: LMIP, SUCR, YCQR

Course Cancelled. In-person Course. Basic concepts and results in discrete mathematics: graphs, trees, connectivity, Ramsey theorem, enumeration, binomial coefficients, Stirling numbers. Properties of finite set systems. Prerequisite: MATH 115...

Read more

Introduction to Computing and Programming

CPSC S100 (CRN: 30680)

Dates: H5A
Course Mode: LMIP, YCQR

In-person Course. Introduction to the intellectual enterprises of computer science and to the art of programming. Students learn how to think algorithmically and solve problems efficiently. Topics include abstraction, algorithms, data...

Read more

Calculus of Functions of Several Variables

MATH S120E (CRN: 30800)

Dates: H5B
Course Mode: LMRM, SUCR, YCQR

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...

Read more

Mechanical Engineering I: Strength and Deformation of Mechanical Elements

MENG S280E (CRN: 30802)

Dates: H5A
Course Mode: LMRM, SUCR, YCQR, YCSC

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....

Read more

Discrete Mathematics

MATH S244E (CRN: 30982)

Dates: H5A
Course Mode: LMRM, SUCR, YCQR

Online Course. Basic concepts and results in discrete mathematics: graphs, trees, connectivity, Ramsey theorem, enumeration, binomial coefficients, Stirling numbers. Properties of finite set systems. Prerequisite: MATH 115 or completed AP BC...

Read more