CSE113

Course CSE113
Title Foundations of Computer Science I
Credits 4
Course Coordinator
Description

Introduction to the mathematical foundations of computer science. Topics include logic (propositional and predicate); proof techniques (induction/recursion, contradiction, and others); and key concepts of mathematical structures (sequences, sets, functions, relations, and graphs).
Prerequisite AMS 151 or MAT 125 or MAT 131
Course Outcomes
  • An ability to use sound logical reasoning in solving computational problems.
  • An ability to use proof techniques such as induction/recursion, contradiction, and others.
  • An ability to identify key concepts of mathematical structures such as sequences, sets, functions, relations, and graphs.
Textbook

Discrete Mathematics with Applications, 5th Edition by Susanna S. Epp
Major Topics Covered in Course
  • Speaking Mathematically
  • The Logic of Compound Statements
  • The Logic of Quantified Statements
  • Elementary Number Theory and Methods of Proof
  • Sequences, Mathematical Induction, and Recursion
  • Set Theory
  • Properties of Functions
  • Properties of Relations
Laboratory
Course Webpage

CSE113