Links tagged “computer-science”

htdp.org

Full text of the HtDP textbook, which teaches systematic program design through a step-by-step design recipe, using Racket.

rob-bell.net

Plain-language introduction to Big O notation, walking through O(1), O(N), O(N²), O(2^N) and O(log N) with a short code example for each.

interviewcake.com

An explanation of big O notation — dropping constants and lower-order terms, worst-case analysis, and space complexity — illustrated with Python.

catonmat.net

First instalment of a hundred-book list, reviewing five favourite programming, computer science and mathematics titles.

siek.blogspot.co.uk

A primer on the notation of programming language theory — inductive definitions, grammars, operational semantics and typing rules — worked through the simply-typed lambda calculus.

fr.wikipedia.org

Wikipedia article on the 21 combinatorics and graph-theory problems Richard Karp showed in 1972 to be NP-complete by reduction to one another.