FOUNDATIONS OF COMPUTER SCIENCE

Catalog description

Prerequisite: MATH 2225 with a grade of C or better or MATH 3325.Quantitative reasoning intensive course (Q1).This course will review and build upon the major concepts introduced in MATH 2225 and examine additional mathematical topics needed for the study of computer and information science. A principal goal is the development of the ability to think and write clearly and mathematically about computer science problems and their solutions. Computer-based exercises using Interactive Set Language (ISETL) will provide students with additional experience with logic, induction and other methods of mathematical proof, and algorithms. Students will also learn to formulate conjectures and investigate possible answers by experimenting with ISETL. Applications studied may include the verification of algorithms, the formal specification of software systems, semantics of programming languages, automata, circuit design, and parallel computing.Faculty: M. OLAN