Oct 31, 2025  
2024-2025 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
  Hixon Center for Climate and the Environment
  Interdisciplinary Majors
  Other Programs
  Study Abroad
  Programs of Study
  Course Descriptions
  Academic Policies
  General Policies
  Faculty
  Senior Administration
  Academic Calendar 2024-2025
  Archived Catalogs
HELP
2024-2025 Catalog [ARCHIVED PUBLICATION] Use the dropdown above to select the current catalog.

CSCI081 HM - Computability and Logic

Credit(s): 3

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

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)