Tổng quan về giáo trình

Giáo trình Phương pháp tính do Giáo sư Nguyễn Thế Hùng và Phó Giáo sư Trần Văn Chính (Trường Đại học Bách khoa – Đại học Đà Nẵng) biên soạn, xuất bản năm 2013. Môn học Phương pháp tính (Toán học tính toán / Giải tích số) giữ vị trí là học phần kỹ thuật cơ sở trong khung chương trình đào tạo trình độ Đại học và Cao học, đặc biệt phục vụ trực tiếp cho sinh viên, học viên các chuyên ngành Kỹ thuật Điện, Kỹ thuật Xây dựng và các ngành khoa học kỹ thuật liên quan đến tính toán gần đúng.

Mục tiêu học tập của giáo trình nhằm trang bị cho người học hệ thống lý luận cơ bản và các thuật toán giải gần đúng những bài toán khoa học kỹ thuật không có nghiệm giải tích hoặc có biểu thức giải tích quá phức tạp (phương trình đại số/siêu việt, hệ phương trình tuyến tính/phi tuyến, phương trình vi phân, tính tích phân và xấp xỉ hàm). Giáo trình rèn luyện khả năng phân tích sai số, đánh giá sự ổn định của quá trình tính và chuyển hóa các công thức toán học liên tục thành các thuật toán rời rạc thực thi trên máy tính điện tử.

Cấu trúc giáo trình được thiết kế theo phương tiếp cận kết hợp chặt chẽ giữa suy diễn giải tích toán học và cài đặt thuật toán số. Mỗi chủ đề lý thuyết đều đi kèm chứng minh toán học, phân tích đánh giá sai số, ví dụ tính toán số học từng bước và mã nguồn chương trình hoàn chỉnh. Điểm đặc trưng của giáo trình là sự song hành giữa phân tích lý thuyết với mã lệnh cụ thể bằng ngôn ngữ C/C++ và môi trường tính toán MATLAB, giúp người học chuyển tiếp trực tiếp từ công thức toán sang mã chương trình thực thi.


Nội dung kiến thức cốt lõi

Các chương/chủ đề chính

Cấu trúc giáo trình triển khai mạch kiến thức qua các chủ đề trọng tâm:

  1. Phân tích sai số (Error Analysis): Thiết lập khái niệm cơ bản về phương pháp số; bản chất hữu hạn hóa và rời rạc hóa các đối tượng toán học liên tục; phân loại 4 nguồn sai số chính (sai số mô hình hóa, sai số phương pháp, sai số số liệu đo, sai số tính toán/quy tròn và sai số chặt cụt); quy tắc lan truyền sai số cho hàm một biến và nhiều biến $u = f(x_1, x_2, \dots, x_n)$; khái niệm chữ số có nghĩa, chữ số đáng tin; tốc độ hội tụ tiệm cận $O(h^p)$ và tính ổn định của thuật toán.
  2. Nội suy đa thức cơ bản và lược đồ Horner: Khảo sát bài toán nội suy qua hệ $(n+1)$ mốc phân biệt, chứng minh tính duy nhất của đa thức nội suy thông qua định thức ma trận Vandermonde ($\det V \neq 0$). Trình bày thuật toán Horner rút gọn số lượng phép tính khi tính giá trị đa thức, sơ đồ Horner tổng quát để tìm các hệ số của khai triển Taylor tại điểm $x_0$, cùng các thuật toán số học cộng, nhân, chia đa thức.
  3. Đa thức nội suy Lagrange và Newton: Thiết lập công thức nội suy Lagrange dựa trên các đa thức cơ sở $L_{n,j}(x)$ và đánh giá sai số thông qua đạo hàm cấp cao $f^{(n+1)}(\xi)$ dựa trên định lý Rolle; phân tích ưu nhược điểm khi bổ sung mốc quan sát; xây dựng công thức nội suy Newton tiến với mốc cách đều dựa trên sai phân hữu hạn cấp cao ($\Delta^k y_0$) và Newton với mốc không cách đều dựa trên bảng tỷ sai phân $f[x_0, x_1, \dots, x_k]$.
  4. Nội suy Hermite: Mở rộng bài toán xấp xỉ khi biết đồng thời giá trị hàm $f(x_i)$ và đạo hàm bậc nhất $f'(x_i)$ tại các mốc quan trắc, xác định đa thức bậc $(2n+1)$; kỹ thuật lập bảng sai phân mở rộng thông qua chuỗi biến đổi $z_{2k} = z_{2k+1} = x_k$ và gán tỷ sai phân suy biến $f[z_{2k}, z_{2k+1}] = f'(x_k)$.
  5. Nội suy Spline: Giải quyết hiện tượng dao động bậc cao của đa thức nội suy toàn cục khi số mốc lớn; xây dựng mô hình ghép trơn từng đoạn bằng các đa thức bậc ba (Cubic Spline); thiết lập hệ phương trình tuyến tính ba đường chéo (tridiagonal) giải đạo hàm bậc hai $f''(x_i)$ tại các nút trong kết hợp điều kiện biên tự nhiên $f''(x_0) = f''(x_n) = 0$.
  6. Phương pháp bình phương cực tiểu (Least Squares Method): Xây dựng phương pháp xấp xỉ thực nghiệm trên mẫu dữ liệu rời rạc có sai số ngẫu nhiên; thiết lập hệ phương trình chuẩn tắc (normal equations) cực tiểu hóa tổng bình phương sai số $S = \sum e_i^2$; ứng dụng cho hàm xấp xỉ đa thức bậc $m$, đa thức bậc hai $y = a + bx + cx^2$ và mô hình phi tuyến đơn điệu dạng hàm mũ $y = A e^{cx}$ qua phép logarit hóa tuyến tính.

Progression logic của giáo trình phát triển từ việc xác định công cụ kiểm soát sai số $\rightarrow$ xây dựng các mô hình xấp xỉ đa thức cổ điển $\rightarrow$ mở rộng xấp xỉ có điều kiện đạo hàm và hàm ghép trơn $\rightarrow$ xử lý dữ liệu đo thực nghiệm không khớp điểm chính xác.

Kiến thức nền tảng được xây dựng

Giáo trình hình thành nền tảng giải tích số bao gồm:

  • Lý thuyết xấp xỉ và hội tụ: Nguyên lý tiệm cận Big-Oh ($O(h^p)$), ước lượng phần dư giải tích dựa trên Định lý Rolle, và điều kiện ổn định của các bước lặp tính toán.
  • Đại số tuyến tính số học: Ma trận Vandermonde trong bài toán nghiệm duy nhất; ma trận ba đường chéo trong giải thuật Spline; hệ phương trình chuẩn tắc đối xứng trong bình phương bé nhất.
  • Quy tắc vi phân sai số: Công thức sai số giới hạn toàn phần $U = \sum_{i=1}^n \left| \frac{\partial f}{\partial x_i} \right| X_i$ áp dụng cho mô hình đo đạc gián tiếp.

Kỹ năng phát triển

  • Kỹ năng kỹ thuật (Technical skills): Lập bảng sai phân tiến, sai phân lùi, bảng tỷ sai phân; thực hiện sơ đồ Horner tính đạo hàm cấp cao; thiết lập hệ phương trình chuẩn tắc từ bảng số liệu thực nghiệm.
  • Kỹ năng phân tích (Analytical skills): Ước lượng sai số tuyệt đối giới hạn, sai số tương đối giới hạn; xác định số chữ số đáng tin của kết quả; lựa chọn phương pháp xấp xỉ phù hợp với hiện tượng vật lý (chọn Spline cho mặt cong uốn lượn, chọn Hermite khi có dữ liệu đạo hàm, chọn bình phương cực tiểu khi số liệu đo có sai số ngẫu nhiên).
  • Kỹ năng lập trình (Practical competencies): Hiện thực hóa thuật toán số bằng C/C++ (sử dụng vòng lặp mảng xử lý đa thức, chia tách sai phân) và viết hàm tính toán trên MATLAB (lagrange.m, newton.m, cubicspline.m, polyval, conv).

Phương pháp giảng dạy và học tập

Phương pháp tiếp cận sư phạm

Giáo trình áp dụng phương pháp tiếp cận quy nạp từ cơ sở toán học hình thức đến thuật toán cụ thể và mô phỏng số. Mỗi chủ đề được triển khai qua 4 bước đồng bộ:

  1. Định nghĩa bài toán kỹ thuật và phát biểu định lý toán học kèm chứng minh ngắn gọn.
  2. Thiết lập công thức giải tích và thuật toán giải số tương ứng.
  3. Trình bày ví dụ tính toán mẫu từng bước với các bảng số liệu trung gian.
  4. Cung cấp mã nguồn chương trình (C/C++ hoặc MATLAB) và hiển thị kết quả chạy máy.

Hệ thống bài tập và thực hành

Mỗi chương kết thúc bằng hệ thống câu hỏi lý thuyết nhằm kiểm tra mức độ hiểu bản chất thuật toán (như phân biệt sai số phương pháp và sai số tính toán, ý nghĩa của sai số quy tròn) và bài tập tính toán có kèm đáp số chi tiết (tính chữ số tin tưởng, xác định sai số lan truyền, lập đa thức nội suy từ bảng dữ liệu).

Mục thực hành bao gồm các chương trình mẫu như Chương trình 1-1 (tính giá trị đa thức qua Horner), Chương trình 1-2 (sơ đồ Horner tổng quát khai triển Taylor), Chương trình 1-3 đến 1-5 (phép toán đại số cộng, nhân, chia đa thức), Chương trình 5-4 (bình phương tối thiểu xấp xỉ đa thức).

Phương pháp đánh giá và hướng dẫn tự học

  • Đánh giá học phần: Kết hợp giữa kiểm tra lý thuyết (chứng minh công thức sai số, phân tích tính ổn định), bài tập tính tay theo bảng sai phân/Horner và bài tập lớn lập trình giải các bài toán số trên máy tính.
  • Chỉ dẫn tự học: Người học cần thực hiện tính tay các ví dụ số học mẫu để hiểu dòng chuyển dữ liệu trong thuật toán, sau đó tự biên dịch và chạy lại các đoạn mã nguồn mẫu trong giáo trình; sử dụng kết quả tính tay để kiểm chứng tính đúng đắn của chương trình máy tính.

Điểm nổi bật và cập nhật

Tính ứng dụng kỹ thuật trực tiếp

Nội dung giáo trình phản ánh các yêu cầu tính toán thực tế trong khối ngành kỹ thuật, đặc biệt là Điện và Xây dựng:

  • Ứng dụng nội suy Hermite trong Cơ học kết cấu: Tính toán đồng thời chuyển vị dầm ($y_i$) và góc xoay ($\alpha_i = y'_i$) của bài toán dầm trên nền đàn hồi.
  • Ứng dụng nội suy Spline: Mô phỏng sự phân bố độ mặn theo chiều sâu hoặc đường mặt cong của sóng gián đoạn trong cơ học chất lỏng và thủy văn.
  • Ứng dụng bình phương cực tiểu: Xây dựng đường cong tương quan giữa lượng mưa tại các trạm quan trắc khí tượng hoặc dự báo nhu cầu phụ tải dựa trên số liệu đo đơn điệu qua mô hình $y = A e^{cx}$.

Cấu trúc mã nguồn tích hợp

Khác với các tài liệu thuần giải tích toán học, giáo trình tích hợp trực tiếp:

  • Các hàm C/C++ xử lý chuỗi và mảng động, sử dụng cấu trúc điều khiển chuẩn.
  • Các script MATLAB cấu trúc hóa, sử dụng triệt để các phép toán xử lý mảng và ma trận véc-tơ (conv, giải hệ phương trình tuyến tính cho ma trận Spline).
  • Hướng dẫn phân tích độ chính xác số học trên máy tính theo các mức biểu diễn: độ chính xác đơn (single), độ chính xác kép (double) và độ chính xác mở rộng (extended).

Đối tượng sử dụng giáo trình

  • Sinh viên bậc Đại học: Sinh viên từ năm thứ hai hoặc năm thứ ba thuộc các khối ngành Kỹ thuật Điện, Kỹ thuật Xây dựng, Cơ khí, Công nghệ Thông tin và Toán ứng dụng; sử dụng làm tài liệu học tập chính khóa cho học phần Phương pháp tính / Giải tích số.
  • Học viên Cao học: Học viên các chương trình thạc sĩ kỹ thuật sử dụng giáo trình làm tài liệu tham khảo cho các môn học về Mô hình hóa toán học, Phương pháp số nâng cao và xử lý số liệu thực nghiệm.
  • Yêu cầu kiến thức tiên quyết (Prerequisites):
    • Giải tích: Đạo hàm, tích phân, chuỗi lũy thừa và chuỗi Taylor, định lý Rolle.
    • Đại số tuyến tính: Các phép toán ma trận, định thức, giải hệ phương trình đại số tuyến tính.
    • Lập trình cơ bản: Cú pháp cơ bản của ngôn ngữ C/C++ (vòng lặp, mảng, hàm) hoặc thao tác cơ bản trong môi trường MATLAB.
  • Giảng viên: Sử dụng làm đề cương chuẩn, nguồn bài tập mẫu và bài tập lập trình để tổ chức giảng dạy trên lớp và đánh giá bài tập lớn.

Câu hỏi thường gặp

1. Giáo trình này phù hợp với đối tượng nào?

Giáo trình được thiết kế cho sinh viên đại học và học viên cao học các ngành kỹ thuật (đặc biệt là ngành Điện và Xây dựng), cùng các kỹ sư cần giải quyết các bài toán tính toán gần đúng trong thực tế công trình.

2. Cần trang bị kiến thức nền tảng nào trước khi học giáo trình này?

Người học cần hoàn thành các học phần Giải tích cổ điển (vi phân, tích phân, khai triển Taylor), Đại số tuyến tính (ma trận, định thức, hệ phương trình) và có kỹ năng lập trình cơ bản bằng C/C++ hoặc MATLAB.

3. Giáo trình này có điểm gì khác biệt so với các sách Giải tích số thuần túy?

Giáo trình tập trung vào việc chuyển đổi thuật toán thành mã thực thi trên máy tính, cung cấp trực tiếp mã nguồn C++ và MATLAB cho từng giải thuật, đồng thời gắn liền các mô hình xấp xỉ với bài toán vật lý kỹ thuật thực tế (chuyển vị dầm, đo mưa, mặt sóng).

4. Phương pháp tự học giáo trình này như thế nào để đạt hiệu quả?

Người học nên đọc kỹ phần suy dẫn lý thuyết và công thức sai số, tự làm lại các ví dụ tính tay theo từng bước bảng số liệu, sau đó gõ và chạy các đoạn mã nguồn C++/MATLAB mẫu để đối chiếu nghiệm số.

5. Giáo trình có cung cấp công cụ hoặc mã nguồn đi kèm không?

Có. Toàn bộ các thuật toán trọng tâm (sơ đồ Horner, nội suy Lagrange, Newton, Hermite, Spline bậc ba, bình phương cực tiểu) đều có mã nguồn hoàn chỉnh bằng C/C++ hoặc hàm mẫu viết cho MATLAB được in trực tiếp trong nội dung từng chương.


Kết luận

Giáo trình Phương pháp tính của GS. Nguyễn Thế Hùng và PGS. Trần Văn Chính là tài liệu học thuật hoàn chỉnh về giải tích số ứng dụng trong kỹ thuật. Giá trị cốt lõi của tác phẩm thể hiện ở sự cân bằng giữa lý luận toán học về sai số, thuật toán giải gần đúng và khả năng lập trình hóa trên máy tính điện tử.

Lộ trình học tập khuyến nghị bắt đầu từ việc nắm vững nguyên lý sai số ở Chương 1, thực hành các lược đồ xấp xỉ và đa thức nội suy ở Chương 2, kết hợp tự lập trình và kiểm chứng số liệu trên máy tính. Hệ thống bài tập có đáp số và mã nguồn mẫu trong giáo trình cung cấp phương tiện hoàn chỉnh cho quá trình học tập và nghiên cứu ứng dụng kỹ thuật.