CSC110Y5

Foundations of Computer Science 1

An introduction to the field of computer science that combines the tools and techniques of programming (using a modern programming language) with rigorous mathematical analysis and reasoning. Topics include data representations; program control flow (conditionals, loops, exceptions, functions); mathematical logic and formal proofs; algorithms and run-time analysis; and software engineering principles (formal specification and design, testing and verification). Prior programming experience is not required to succeed in this course.