'True bool' presentation slideshows

Extreme RPS in IST 380!

Extreme RPS in IST 380!. They call that an alien?. Spock mind-melds three-eyed aliens!. Provably. http://www.youtube.com/watch?v=iapcKVn7DdY http://www.youtube.com/watch?v=yuEZEyDdmvQ. Today in IST380. Homework 0 due Wed. @ 11:59pm!. practice program, RPS(LS), Picobot , part 1.

1.43k views • 129 slides

Advanced Programming Andrew Black and Tim Sheard

Advanced Programming Andrew Black and Tim Sheard. Lecture 4 Intro to Haskell. Assignment #2. You are to write a number of functions in Haskell explode:: String -> [Char] digitValue:: [Char] -> [Int] reverse:: [Int] -> [Int] pairedWithPowersOf10:: [Int] -> [(Int,Int)]

453 views • 35 slides

Computing Fundamentals 1 Equations and Reduction in CafeOBJ

Computing Fundamentals 1 Equations and Reduction in CafeOBJ. Lecturer: Patrick Browne Lecture Room: K308 Lab Room: A308. Why a specification language?.

378 views • 25 slides

C vs C++

108 views • 8 slides