Apr 13, 2024  
2023-2024 Catalog 
2023-2024 Catalog

CSCI081 HM - Computability and Logic

Credit(s): 3

Instructor(s): Bang, Monta​ñez, Stone

Offered: Fall and Spring

Description: An introduction to some of the mathematical foundations of computer science, particularly logic, automata, and computability theory. Develops skill in constructing and writing proofs, and demonstrates the applications of the aforementioned areas to problems of practical significance.

Prerequisite(s): (MATH055 HM  or MATH055  CM/PZ/SC), and (CSCI060 HM  or CSCI042 HM ), and (MATH019 HM  or MATH032 CM/PO/PZ/SC or MATH032S PO or MATH067  PO), and (MATH073 HM  or MATH060 CM/PO/PZ/SC)