Archive for May, 2004

Methods for visualising fluid flow

Saturday, May 15th, 2004

View as: view on E2  view as PDF

Techniques for visualising a 4-dimensional spacetime curve: streamlines, particle paths and streaklines. Example calculations for each, and an explanation of what each method demonstrates.

Posted in Analysis, MA20013, Physics | No Comments »

Register Machine

Thursday, May 6th, 2004

View as: view on E2  view as PDF

From Turing machines to Register machines- overview, instruction set and simple examples. Simulation of recursive functions by Register machines (with proofs in macro form).

Posted in CM10020, Logic | No Comments »