Oct 30, 2025  
Spring 2026 Undergraduate Catalog 
    
Spring 2026 Undergraduate Catalog
Add to Portfolio (opens a new window)

CSE 113 - Foundations of Computer Science I


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). Not for credit in addition to CSE 215 .

4 credits

Prerequisite(s): AMS 151  or MAT 125  or MAT 131  or level 6 on the mathematics placement examination



Add to Portfolio (opens a new window)