store M’s / Boston University / California Institute of Technology / University of California at Berkeley / /
IndustryTerm
Formal proof systems / real and ideal computing devices / algorithm computing / computing / above algorithm / exhaustive search / fixed connection sorting network / /
Organization
California Institute of Technology / University of California / National Science Foundation / MIT / UC Berkeley / BU / Boston University / U.S. Securities and Exchange Commission / /
Person
John von Neumann / Rabin / Richard Karp / Manuel Blum / M. Blum / Carlo Primality / Conway Guy / /
Position
author / PM / CA / Prime Minister / given multi-head / instructor for questions / active player / Universal Multi-head / i-th player / Multi-Head / player / head / left end / /
Fundamentals of Computing Leonid A. Levin These are notes for the course CS-172 I first taught in the Fall 1986 at UC Berkeley and subsequently at Boston University. The goal was to introduce the undergraduates to basic