ISE215

Course ISE215
Title Foundations of Computer Science
Credits 3
Course Coordinator
Description

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.

Prerequisite AMS 151 or MAT 125 or MAT 131
Course Outcomes
Textbook
Major Topics Covered in Course

Functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques.

Laboratory
Course Webpage

ISE-215 is cross-listed with CSE215