ĐẠI HỌC QUỐC GIA TP.HỒ CHÍ MINH
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN

TIỂU LUẬN
LẬP TRÌNH SYMBOLIC VÀ ỨNG DỤNG

Đề tài: GIẢI BÀI TOÁN TAM GIÁC ỨNG
DỤNG MAPLE GVHD: PGS.TS. Đỗ Văn Nhơn
Học viên thực hiện:
Phan Đình Duy CH1101060
Lớp: CH CNTT K6
Khóa: 2011 TP.Hồ Chí Minh, tháng 02 năm 2013
LỜI CẢM ƠN

Em xin gửi lời cảm ơn chân thành đến thầy PGS.TS Đỗ Văn Nhơn, người đã
dành nhiều thời gian quý báu của mình để truyền đạt cho lớp CH CNTT K6 những
kiến thức bổ ích, lý thú về biểu diễn tri thức và ứng dụng. Đây là những kiến thức
hết sức cần thiết cho hành trang của chúng em trong công việc nghiên cứu về lĩnh
vực tin học. Đặt biệt thầy đã truyền đạt các kiến thức và ví dụ minh họa rất bổ ích

2.4  14 LP TRÌNH SYMBOLIC & NG DNG 2



Hình 1- 4
Hình 1- 5
Hình 1- 5
Hình 1- 6

LP TRÌNH SYMBOLIC & NG DNG 3


Chương 1. MẠNG TÍNH TOÁN
1.1 Giới thiệu về mạng tính toán

này.




 


-



này 
.



Hình 1-1 quan hệ đối xứng có hạng k
LP TRÌNH SYMBOLIC & NG DNG 5
 Hình 1-2 quan hệ không đối xứng có hạng k
Nhận xét:
 

 



Ví dụ 1: 


Hình 1-3 Quan hệ các góc trong tam giác

Ví dụ 4:
 A,B,C.
 a,b,c,p.
LP TRÌNH SYMBOLIC & NG DNG 7


 x
1
, x
2
, , xn.
Ví dụ 5: 


b
1
, b
2



 


f
1:
s = b

, f
2
, f
3


LP TRÌNH SYMBOLIC & NG DNG 8


1.4 Vấn đề trên mạng tính toán
 
 

Các vấn đề đặt ra là:
 


 

 

 


bài toán trên là A  b.
Định nghĩa 2.1:
Bài toán A    

, f
2
, , fk  F),
 

1
, f
2


Nhận xét : 
0
= A, A
1
= A
0
 M(f
1
), . .
. , Ak = Ak
-1
 D(A), 
bài toán A  

i

Thuật toán tính D(A) :
 
LP TRÌNH SYMBOLIC & NG DNG






Ví dụ 1:
, góc 

Input : a, , 
Output : b, c, p
Ví dụ 2:


Input : b, c, 
Output : a
2.2 Cấu trúc dữ liệu



        

 

 

   

- 
- , , : 
- h
a

2
= b
2
+ c
2
- 2.b.c.cos
f
3
: b
2
= a
2
+ c
2
- 2.a.c.cos
f
4
c
2
= a
2
+ b
2
- 2.a.b.cos
- 
f
5
:
a
sin

2R



f
9
:
b
sin
2R



f
10
:
c
sin
2R



- 
f
11
: 2.p = a + b + c
- 
f
12
: S = a.h

: h
b
= c.sin
LP TRÌNH SYMBOLIC & NG DNG 13


f
19
: h
c
= a.sin
f
20
: h
c
= b.sin
2.3 Thuật giải
Input: 
 M,
 M
Output Goals
:
B1:Solutions  empty; // Solutions là dãy các quan hệ sẽ áp dụng
_Hypos  Hypos;
B2: if Goals  Hypos then
begin
solutionFound  true; // biến solutionFound= true khi bài toán là


2.4 Ví dụ
Ví dụ 1:
, góc 


Input : a, , 
Output : b, c, p



Tính:  
1
)
Tính: b 
5
)
Tính: c 
6
)
Tính: R 
8
)
Tính: p 
11
) 


 












    






 


 




















      

Ví dụ 2:

tam giác.

Input : b, c, 
Output : a
LP TRÌNH SYMBOLIC & NG DNG 15
 













   





 











    









     

 




















[3] Nhon Do Van, Tam Pham Huu, The Extensive C-Objects Network And Applying
in an Educational Software. Wuhan, P. R. China, August. 22-23, 2009.
[4]     n            
t  -
[5] 
.