cothrun + computerscience   80

The subject of this book sometimes goes by the name “programming methodology”, “science of
programming”, “logic of programming”, “theory of programming”, “formal methods of
program development”, or “verification”. It concerns those aspects of programming that are
amenable to mathematical proof. A good theory helps us to write precise specifications, and to
design programs whose executions provably satisfy the specifications. We will be considering the
state of a computation, the time of a computation, the memory space required by a computation, and
the interactions with a computation. There are other important aspects of software design and
production that are not touched by this book: the management of people, the user interface,
documentation, and testing.
programming  learning  theory  computerscience 
august 2018 by cothrun
CS Unplugged
CS Unplugged is a collection of free teaching material that teaches Computer Science through engaging games and puzzles that use cards, string, crayons and lots of running around.
education  programming  computerscience 
july 2018 by cothrun
Ask HN: Fully online CS degrees? | Hacker News
Any recommendations for a worthwhile, fully online CS program?
computerscience  learning  degree  college  university 
december 2017 by cothrun
Closures - JavaScript | MDN
Closures are functions that refer to independent (free) variables. In other words, the function defined in the closure 'remembers' the environment in which it was created.
javascript  computer_science  computerscience  closure 
august 2015 by cothrun

Copy this bookmark: