Course Reading Material |
| Logic and Computation Course – Northeastern Univ. |
Course Homepage |
| Reasoning About Programs – Northeastern Univ. |
Text/Lectures |
| Logic and Proofs Course – CMU |
Logic & Proofs – Online Course |
ACL2 |
| ACL2 Home Page – U Texas |
ACL2 Home Page |
| ACL2S Installation, Tutorial – Northeastern U |
Northeastern U Installation page |
| Running ALC2/Eclipse on tux |
Notes from Mark Boady |
Complexity |
| Introduction to Big-O |
PDF |
| PPT |
| Recurrence Relations, solving by substitution |
PDF |
|
PPT |
Induction |
| A quick
introduction, from Drexel's Dr. Math |
| Some okay
examples, from Mr. Cohen, a programmer and former HS
teacher |
|
A better treatment, including complete or strong
induction, from some nice folks at MIT |
Parsers |
| balParen |
C |
| Python |
| number |
C |
| Python |