![OOOOOOOO
OOOOOOOO
OOOOOOOO
OOOOOOOO
OOOOOOOO
OOOOOOOO restart;
with(LibraryTools):
Save('giaohaiTH3',"D:/SKKN.lib");
?Save
with(RealDomain):
timTH:=proc(bt,th,x,m)
local u,i,v;
if th=R then
u:=solve({bt[]},x);
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p `,m,`là t p r ng `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
v:=[op(v),rhs(op([u][i]))];
end do;
print(` V y t p h p `,m={v[]});
end if;
end if;
if th=Z then
u:=solve({bt[]});
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p`,m,` là t p r ng `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
print(` Vì `*`in`(x,th),` nên t p h p`, m ,` là t p r ng`);
else
print(` Vì `*`in`(x,th),` nên t p h p `*m ={v[]});
end if;
end if;
end if;
if th=N then
u:=solve({bt[]});
print(u);
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p `,m,` là t p r ng `);
else
print(` Ta có `,{bt[]},`↔`,u);](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-1-320.jpg)
![OOOOOOOO
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>=0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
print(` Vì `*`in`(x,th),` nên t p h p `, m,` là t p r ng`);
else
print(` Vì `*`in`(x,th),` nên t p h p `*m ={v[]});
end if;
end if;
end if;
if th=N^` *` then
u:=solve({bt[]});
print(u);
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p `,m,` là t p r ng `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
print(` Vì `*`in`(x,th),` nên t p h p `,m,` là t p r ng `);
else
print(` Vì `*`in`(x,th),` nên t p h p `*m ={v[]});
end if;
end if;
end if;
end proc:
kqTH:=proc(bt,th,x)
local u,i,v,kq;
kq:={};
if th=R then
u:=solve({bt[]},x);
if nops([u])=0 then
kq:={};
else
v:=[];
for i from 1 to nops([u]) do
v:=[op(v),rhs(op([u][i]))];
end do;
kq:={v[]};
end if;
end if;](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-2-320.jpg)
![if th=Z then
u:=solve({bt[]});
if nops([u])=0 then
kq:={};
else
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
kq:={};
else
kq:={v[]};
end if;
end if;
end if;
if th=N then
u:=solve({bt[]});
if nops([u])=0 then
kq:={};
else
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>=0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
kq:={};
else
kq:={v[]};
end if;
end if;
end if;
if th=N^` *` then
u:=solve({bt[]});
if nops([u])=0 then
kq:={};
else
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
kq:={};
else
kq:={v[]};](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-3-320.jpg)
![OOOOOOOO
end if;
end if;
end if;
return kq;
end proc:
lietkeTH:=proc(bt,th,x,giai)
local u,i,v;
print(`--------------------- bài-----------------------`);
print(` Hãy li t kê các ph n t c a t p h p `);
print(A={`in`(x,th)*` |`*bt[]});
if giai=1 then
print(`---------------------Gi i-----------------------`);
if th=R then
u:=solve({bt[]},x);
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p A là t p r ng `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
v:=[op(v),rhs(op([u][i]))];
end do;
print(` V y t p h p A là `,A={v[]});
end if;
end if;
if th=Z then
u:=solve({bt[]});
print(u);
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p A=∅∅∅∅ `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
print(` Vì `*`in`(x,th),` nên t p h p A =∅∅∅∅ `);
else
print(` Vì `*`in`(x,th),` nên t p h p `*A ={v[]});
end if;
end if;
end if;
if th=N then
u:=solve({bt[]});
print(u);](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-4-320.jpg)
![OOOOOOOO
(1)(1)
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p A=∅∅∅∅ `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>=0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
print(` Vì `*`in`(x,th),` nên t p h p A =∅∅∅∅ `);
else
print(` Vì `*`in`(x,th),` nên t p h p `*A ={v[]});
end if;
end if;
end if;
if th=N^` *` then
u:=solve({bt[]});
print(u);
if nops([u])=0 then
print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn
`);
print(` Do ó, t p h p A=∅∅∅∅ `);
else
print(` Ta có `,{bt[]},`↔`,u);
v:=[];
for i from 1 to nops([u]) do
if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
if nops(v)=0 then
print(` Vì `*`in`(x,th),` nên t p h p A =∅∅∅∅ `);
else
print(` Vì `*`in`(x,th),` nên t p h p `*A ={v[]});
end if;
end if;
end if;
end if;
end proc:
lietkeTH([x*(x+2)*(x+3)*(3*x-10)=0,-4<x,x<70],N^` *`,x,1);
---------------------Đề bài-----------------------
Hãy liệt kê các phần tử của tập hợp
A = x 2 N *
| x xC2 xC3 3 xK10 = 0, K4 ! x, x ! 70
---------------------Giải-----------------------
x = 0 , x = K2 , x = K3 , x =
10
3
Ta có , x xC2 xC3 3 xK10 = 0, K4 ! x, x ! 70 , 4, x = 0 , x = K2 , x = K3 , x =
10
3
Vì x 2 N *
, nên tập hợp A =:](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-5-320.jpg)
![OOOOOOOO timTHz:=proc(bt1,bt2,th,x,n,m)
local u,i,v,bt,bt3;
bt:=subs(x=bt1,bt2);
print(` Do `*x=bt1,` nên thay vào `*bt2,` ta c `);
print(bt);
if th=Z then
u:=isolve(bt);
v:=[];
if nops([u])>0 then
for i from 1 to nops([u]) do
v:=[op(v),rhs(op([u][i]))];
end do;
end if;
if nops(v)=0 then
print(` Vì `*`in`(n,th) ,` nên suy ra t p h p `, m,` là t p r ng`);
else
print(` Vì `*`in`(n,th) ,` nên suy ra `);
print(u[]);
print(` V y t p h p `*m={v[]});
end if;
end if;
if th=N then
bt3:=[];
for i from 1 to nops([bt]) do
bt3:=[op(bt3),op([bt][i])];
end do;
u:=isolve({bt3[],n>=0});
v:=[];
if nops([u])>0 then
for i from 1 to nops([u]) do
if rhs(op([u][i]))>=0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
end if;
if nops(v)=0 then
print(` Vì `*`in`(n,th) ,` nên suy ra `, m,` là t p r ng`);
else
print(` Vì `*`in`(n,th) ,` nên suy ra `);
print(u[]);
print(` V y t p h p `*m={v[]});
end if;
end if;
if th=N^` *` then
bt3:=[];
for i from 1 to nops([bt]) do
bt3:=[op(bt3),op([bt][i])];
end do;
u:=isolve({bt3[],n>0});
v:=[];
if nops([u])>0 then](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-6-320.jpg)
![OOOOOOOO
OOOOOOOO
for i from 1 to nops([u]) do
if rhs(op([u][i]))>0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
end if;
if nops(v)=0 then
print(` Vì `*`in`(n,th) ,` nên suy ra `, m,` là t p r ng`);
else
print(` Vì `*`in`(n,th) ,` nên suy ra `);
print(u[]);
print(` V y t p h p `*m={v[]});
end if;
end if;
end proc:
lietkeTHz:=proc(bt1,bt2,th,x,n,giai)
local u,i,v,bt,bt3;
print(`--------------------- bài-----------------------`);
print(` Hãy li t kê các ph n t c a t p h p `);
print(A={x*` |`,x=bt1* `in`(n,th),bt2});
if giai=1 then
print(`---------------------Gi i-----------------------`);
timTHz(bt1,bt2,th,x,n,B);
end if;
end proc:
kqTHz:=proc(bt1,bt2,th,x,n)
local u,i,v,bt,bt3,kq;;
bt:=subs(x=bt1,bt2);
kq:={};
if th=Z then
u:=isolve(bt);
v:=[];
if nops([u])>0 then
for i from 1 to nops([u]) do
v:=[op(v),rhs(op([u][i]))];
end do;
end if;
if nops(v)=0 then
kq:={};
else
kq:={v[]};
end if;
end if;
if th=N then
bt3:=[];
for i from 1 to nops([bt]) do
bt3:=[op(bt3),op([bt][i])];
end do;
u:=isolve({bt3[],n>=0});
v:=[];
if nops([u])>0 then](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-7-320.jpg)
![(2)(2)
OOOOOOOO
OOOOOOOO
for i from 1 to nops([u]) do
if rhs(op([u][i]))>=0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
end if;
if nops(v)=0 then
kq:={};
else
kq:={v[]};
end if;
end if;
if th=N^` *` then
bt3:=[];
for i from 1 to nops([bt]) do
bt3:=[op(bt3),op([bt][i])];
end do;
u:=isolve({bt3[],n>0});
v:=[];
if nops([u])>0 then
for i from 1 to nops([u]) do
if rhs(op([u][i]))>0 then
v:=[op(v),rhs(op([u][i]))];
end if;
end do;
end if;
if nops(v)=0 then
kq:={};
else
kq:={v[]};
end if;
end if;
return kq;
end proc:
lietkeTHz(3*n,{x^2-4*x-5<0},Z,x,n,1);
---------------------Đề bài-----------------------
Hãy liệt kê các phần tử của tập hợp
A = x |, x = 3 n n 2 Z , x
2
K4 x ! 5
---------------------Giải-----------------------
Do x = 3 n, nên thay vào x
2
K4 x ! 5 , ta được
9 n
2
K12 n ! 5
Vì n 2 Z , nên suy ra
n = 0 , n = 1
Vậy tập hợp B = 0, 1
giaohaiTH1:=proc(bt,th,bt2,th2,x,giai)
local u,i,v;
print(`--------------------- bài-----------------------`);
print(` Hãy tìm giao c a hai t p h p `);
print(A={`in`(x,th)*` |`*bt[]});
print(B={`in`(x,th2)*` |`*bt2[]});
if giai=1 then](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-8-320.jpg)
![OOOOOOOO
(4)(4)
OOOOOOOO
OOOOOOOO
OOOOOOOO
(3)(3)
print(`---------------------Gi i-----------------------`);
timTH(bt,th,x,A);
timTH(bt2,th2,x,B);
print(` Giao c a hai t p h p A và B là `);
print(`intersect`(A,B)=`intersect`(kqTH(bt,th,x),kqTH(bt2,th2,x)));
end if;
end proc:
giaohaiTH1([(x-2)*(x-3)=0],R,[(x-3)*(3*x-5)=0],Z,x,1);
---------------------Đề bài-----------------------
Hãy tìm giao của hai tập hợp
A = x 2 R | xK2 xK3 = 0
B = x 2 Z | xK3 3 xK5 = 0
---------------------Giải-----------------------
Ta có , xK2 xK3 = 0 , 4, x = 2 , x = 3
Vậy tập hợp , A = 2, 3
Ta có , xK3 3 xK5 = 0 , 4, x = 3 , x =
5
3
Vì x 2 Z , nên tập hợp B = 3
Giao của hai tập hợp A và B là
A h B = 3
giaohaiTH2:=proc(bt,th,bt1,bt2,th2,x,n,giai)
local u,i,v;
print(`--------------------- bài-----------------------`);
print(` Hãy tìm giao c a hai t p h p `);
print(A={`in`(x,th)*` |`*bt[]});
print(B={x*` |`,x=bt1* `in`(n,th),bt2});
if giai=1 then
print(`---------------------Gi i-----------------------`);
timTH(bt,th,x,A);
timTHz(bt1,bt2,th2,x,n,B);
print(` Giao c a hai t p h p A và B là `);
print(`intersect`(A,B)=`intersect`(kqTH(bt,th,x),kqTHz(bt1,bt2,th2,x,n)));
end if;
end proc:
giaohaiTH2([x*(x-3)*(x-4)=0],R,3*n,{-1<x,x<3},Z,x,n,1);
---------------------Đề bài-----------------------
Hãy tìm giao của hai tập hợp
A = x 2 R | x xK3 xK4 = 0
B = x |, x = 3 n n 2 R , K1 ! x, x ! 3
---------------------Giải-----------------------
Ta có , x xK3 xK4 = 0 , 4, x = 0 , x = 3 , x = 4
Vậy tập hợp , A = 0, 3, 4
Do x = 3 n, nên thay vào K1 ! x, x ! 3 , ta được
K1 ! 3 n, 3 n ! 3
Vì n 2 Z , nên suy ra
n = 0
Vậy tập hợp B = 0
Giao của hai tập hợp A và B là
A h B = 0
giaohaiTH3:=proc(bt1,bt2,th1,bt3,bt4,th2,x,n,giai)
local u,i,v;](https://image.slidesharecdn.com/javaprinting-130829221428-phpapp02/85/Java-printing-9-320.jpg)
Java printing
- 1. OOOOOOOO OOOOOOOO OOOOOOOO OOOOOOOO OOOOOOOO OOOOOOOO restart; with(LibraryTools): Save('giaohaiTH3',"D:/SKKN.lib"); ?Save with(RealDomain): timTH:=proc(bt,th,x,m) local u,i,v; if th=R then u:=solve({bt[]},x); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p `,m,`là t p r ng `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do v:=[op(v),rhs(op([u][i]))]; end do; print(` V y t p h p `,m={v[]}); end if; end if; if th=Z then u:=solve({bt[]}); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p`,m,` là t p r ng `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then print(` Vì `*`in`(x,th),` nên t p h p`, m ,` là t p r ng`); else print(` Vì `*`in`(x,th),` nên t p h p `*m ={v[]}); end if; end if; end if; if th=N then u:=solve({bt[]}); print(u); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p `,m,` là t p r ng `); else print(` Ta có `,{bt[]},`↔`,u);
- 2. OOOOOOOO v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>=0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then print(` Vì `*`in`(x,th),` nên t p h p `, m,` là t p r ng`); else print(` Vì `*`in`(x,th),` nên t p h p `*m ={v[]}); end if; end if; end if; if th=N^` *` then u:=solve({bt[]}); print(u); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p `,m,` là t p r ng `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then print(` Vì `*`in`(x,th),` nên t p h p `,m,` là t p r ng `); else print(` Vì `*`in`(x,th),` nên t p h p `*m ={v[]}); end if; end if; end if; end proc: kqTH:=proc(bt,th,x) local u,i,v,kq; kq:={}; if th=R then u:=solve({bt[]},x); if nops([u])=0 then kq:={}; else v:=[]; for i from 1 to nops([u]) do v:=[op(v),rhs(op([u][i]))]; end do; kq:={v[]}; end if; end if;
- 3. if th=Z then u:=solve({bt[]}); if nops([u])=0 then kq:={}; else v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then kq:={}; else kq:={v[]}; end if; end if; end if; if th=N then u:=solve({bt[]}); if nops([u])=0 then kq:={}; else v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>=0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then kq:={}; else kq:={v[]}; end if; end if; end if; if th=N^` *` then u:=solve({bt[]}); if nops([u])=0 then kq:={}; else v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then kq:={}; else kq:={v[]};
- 4. OOOOOOOO end if; end if; end if; return kq; end proc: lietkeTH:=proc(bt,th,x,giai) local u,i,v; print(`--------------------- bài-----------------------`); print(` Hãy li t kê các ph n t c a t p h p `); print(A={`in`(x,th)*` |`*bt[]}); if giai=1 then print(`---------------------Gi i-----------------------`); if th=R then u:=solve({bt[]},x); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p A là t p r ng `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do v:=[op(v),rhs(op([u][i]))]; end do; print(` V y t p h p A là `,A={v[]}); end if; end if; if th=Z then u:=solve({bt[]}); print(u); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p A=∅∅∅∅ `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then print(` Vì `*`in`(x,th),` nên t p h p A =∅∅∅∅ `); else print(` Vì `*`in`(x,th),` nên t p h p `*A ={v[]}); end if; end if; end if; if th=N then u:=solve({bt[]}); print(u);
- 5. OOOOOOOO (1)(1) if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p A=∅∅∅∅ `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>=0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then print(` Vì `*`in`(x,th),` nên t p h p A =∅∅∅∅ `); else print(` Vì `*`in`(x,th),` nên t p h p `*A ={v[]}); end if; end if; end if; if th=N^` *` then u:=solve({bt[]}); print(u); if nops([u])=0 then print(` Gi i i u ki n `,{bt[]}, ` ta th y không có giá tr `*x* ` th a mãn `); print(` Do ó, t p h p A=∅∅∅∅ `); else print(` Ta có `,{bt[]},`↔`,u); v:=[]; for i from 1 to nops([u]) do if type(rhs(op([u][i])),`integer`) and rhs(op([u][i]))>0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; if nops(v)=0 then print(` Vì `*`in`(x,th),` nên t p h p A =∅∅∅∅ `); else print(` Vì `*`in`(x,th),` nên t p h p `*A ={v[]}); end if; end if; end if; end if; end proc: lietkeTH([x*(x+2)*(x+3)*(3*x-10)=0,-4<x,x<70],N^` *`,x,1); ---------------------Đề bài----------------------- Hãy liệt kê các phần tử của tập hợp A = x 2 N * | x xC2 xC3 3 xK10 = 0, K4 ! x, x ! 70 ---------------------Giải----------------------- x = 0 , x = K2 , x = K3 , x = 10 3 Ta có , x xC2 xC3 3 xK10 = 0, K4 ! x, x ! 70 , 4, x = 0 , x = K2 , x = K3 , x = 10 3 Vì x 2 N * , nên tập hợp A =:
- 6. OOOOOOOO timTHz:=proc(bt1,bt2,th,x,n,m) local u,i,v,bt,bt3; bt:=subs(x=bt1,bt2); print(` Do `*x=bt1,` nên thay vào `*bt2,` ta c `); print(bt); if th=Z then u:=isolve(bt); v:=[]; if nops([u])>0 then for i from 1 to nops([u]) do v:=[op(v),rhs(op([u][i]))]; end do; end if; if nops(v)=0 then print(` Vì `*`in`(n,th) ,` nên suy ra t p h p `, m,` là t p r ng`); else print(` Vì `*`in`(n,th) ,` nên suy ra `); print(u[]); print(` V y t p h p `*m={v[]}); end if; end if; if th=N then bt3:=[]; for i from 1 to nops([bt]) do bt3:=[op(bt3),op([bt][i])]; end do; u:=isolve({bt3[],n>=0}); v:=[]; if nops([u])>0 then for i from 1 to nops([u]) do if rhs(op([u][i]))>=0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; end if; if nops(v)=0 then print(` Vì `*`in`(n,th) ,` nên suy ra `, m,` là t p r ng`); else print(` Vì `*`in`(n,th) ,` nên suy ra `); print(u[]); print(` V y t p h p `*m={v[]}); end if; end if; if th=N^` *` then bt3:=[]; for i from 1 to nops([bt]) do bt3:=[op(bt3),op([bt][i])]; end do; u:=isolve({bt3[],n>0}); v:=[]; if nops([u])>0 then
- 7. OOOOOOOO OOOOOOOO for i from 1 to nops([u]) do if rhs(op([u][i]))>0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; end if; if nops(v)=0 then print(` Vì `*`in`(n,th) ,` nên suy ra `, m,` là t p r ng`); else print(` Vì `*`in`(n,th) ,` nên suy ra `); print(u[]); print(` V y t p h p `*m={v[]}); end if; end if; end proc: lietkeTHz:=proc(bt1,bt2,th,x,n,giai) local u,i,v,bt,bt3; print(`--------------------- bài-----------------------`); print(` Hãy li t kê các ph n t c a t p h p `); print(A={x*` |`,x=bt1* `in`(n,th),bt2}); if giai=1 then print(`---------------------Gi i-----------------------`); timTHz(bt1,bt2,th,x,n,B); end if; end proc: kqTHz:=proc(bt1,bt2,th,x,n) local u,i,v,bt,bt3,kq;; bt:=subs(x=bt1,bt2); kq:={}; if th=Z then u:=isolve(bt); v:=[]; if nops([u])>0 then for i from 1 to nops([u]) do v:=[op(v),rhs(op([u][i]))]; end do; end if; if nops(v)=0 then kq:={}; else kq:={v[]}; end if; end if; if th=N then bt3:=[]; for i from 1 to nops([bt]) do bt3:=[op(bt3),op([bt][i])]; end do; u:=isolve({bt3[],n>=0}); v:=[]; if nops([u])>0 then
- 8. (2)(2) OOOOOOOO OOOOOOOO for i from 1 to nops([u]) do if rhs(op([u][i]))>=0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; end if; if nops(v)=0 then kq:={}; else kq:={v[]}; end if; end if; if th=N^` *` then bt3:=[]; for i from 1 to nops([bt]) do bt3:=[op(bt3),op([bt][i])]; end do; u:=isolve({bt3[],n>0}); v:=[]; if nops([u])>0 then for i from 1 to nops([u]) do if rhs(op([u][i]))>0 then v:=[op(v),rhs(op([u][i]))]; end if; end do; end if; if nops(v)=0 then kq:={}; else kq:={v[]}; end if; end if; return kq; end proc: lietkeTHz(3*n,{x^2-4*x-5<0},Z,x,n,1); ---------------------Đề bài----------------------- Hãy liệt kê các phần tử của tập hợp A = x |, x = 3 n n 2 Z , x 2 K4 x ! 5 ---------------------Giải----------------------- Do x = 3 n, nên thay vào x 2 K4 x ! 5 , ta được 9 n 2 K12 n ! 5 Vì n 2 Z , nên suy ra n = 0 , n = 1 Vậy tập hợp B = 0, 1 giaohaiTH1:=proc(bt,th,bt2,th2,x,giai) local u,i,v; print(`--------------------- bài-----------------------`); print(` Hãy tìm giao c a hai t p h p `); print(A={`in`(x,th)*` |`*bt[]}); print(B={`in`(x,th2)*` |`*bt2[]}); if giai=1 then
- 9. OOOOOOOO (4)(4) OOOOOOOO OOOOOOOO OOOOOOOO (3)(3) print(`---------------------Gi i-----------------------`); timTH(bt,th,x,A); timTH(bt2,th2,x,B); print(` Giao c a hai t p h p A và B là `); print(`intersect`(A,B)=`intersect`(kqTH(bt,th,x),kqTH(bt2,th2,x))); end if; end proc: giaohaiTH1([(x-2)*(x-3)=0],R,[(x-3)*(3*x-5)=0],Z,x,1); ---------------------Đề bài----------------------- Hãy tìm giao của hai tập hợp A = x 2 R | xK2 xK3 = 0 B = x 2 Z | xK3 3 xK5 = 0 ---------------------Giải----------------------- Ta có , xK2 xK3 = 0 , 4, x = 2 , x = 3 Vậy tập hợp , A = 2, 3 Ta có , xK3 3 xK5 = 0 , 4, x = 3 , x = 5 3 Vì x 2 Z , nên tập hợp B = 3 Giao của hai tập hợp A và B là A h B = 3 giaohaiTH2:=proc(bt,th,bt1,bt2,th2,x,n,giai) local u,i,v; print(`--------------------- bài-----------------------`); print(` Hãy tìm giao c a hai t p h p `); print(A={`in`(x,th)*` |`*bt[]}); print(B={x*` |`,x=bt1* `in`(n,th),bt2}); if giai=1 then print(`---------------------Gi i-----------------------`); timTH(bt,th,x,A); timTHz(bt1,bt2,th2,x,n,B); print(` Giao c a hai t p h p A và B là `); print(`intersect`(A,B)=`intersect`(kqTH(bt,th,x),kqTHz(bt1,bt2,th2,x,n))); end if; end proc: giaohaiTH2([x*(x-3)*(x-4)=0],R,3*n,{-1<x,x<3},Z,x,n,1); ---------------------Đề bài----------------------- Hãy tìm giao của hai tập hợp A = x 2 R | x xK3 xK4 = 0 B = x |, x = 3 n n 2 R , K1 ! x, x ! 3 ---------------------Giải----------------------- Ta có , x xK3 xK4 = 0 , 4, x = 0 , x = 3 , x = 4 Vậy tập hợp , A = 0, 3, 4 Do x = 3 n, nên thay vào K1 ! x, x ! 3 , ta được K1 ! 3 n, 3 n ! 3 Vì n 2 Z , nên suy ra n = 0 Vậy tập hợp B = 0 Giao của hai tập hợp A và B là A h B = 0 giaohaiTH3:=proc(bt1,bt2,th1,bt3,bt4,th2,x,n,giai) local u,i,v;
- 10. (5)(5) OOOOOOOO OOOOOOOO print(`--------------------- bài-----------------------`); print(` Hãy tìm giao c a hai t p h p `); print(A={x*` |`,x=bt1* `in`(n,th1),bt2}); print(B={x*` |`,x=bt3* `in`(n,th2),bt4}); if giai=1 then print(`---------------------Gi i-----------------------`); print(` Xét t p h p A`); timTHz(bt1,bt2,th1,x,n,A); print(` Xét t p h p B`); timTHz(bt3,bt4,th2,x,n,B); print(` Giao c a hai t p h p A và B là `); print(`intersect`(A,B)=`intersect`(kqTHz(bt1,bt2,th1,x,n),kqTHz(bt3,bt4,th2, x,n))); end if; end proc: giaohaiTH3(3*n,{-1<x,x<10},N,2*n,{x^2-4*x+3<=0},N^` *`,x,n,1); ---------------------Đề bài----------------------- Hãy tìm giao của hai tập hợp A = x |, x = 3 n n 2 N , K1 ! x, x ! 10 B = x |, x = 2 n n 2 N * , x 2 K4 x % K3 ---------------------Giải----------------------- Xét tập hợp A Do x = 3 n, nên thay vào K1 ! x, x ! 10 , ta được K1 ! 3 n, 3 n ! 10 Vì n 2 N , nên suy ra n = 0 , n = 1 , n = 2 , n = 3 Vậy tập hợp A = 0, 1, 2, 3 Xét tập hợp B Do x = 2 n, nên thay vào x 2 K4 x % K3 , ta được 4 n 2 K8 n % K3 Vì n 2 N * , nên suy ra n = 1 Vậy tập hợp B = 1 Giao của hai tập hợp A và B là A h B = 1