May 13, 2024  
2016-2017 Catalog 
    
Catalog Navigation
  Publication Home
  About Harvey Mudd College
  Introduction
  Student Life
  Admission & Financial Aid
  Academic Program
  HMC Common Core
  Department of Biology
  Department of Chemistry
  Department of Computer Science
  Department of Engineering
  Department of Humanities, Social Sciences, and the Arts
  Department of Mathematics
  Department of Physics
  Interdisciplinary Programs
  Other Programs
  Study Abroad
  Programs of Study
  Course Descriptions
  Academic Policies
  General Policies
  Faculty
  Senior Administration
  Academic Calendar 2016-2017
  Archived Catalogs
HELP
2016-2017 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 )