Mar 29, 2024  
2015-2016 Catalog 
    
2015-2016 Catalog [ARCHIVED PUBLICATION] Use the dropdown above to select the current catalog.

CSCI081 HM - Computability and Logic


Credit(s): 3

Keller, Stone. 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. (Fall and Spring)

Prerequisite(s): MATH055 HM  and (CSCI060 HM  or CSCI042 HM )