We don't have any documents tagged to this course yet.

Help us build our content library by uploading relevant materials from your courses.

Caltech | CS Top Documents
  • 2 Pages midterm
    Midterm

    School: Caltech

    Course: Decidability And Tractability

    CS 21 Decidability and Tractability Winter 2013 Midterm Out: February 6 Due: February 13 This is a midterm. You may consult only the course notes and the text (Sipser). You may not collaborate. The full honor code guidelines can be found in the course syl

  • 24 Pages cs1_linux_tutorial
    Cs1_linux_tutorial

    School: Caltech

    Course: Python

    Linus Torvalds CS 1 Linux Tutorial September 29, 2010 Linux mascot Linux: Introduction You've probably heard of the Windows and Mac OS X operating systems Linux is another popular one (its free too!) All the CS cluster machines run Linux CS cluster = co

  • 13 Pages Lectures Notes  (4)
    Lectures Notes (4)

    School: Caltech

    Course: Logic Model Checking For Formal Software Verification

    1 2 3 4 5 6 7 8 9 10 11 12 13

  • 3 Pages Assignment Solutions (1)
    Assignment Solutions (1)

    School: Caltech

    Course: Logic Model Checking For Formal Software Verification

    Logic Model Checking, CS 118 First Assignment This assignment counts for 10% of the final grade. (late submissions lose 10 pts from the score, cumulatively each day at noon) Solutions are due: Noon, 22 January 2013 via email to gerard@spinroot.com (plain

  • 2 Pages Assignment Solutions (2)
    Assignment Solutions (2)

    School: Caltech

    Course: Logic Model Checking For Formal Software Verification

    Logic Model Checking, CS 118 Second Assignment This assignment counts for 10% of the final grade. (late submissions lose 10 pts from the score, cumulatively each day at noon) Solutions are due: Noon, 29 January 2013 via email to gerard@spinroot.com (plain

  • 2 Pages Assignment Solutions (3)
    Assignment Solutions (3)

    School: Caltech

    Course: Logic Model Checking For Formal Software Verification

    Logic Model Checking, CS 118 Third Assignment This assignment counts for 10% of the final grade. Solutions are due: Noon, 5 February 2013 (10 pts are deducted if submitted late, cumulatively each day at noon) via email to gerard@spinroot.com 1) (20 pts) C

  • 2 Pages Assignment Solutions (4)
    Assignment Solutions (4)

    School: Caltech

    Course: Logic Model Checking For Formal Software Verification

    Logic Model Checking, CS 118 Fourth Assignment This assignment counts for 10% of the final grade. Solutions are due: Noon, Thursday 14 February 2013 Reminder: there is no lecture on Tuesday February 12. (10 pts deducted if submitted late, cumulatively eac

  • 3 Pages Lectures Notes  (2)
    Lectures Notes (2)

    School: Caltech

    Course: Quantum Computation

    CS 294-2 Spring 2007 Abelian HSP + Discrete Log Lecture 9 2/14/07 Abelian Hidden Subgroup Problem + Discrete Log 1 Fourier transforms over nite abelian groups Let G be a nite abelian group. The characters of G are homomorphisms j : G C. There are exactly

Back to course listings