CSCI 60-07: Foundations of Computer Science
Undergraduate course, California State University, Fresno, Department of Computer Science, 2026
Fall 2026. This course develops the mathematical language and reasoning used throughout computer science. Topics include abstraction, logic, data models, induction, recursion, program correctness, recurrence relations, and introductory algorithm analysis.
The course emphasizes clear definitions, representative examples, proof-writing habits, and collaborative problem solving. Students learn to move carefully between an informal computational idea, a mathematical model, and a rigorous argument.
Core topics
- Sets, functions, relations, logic, and proof techniques
- Mathematical induction and recursive definitions
- Recurrences, iteration, and program correctness
- Data models, abstraction, and introductory complexity analysis