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 Projects
Course Webpage ISE-215 is cross-listed with CSE215