ISE215


Course

ISE215

Title

Foundations of Computer Science

Credits

3

Course Coordinator

 

Current Catalog Description

Introduction to the logical and mathematical foundations
of computer science.

Prerequisite

AMS 151 or MAT 125 or MAT 131

Course Goals

 

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

N/A