USB logo
CS Banner
CSE/ISE 215
Foundations of Computer Science

Spring 2018

Quick Links


Announcements
No recitations will be held during week of January 22nd.
Welcome to CSE/ISE 215 

Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques. This course is offered as both CSE 215 and ISE 215.