Assessment Name: BT0069

Assessment ID: 32994

Question ID: 536808

Question Label: Q11

Question Text:
Defne the following: fnite set, sub set, cardinality of set, union of set,
intersection of set.

Answer Text:
(2 marks each) 1. Finite set: If the nm!er "f e#ements in a set is finite$ then it is sai%
t" !e a finite set. 2. &! set: if e'er( e#ement "f a set ) is a#s" an e#ement "f a set B
then ) is sai% t" !e a s!set "f B. 3. *ar%ina#it( "f set: If ) is a finite set$ then the
car%ina#it( "f ) is the t"ta# nm!er "f e#ements that c"m+rise the set. 4. ,ni"n "f set:
The ni"n "f t-" sets ) an% B %en"te% !( ),B is the set "f e#ements -hich !e#"n.
t" ) "r B "r !"th. 5. Intersecti"n "f set: The intersecti"n "f t-" sets ) an% B %en"te%
!( )/B is the set "f e#ements -hich !e#"n. t" !"th ) an% B.

Score: 10.00
Assessment Name: BT0069

Assessment ID: 32994

Question ID: 536809

Question Label: Q12

Question Text:
Let (L, ) be a lattice. Then for a,b,c,d L ,
i. a b a c b c
ii. a b and c d a c b d
!int:
" #$
$ ""%
& $ #""%





Answer Text:
i. 0e kn"- that a 12 ! 1334 a ' ! 2 !. 5"-( a ' c) ' ( ! ' c) 2 (a ' c) ' ( c ' !) (!(
c"mmtati'e ) 2 a ' ( c ' c ) ' ! ( !( ass"ciati'e ) 2 a ' ( c ' !) 2 ( a ' ! ) ' c 2 ! ' c
Theref"re -e ha'e a ' c 12 ! ' c. (5 marks) ii. 0e kn"- that a 12 ! 1334 a ' ! 2 !
an% c 6 % 334 c ' % 2 %. 5"- (a ' c) ' ( ! ' % )2 a ' (c ' ! ) ' % (!( ass"ciati'e ) 2 a
' ( ! ' c ) ' % (c"mmtati'e ) 2 (a ' ! ) ' (c ' % ) (ass"ciati'e ) 2! ' % ( since a 12 !
an% c 12 %) Theref"re a ' c 12 ! ' % (5 marks)

Score: 10.00
Assessment Name: BT0069

Assessment ID: 32994

Question ID: 536811

Question Label: Q14

Question Text:
'u((ose there are ) boys and * girls. +n how ,any ways can they sit
a. in a row-
b. in a row if the boys and girls are each to sit together-
c. in a row if the girls are to sit together and the boys do not sit
together-
d. where no two girls are sitting together-

Answer Text:
&"#ti"n: a. There are 675 2 11 +ers"ns an% the( can sit in 8 (11$ 11) 2 119 -a(s. !.
The !"(s am"n. themse#'es can sit in 69 -a(s an% the .ir#s am"n. themse#'es can
sit in 59 -a(s. The( can !e c"nsi%ere% as 2:nits an% can !e +ermte% in 29 0a(s.
Ths the re;ire% seatin. arran.ements can !e in 29 69 59 0a(s. c. The !"(s can sit
in 69 0a(s an% .ir#s in 59 0a(s. &ince .ir#s ha'e t" sit t".ether the( are c"nsi%ere%
as "ne nit. )m"n. the 6 !"(s either 0 "r 1 "r 2 "r 3 "r 4 "r 5 "r 6 ha'e t" sit t" the
#eft "f the .ir#s nit. <f these se'en -a(s$ 0 an% 6 cases ha'e t" !e "mitte% as the
!"(s %" n"t sit t".ether. Ths the re;ire% nm!er "f arran.ements 2 5 = 69 = 59. %.
The !"(s can sit in 69 0a(s. There are se'en +#aces -here the .ir#s can !e +#ace%.
Ths t"ta# arran.ements are 8(>$ 5) = 69.

Score: 10.00
Assessment Name: BT0069

Assessment ID: 32994

Question ID: 536802

Question Label: Q5

Question Text:
.ind the solution of the recurrence relation
a. an $an/0 1 2an/2 with a3$2 4 a0$5
b. .ind the solution of the recurrence relation
an $ )an/0" 6an/2 with initial conditions a3$0 4 a0$)
(7ote: write r2 as r2, a0 as a0, a2 as a2, an as an, 2n as 2n, 8n as 8n, 90
as :0, 92 as :2, ; as therefore)





Answer Text:
a. The characteristics e;n "f the recrrence re#ati"n is r2:r:220 Its r""ts are r22 ? r2:
1 Theref"re the se;ence @anA is a s"#ti"n t" the recrrence if an% "n#( if an2
;12n7 ;2(:1)n f"r s"me c"nstants ;1 ? ;2. 5"- a0222;17;2$ a12>2;123 an% ;22:
1. (5 mark) !. The characteristics e;ati"n r2:6r7920 The "n#( r""t is r 23 Theref"re
the s"#ti"n t" the recrrence re#ati"n an2;13n7;2n3n$ f"r s"me c"nstants ;1 ? ;2.
sin. the initia# c"n%iti"n -e .et a0212;1$ a1262;1.37;2.3 &"#'in. these
sim#tane"s e;ati"ns -e .et ;121 an% ;22 1 Theref"re the s"#ti"n t" the
recrrence re#ati"n is an23n7n3n (5 marks)

Score: 10.00
Assessment Name: BT0069

Assessment ID: 32994

Question ID: 536803

Question Label: Q6

Question Text:
+n a fnite set ', show that there is always at least one ,a<i,al ele,ent
and one ,ini,al ele,ent.
(7ote: =rite <0 as <0, <2 as <2, <8 as <8, <i as <i, <i10 as <i10, as
belongs to)





Answer Text:
F"r ma=ima# e#ement$ s++"se & c"ntains n" ma=ima# e#ement$ Bet =1 !e#"n.s t" &.
&ince =1 is n"t ma=ima# there e=ists =2 !e#"n.s t" & sch that =24=1 (3 mark) &ince
=2 is n"t ma=ima#$ there e=ists =3 in & sch that =34=2 If -e c"ntine the +r"cess -e
.et an infinite se;ence "f %istinct e#ement =1$ =2$ =3CCC.sch that =i71 4 =i f"r
each i (4 mars) This is a c"ntra%icti"n t" the fact that & c"ntains "n#( a finite nm!er
"f e#ements.(&ince & is a finite 8"set). Dence -e c"nc#%e that & c"ntains a ma=ima#
set.(3 mars)

Score: 10.00
Assessment Name: BT0069

Assessment ID: 32994

Question ID: 536804

Question Label: Q>

Question Text:
a. >roe that the set 7, of natural nu,bers is a se,igrou(, under the
o(eration ?, =here <?y $ ,a<(<, y)
b. Test whether the set @(the set of integers) with binary o(eration ?
such that <?y$<y is a se,igrou(.
(7ote: write 2
2
as 2 to the (ower of 2)





Answer Text:
a. (<?y)?A $ ,a< B,a<(<, y) AC (0 ,arD)
$,a< B<,y,AC (0 ,arD)
$,a<B<, ,a< y,AC (0 ,arD)
$<?(y?A) (0 ,arD)
therefore ? is associatie .Thus (7, ?) is a se,igrou(. (0 ,arD)
b. Eonsider (212)?8$ 2 to the (ower of 2 ?8
$F?8 (0 ,arD)
$F to the (ower of 8 $)F (0 ,arD)
2?(2?8)$2?2 to the (ower 8 (0 ,arD)
$2?G
$2 to the (ower of G$ 2*) (0 ,arD)
therefore (@,?) is 7HT a se,igrou(. (0 ,arD)

Score: 10.00