Search

4 Oct 2000: 7# < , % A , ' ( % 0' 72# - = # ( % # < 6H , ' ( , = ( # < =$ $ , ' (# - ' ( / ' (# B = , ' ( 6H# - D / , 5 = / (, ' ( 6H % ( = ' (# B = %% ' ( / #. / B % , % ' (# , (- # / ' # - , $ G $ # - / , :B<- 0 442#. #. ... O # 049C2< , ' ( 1 # ) &. 33 498G44#.

8 Mar 2000: "#$%& (' ) ,-. /&. 02143517698:8:;=<?>A@B;:CED:FHG=1IGJ1LKM;ONP<I<QDRF7ST1VU&>AWX@YCZF2[M1]1_(8:8AabNbCcFdST1]e.1fgWhNZiR<jNcakCRFml&1MSonpNcaRqcCsr$t21u691wvx176zyOW|{}{h>qNcakC. CuL&ujd7?PRb?EjoPPuj&7PpAbbs:OPuBjok9JkuPPPL&ujoL¡ ... $'&(),-(/.)102

17 Nov 2000: a). (b). (d). (c). Additionalmembers. Figure 4.2: New concept. 27. (a) (b). ... Figure 4.3: Hexagonal tensegrity module; (a) three-dimensional view; (b) top view.

20 Jun 2000: iff power_set is now Pow_iff page 215, bottom of figure 17.10: DiffD2 is now "c : A - B == c : B" page 215, bottom: rules mem_anti_sym and ... B = A} empty_def should be {} == {x.False} page 248: Pow has the rules PowI A=B == A: Pow(B) PowD A: Pow(B) == A

10 Nov 2000: MODULE 3 - SHEET 1. public class Fibonacci { public static void main(String[] args) { int a=1, b=1, c=ab, sum=abc; while (c < 1000) { a = b; b = c; c = ab;

18 Jan 2000: B'_ccd = 24.52 - 2.5 log10(counts/s) = B - 0.129 B-V. ... where B'_ccd is the natural CCD filter system and B, B-V are on Landolt's 1992 system.

28 Jul 2000: x b |y ax a |x b |xu.y u. x a |y b. ... Γ x : chan T p : T B Γ, P procΓ xp.P proc Par.

6 Jun 2000: D+ ,# D , # D!$+ /00A2 C <! 8! )'-'! 1:A:@1:0+. $ 3+ /00B2 3 , ) -. B?@B>1+. $ CR+ /002 8! )' '! ' ... 78! &< ,- '! %AB@%A+. 7+ D+ DG+ /00?2 6! /:52 8&-N39+ #! B>@B>0+. 8+=G+ /002 $# #! , #! /". "! R C1 ND6&N8 7) C!

10 Nov 2000: out.println("jill = " jill); } } // This yields: // // jack = -589934592 // jill = 8000000000 public class StringIntro { public static void main(String[] args) { String a = new String("Jack"); String b = "Jill"; String c = a " and " ... void swap(int a,

28 Sep 2000: can be given semantics in terms of LTSs. 〈S,, i〉. where S is a set of states, SLS is a transition relation with labels L = {τ,a,a,b,b,. ... Notation:. • If f : AB and g : A′B′ are two functions we write f g for the obvious functionA ] A′B ]