CSE150
Course  CSE150 

Title  Foundations of Computer Science  Honors 
Credits  4 
Course Coordinator 
Michael Bender 
Description 
Introduction to the logical and mathematical foundations of computer science for computer science honors students. Topics include functions, relations, and sets; recursion and functional programming; basic logic; and mathematical induction and other proof techniques.

Prerequisite  Prerequisite: one MAT course that satisfies D.E.C. C or QPS or score of level 4 on the math placement exam; admission to Honors in Computer Science or the Honors College or the WISE Honors Program or University Scholars or Simons STEM Scholars Program. 
Course Outcomes 

Textbook 
James L. Hein, Discrete Structures, Logic and Computability, Jones and Bartlett, 9780763772062. 
Major Topics Covered in Course 

Laboratory  
Course Webpage 
