| ISE 215 |
 |
Back to ISE Courses |
| Course | ISE215 |
| Title | Foundations of Computer Science |
| Credits | 3 |
| Course Coordinator | |
| Current Catalog Description |
Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques. |
| Prerequisite | AMS 151 or MAT 125 or MAT 131 |
| Course Goals | |
| Textbook | |
| Major Topics Covered in Course | Functions, relations, and sets; recursion and functional programming; elementary logic; and mathematical induction and other proof techniques. |
| Laboratory Projects | |
| Course Webpage | ISE-215 is cross-listed with CSE-215 |