Sep 18, 2020  
2020-2021 Catalog 
    
2020-2021 Catalog

CSCI081 HM - Computability and Logic


Credit(s): 3

Instructor(s): Bang, Keller, 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  and (CSCI060 HM  or CSCI042 HM )