CS 15-212: Fundamental Principles of Computer Science II

Handouts

  • Course syllabus
  • SML for 15-212-X
  • MLWorks:User's Guide to the Environment
  • Basic Computability Theory
  • [ CS 15-212 Home page | schedule | assignments | handouts ]

    Carsten Schuermann (carsten@cs.cmu.edu)
    Iliano Cervesato (iliano@cs.cmu.edu)