CSE215

Course CSE215
Title Foundations of Computer Science
Credits 4
Course Coordinator

Himanshu Gupta

Description

Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion; elementary logic; and mathematical induction and other proof techniques.

Bulletin Link

Prerequisite Prerequisite: AMS 151 or MAT 125 or MAT 131
Course Outcomes
  • An ability to define and use discrete structures such as functions and sets.
  • To understand recursion as a computing paradigm.
  • An ability to use logic and basic proof techniques, such as mathematical induction.
Textbook

https://www.amazon.com/Discrete-Mathematics-Introduction-Mathematical-Reasoning/dp/0495826170

Major Topics Covered in Course
  • Logic (compound statements, quantifiers, etc.)
  • Proof methods
  • Mathematical Induction and Recursion
  • Set theory
  • Functions (at least: one-to-one, onto, composition)
Laboratory
Course Webpage

CSE215