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 | |
Textbook |
Discrete Mathematics: Introduction to Mathematical Reasoning. Susanna S. Epp. Brief Edition. |
Major Topics Covered in Course | |
Laboratory | |
Course Webpage |
|