COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 7 7 Hoare Logic (MOM) (a) Briefly explain the concepts: mechanised program verification and verification conditions (VCs).

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 7 9 Information Theory and Coding (JGD) (a) Consider an alphabet of 5 symbols whose probabilities are as follows: A

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 5 2 Computer Design (SWM) Consider the following code which takes an array d of n 32-bit integers and performs a bubble sort.

Source URL: www.cl.cam.ac.uk

Engineering Tripos Part IIA THIRD YEAR Module 3F6: Software Engineering and Design OBJECT ORIENTED SOFTWARE DESIGN

Source URL: mi.eng.cam.ac.uk

MATHEMATICAL TRIPOS Part IB A. J. Macfarlane ELECTROMAGNETISM

Source URL: www.damtp.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 2 Computer Design (SWM) (a) For RISC processors like ARM and MIPS, how is the work needed to undertake a subroutine call split between hardware and software?

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 6 3 Computation Theory (AMP) (a) Define what is a Turing machine and a Turing machine computation. [7 marks]

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part II – 2012 – Paper 7 4 Business Studies (JAL) (a) Distinguish between a profit and loss statement and cash flow statement. [5 marks]

Source URL: www.cl.cam.ac.uk

• Tax reform
• Value added tax

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 4 3 Computer Graphics and Image Processing (PR) (a) What are the main criteria to be considered in the design of a line drawing algorithm for a raster graphics display?

Source URL: www.cl.cam.ac.uk

Timetable for Bio Anth Part IIA lectures, Michaelmas Term 2014 – HSPS TRIPOS Monday Tuesday

Source URL: www.bioanth.cam.ac.uk