COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple,

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

• Mathematical logic
• Logic in computer science
• Substructural logic
• Hoare logic
• Logic
• Separation logic
• Hoare
• Correctness
• Predicate transformer semantics
• Program logic
• Theoretical computer science
• Mathematics

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 5 Compiler Construction (DJG) (a) Define the following forms of variable:

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

• Type theory
• Memory management
• Data types
• Procedural programming languages
• Variables
• Type system
• C
• Local variable
• Garbage collection
• Software engineering
• Computing
• Computer programming

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 8 Concurrent and Distributed Systems (RNW) (a) Monitors are a programming primitive linking data with two synchronization types: mutual exclusion and condition synchro

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

• Lock
• Mutual exclusion
• Parallel computing
• Computer monitor
• Electronics
• Concurrency control
• Monitor
• Computing

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 4 5 Databases (TGG) Suppose that an Entity-Relationship model has been constructed that contains two entities S(A, B) and T (C, Amount), where A, B, C and Amount are att

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

• Database management systems
• Data modeling
• Database theory
• Insert
• Database
• Online transaction processing
• Data management
• Data
• Information

Dynamics and Relativity Professor Gordon Ogilvie Mathematical Tripos, Part IA Lent Term 2015 Example Sheet 2

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

• Physical quantities
• Force
• Polar coordinate system
• Angular momentum
• Circular orbit
• Equations of motion
• Laplace–Runge–Lenz vector
• Orbit
• Angular velocity
• Physics
• Classical mechanics
• Rotation

COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 4 4 Computer Graphics and Image Processing (NAD) (a) Describe, in detail, an algorithm to perform error diffusion on a greyscale image. Your algorithm should take a grey

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

• Television technology
• Computing
• Digital photography
• Error diffusion
• Pixel
• Grayscale
• Display resolution
• Floyd–Steinberg dithering
• Channel
• Image processing
• Computer graphics
• Digital imaging

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 5 1 Computer Design (SWM) A novice SystemVerilog programmer has written the following decimal counter module which should zero the decimal_count on reset and then, when

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

• SystemVerilog
• Verilog
• Field-programmable gate array
• Electronic engineering
• Hardware description languages
• Hardware verification languages

COMPUTER SCIENCE TRIPOS Part II – 2014 – Paper 7 4 Business Studies (JAL) (a) List, with one sentence descriptions, five methods of valuing a company. [5 marks]

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

• Financial statements
• Generally Accepted Accounting Principles
• Financial economics
• Financial accounting
• Financial markets
• Asset
• Income statement
• Balance sheet
• Valuation
• Finance
• Accountancy
• Business

P2f/B24 Mathematical Tripos Part IB FLUID DYNAMICS (P2) N. G. Berloff

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

• Physics
• Viscosity
• Vortex
• Stokes boundary layer
• Fluid dynamics
• Dynamics
• Fluid mechanics

Foto: Havforskningsinstituttet, algelaboratoriet, Jan Henrik Simonsen. Plankton Overvåking av mikroalger langs norskekysten Mikroalgen Dinophysis tripos.

Source URL: www.imr.no