Chương 1<br />
<br />
Giới thiệu tổng quan<br />
<br />
1.1 Khái niệm tính toán hình thức<br />
Trong toán học và khoa học máy tính, đại số máy<br />
tính (computer algebra), còn được gọi là tính toán<br />
hình thức (symbolic computation) hay tính toán đại<br />
số (algebraic computation) là một lĩnh vực khoa<br />
học đề cập đến việc nghiên cứu và phát triển của<br />
các thuật toán và phần mềm cho các thao tác các<br />
biểu thức toán học và các đối tượng toán học khác.<br />
15/04/2013<br />
<br />
Lập trình tính toán<br />
<br />
2<br />
<br />
1.1 Khái niệm tính toán hình thức (tt.)<br />
Đại số máy tính nhấn mạnh vào tính toán chính<br />
xác với các biểu thức chứa biến không được gán giá<br />
trị nhất định, do đó được gọi là tính toán hình thức.<br />
(Theo Wikipedia)<br />
<br />
15/04/2013<br />
<br />
Lập trình tính toán<br />
<br />
3<br />
<br />
1.1 Khái niệm tính toán hình thức (tt.)<br />
Các yêu cầu tính toán hình thức:<br />
– Tính toán số chính xác và gần đúng:<br />
Tính toán số học: N, Z, Q, R, C<br />
>>2*(3+1/3)/(5/3-4/5)<br />
A = (sqrt(2)^2+sqrt(3)^3)^2<br />
<br />
15/04/2013<br />
<br />
Lập trình tính toán<br />
<br />
4<br />
<br />
1.1 Khái niệm tính toán hình thức (tt.)<br />
Các yêu cầu tính toán hình thức (tt.):<br />
– Tính toán hình thức:<br />
>>A = (1+x)^2*(3-2*x)^2<br />
khaitrien=expand(A)<br />
thugon=factor(A)<br />
<br />
15/04/2013<br />
<br />
Lập trình tính toán<br />
<br />
5<br />
<br />