Skip to content

February 2019 version
Compare
Choose a tag to compare
@boazbk boazbk released this 11 Feb 18:06
· 1421 commits to master since this release
v0.5.1
250b76a

This version is less "idiosyncratic" -

  • We now use NAND-CIRC, NAND-TM, and NAND-RAM for the programming-language analogs of Boolean circuits, Turing machines, and RAM machines respectively.

  • The standard models are introduced before their programming language analogs and emphasized more.

  • Also started adding references and more exercises - will keep working on this.

Assets 3
Loading