Giáo trình Tin học Tính toán - Chương 3: Biến đổi biểu thức - Huỳnh Văn Kha

Nội dung text: Giáo trình Tin học Tính toán - Chương 3: Biến đổi biểu thức - Huỳnh Văn Kha

1. Chương 3: BIẾN ĐỔI BIỂU THỨC Hàm số và một số tính toán trong giải tích, đại số. (1)
2. Nội dung chương 3 1. Đa thức. 2. Hàm toán học. 3. Đạo hàm. 4. Tích phân 5. Tính tổng, tích. 6. Chuỗi 7. Giới hạn. 8. Giải phương trình, bpt, hpt, ptvp. 9. Đơn giản biểu thức Huỳnh Văn Kha - C01029 – Ch ươ ng 3 2 1/1/2013
3. 1. Đa thức • Đa thức là kiểu dữ liệu “ưa thích” của Maple. Các tính toán trên đa thức luôn được thực hiện một cách tổng quát nhất với tốc độ cao. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 3 1/1/2013
4. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 4 1/1/2013
5. • Maple không nhân 2 đa thức 1 cách tự động
   dùng expand. • Dùng sort để sắp xếp đa thức giảm dần theo số mũ. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 5 1/1/2013
6. • Maple chỉ lưu trữ một bản sao cho mỗi biểu thức trong bộ nhớ. • Khi một biểu thức mới được nhập vào, Maple kiểm tra (bằng các toán tử cơ bản) xem biểu thức đó có trùng với biểu thức đã có hay không. • Nếu có Maple sẽ không tạo ra biểu thức mới nữa. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 6 1/1/2013
7. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 7 1/1/2013
8. • degree: lấy bậc của đa thức. • coeff (coefficient): lấy hệ số của số hạng cho trước. • lcoeff (leading coefficient): lấy hệ số của số mũ lớn nhất. • tcoeff (trailing coefficient): hệ số của số mũ nhỏ nhất. • coeffs: lấy tất cả hệ số của đa thức. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 8 1/1/2013
9. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 9 1/1/2013
10. • quo (quotient): thương 2 đa thức. • rem (remainder): phần dư. • gcd (greatest comon divisors): ƯCLN. • factor: phân tích thành các đa thức bất khả quy (irreducible) trên Q. • Factor(poly) mod p: phân tích trên Zp (với p nguyên tố). • Tương tự cho Gcd, Quo, Expand, Huỳnh Văn Kha - C01029 – Ch ươ ng 3 10 1/1/2013
11. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 11 1/1/2013
12. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 12 1/1/2013
13. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 13 1/1/2013
14. 1. Đa thức – nhiều biến pure lex icographic ordering Huỳnh Văn Kha - C01029 – Ch ươ ng 3 14 1/1/2013
15. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 15 1/1/2013
16. 1. Đa thức – hữu tỉ • Có dạng f/g với f, g là các đa thức. • Dùng numer (numerator), denom (denominator) để lấy tử, mẫu thức. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 16 1/1/2013
17. • Maple không tự rút gọn phân thức
    dùng normal. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 17 1/1/2013
18. 1. Đa thức - convert • Có thể chuyển đa thức, phân thức về dạng: horner, confrac, parfrac (partial fraction) bằng convert. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 18 1/1/2013
19. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 19 1/1/2013
20. 1. Đa thức – các lưu ý • expand chỉ nhân phân phối và khai triển lũy thừa với số mũ tự nhiên. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 20 1/1/2013
21. • factor chỉ phân tích đa thức trên Q, muốn phân tích trên C, dùng Split. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 21 1/1/2013
22. • normal đưa hàm hữu tỉ về dạng: • Tử thức và mẫu thức là những đa thức nguyên tố cùng nhau với hệ số nguyên. • Tử thức và mẫu thức là tích của những đa thức được khai triển sao cho những thừa số được giữ nguyên vẹn nhất có thể. • Muốn cả tử thức và mẫu thức đều được khai triển, ta thêm tham số ‘ expanded’ vào cuối. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 22 1/1/2013
23. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 23 1/1/2013
24. 1. Đa thức – các ví dụ Huỳnh Văn Kha - C01029 – Ch ươ ng 3 24 1/1/2013
25. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 25 1/1/2013
26. 1. Đa thức - collect Huỳnh Văn Kha - C01029 – Ch ươ ng 3 26 1/1/2013
27. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 27 1/1/2013
28. Chú ý: normal ,collect, expand, có thể được áp dụng cho biểu thức tổng quát. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 28 1/1/2013
29. 2. Hàm toán học • Định nghĩa bằng toán tử
    vars
    result Huỳnh Văn Kha - C01029 – Ch ươ ng 3 29 1/1/2013
30. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 30 1/1/2013
31. 2. Hàm – proc • Hàm phức tạp dùng proc theo cấu trúc: proc (parameterSequence) :: [returnType;] [local localSequence;] [global globalSequence;] [option optionSequence;] [description descriptionSequence;] [uses usesSequence;] statementSequence end proc; Huỳnh Văn Kha - C01029 – Ch ươ ng 3 31 1/1/2013
32. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 32 1/1/2013
33. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 33 1/1/2013
34. x ()()=p−1 − q−1 Bpqx ,∫ t 1 t dt 0 V B1(p,q) được gọi là hàm beta chính quy. V Maple định nghĩa hàm này là Beta(p,q). V Hàm BETA sau sẽ tính giá trị của Bx(p,q). V Khi được gọi, nó kiểm tra xem tên hàm có được đánh số dạng BETA[x] hay không. V Nếu không nó gọi hàm Beta(p,q) của Maple. V Nếu có giá trị của chỉ số được gán cho x, và giá trị trả về theo đúng công thức nêu trên. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 34 1/1/2013
35. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 35 1/1/2013
36. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 36 1/1/2013
37. 2. Hàm - piecewise piecewise(cond_1,f_1,cond_2,f_2, , cond_n,f_n,f_otherwise) Huỳnh Văn Kha - C01029 – Ch ươ ng 3 37 1/1/2013
38. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 38 1/1/2013
39. 2. Hàm – đệ quy • Ví dụ sau sẽ tính các số Lucas: L1 = 1; L 2 = 3; L n = L n-1 + L n-2, n>2. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 39 1/1/2013
40. Tùy chọn remember yêu cầu Maple lưu lại những giá trị tính toán trước của hàm L để sử dụng cho lần sau. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 40 1/1/2013
41. 2. Hàm - unapply • Dùng unapply để chuyển 1 biểu thức thành 1 hàm. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 41 1/1/2013
42. 2. Hàm – toán tử Huỳnh Văn Kha - C01029 – Ch ươ ng 3 42 1/1/2013
43. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 43 1/1/2013
44. 2. Hàm – hàm không đặt tên • Hàm không đặt tên sử dụng nhiều trong một số thủ tục của Maple. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 44 1/1/2013
45. 3. Đạo hàm - diff • diff(f,x): đạo hàm f theo x. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 45 1/1/2013
46. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 46 1/1/2013
47. 3. Đạo hàm – hàm ẩn • implicitdifff(eqn,y,x): đạo hàm y theo x xác định bởi phương trình eqn. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 47 1/1/2013
48. 3. Đạo hàm – toán tử D • diff lấy đạo hàm của một biểu thức. D lấy đạo hàm của một hàm số. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 48 1/1/2013
49. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 49 1/1/2013
50. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 50 1/1/2013
51. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 51 1/1/2013
52. 3. – automatic differentiation • Toán tử D có thể đạo hàm những hàm định nghĩa bằng proc
    automatic differentiation. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 52 1/1/2013
53. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 53 1/1/2013
54. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 54 1/1/2013
55. • Đạo hàm tự động giúp tính toán nhanh trong nhiều trường hợp. = = fn−1 ∀ > Ví dụ: cho dãy hàm f1 x;fn x , n 1 Tính: d5 f 15 ()1.1 dx 5 Huỳnh Văn Kha - C01029 – Ch ươ ng 3 55 1/1/2013
56. Huỳnh Văn Kha - C01029 – Ch ươ ng 3 56 1/1/2013