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 ps1
    Ps1

    School: Caltech

    Course: CS 21

    CS 21 Decidability and Tractability Winter 2012 Problem Set 1 Out: January 11 Due: January 18 Reminder: you are encouraged to work in groups of two or three; however you must turn in your own write-up and note with whom you worked. You may consult the cou

  • 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

Back to course listings