BÁO CÁO MÔ TẢ THƯ MỤC VÀ PHÂN TÍCH HỌC THUẬT GIÁO TRÌNH TOÁN ỨNG DỤNG (MÃ MÔN HỌC: MH 11)
Tổng quan về giáo trình
Giáo trình Toán ứng dụng (Mã tài liệu: MH 11) là học liệu chuẩn hóa thuộc hệ thống chương trình đào tạo nghề Quản trị mạng máy tính ở trình độ Cao đẳng nghề. Tài liệu được ban hành kèm theo Quyết định số 120/QĐ-TCDN ngày 25 tháng 02 năm 2013 của Tổng cục trưởng Tổng cục Dạy nghề (Bộ Lao động – Thương binh và Xã hội). Công trình do ThS. Nguyễn Như Thành chủ biên cùng sự tham gia biên soạn của tác giả Ngô Thị Thanh Trang.
+-------------------------------------------------------------------------------+
| THÔNG TIN ẤN PHẨM HỌC THUẬT |
+----------------------+--------------------------------------------------------+
| Tên môn học | Toán ứng dụng (Mã môn học: MH 11) |
| Ngành đào tạo | Quản trị mạng máy tính (Trình độ: Cao đẳng nghề) |
| Cơ quan ban hành | Tổng cục Dạy nghề – Bộ Lao động - Thương binh & Xã hội |
| Văn bản pháp quy | Quyết định số 120/QĐ-TCDN (Ban hành ngày 25/02/2013) |
| Tác giả biên soạn | ThS. Nguyễn Như Thành (Chủ biên), Ngô Thị Thanh Trang |
| Thời lượng đào tạo | 60 giờ (45h Lý thuyết, 12h Bài tập/Thực hành, 3h KT) |
+----------------------+--------------------------------------------------------+
Trong khung chương trình đào tạo, môn học được xếp ở vị trí môn cơ sở nghề, bố trí giảng dạy ngay sau khi sinh viên hoàn thành các môn học chung. Giáo trình đóng vai trò cung cấp công cụ toán học nền tảng nhằm phục vụ trực tiếp cho việc tiếp thu môn học Cấu trúc dữ liệu và giải thuật, cũng như quá trình cài đặt thuật toán trong tin học.
Mục tiêu học tập của giáo trình hướng tới việc trang bị cho người học năng lực:
- Vận dụng kiến thức toán học để xây dựng thuật toán tính tổ hợp, hoán vị, giải phương trình, hệ phương trình và tính tích phân;
- Xây dựng thuật toán quay lui, giải quyết các bài toán tối ưu và bài toán tồn tại;
- Thiết lập tư duy logic và phương pháp làm việc khoa học, bảo đảm an toàn cho con người cùng phương tiện học tập.
Giáo trình được kết cấu theo hình thức tích hợp giữa lý thuyết và thực hành với tổng thời lượng 60 giờ, bao gồm 45 giờ lý thuyết, 12 giờ bài tập/thực hành và 3 giờ kiểm tra định kỳ. Điểm đặc thù của tài liệu là việc chọn lọc các chủ đề toán rời rạc, đại số ma trận và giải tích số gắn liền với việc mô tả giải thuật bằng mã giả (pseudocode), lược bỏ các chứng minh thuần túy lý thuyết không cần thiết cho kỹ thuật viên mạng.
Nội dung kiến thức cốt lõi
Các chương/chủ đề chính
Nội dung giáo trình được phân bổ thành 4 chương chính theo tiến trình sư phạm chặt chẽ:
Chương 1: Quan hệ và suy luận toán học (Mã chương: MH1101 – 6 giờ: 5 LT, 1 KT)
Chương này trang bị các khái niệm nền tảng về quan hệ hai ngôi trên tập hợp $X$, khảo sát các tính chất: phản xạ, đối xứng, phản đối xứng và bắc cầu. Trọng tâm bao gồm quan hệ tương đương, việc thiết lập các lớp tương đương $C(a)$, định lý phân hoạch tập hợp thành tập thương $X/\sim$, cùng quan hệ thứ tự bộ phận và toàn phần. Về suy luận toán học, chương trình bày kỹ thuật chứng minh quy nạp toán học qua hai bước (bước cơ sở $P(1)$ và bước quy nạp $P(n) \Rightarrow P(n+1)$), định nghĩa đệ quy cho hàm số, tập hợp và xâu ký tự $\Sigma^*$. Kèm theo đó là thuật toán đệ quy (tính $a^n$, tính giai thừa $n!$) đối chiếu với thủ tục lặp. Chương kết thúc bằng phương pháp kiểm chứng tính đúng đắn bộ phận của chương trình thông qua khẳng định đầu $p$, khẳng định cuối $q$ ($p{S}q$), quy tắc suy luận cho câu lệnh rẽ nhánh và bất biến vòng lặp (loop invariant).
Chương 2: Ma trận và thuật toán (Mã chương: MH1102 – 12 giờ: 9 LT, 2 TH/BT, 1 KT)
Nội dung chương chia làm hai mảng lớn:
- Đại số ma trận: Định nghĩa ma trận cấp $m \times n$, phép cộng ma trận, phép nhân ma trận (điều kiện tương thích số cột và số hàng), ma trận đơn vị $I_n$, chuyển vị ma trận $A^t$ và ma trận đối xứng ($A = A^t$). Đáng chú ý là mảng ma trận không – một (ma trận $0-1$) với các phép toán Boole: phép hợp ($A \vee B$), phép giao ($A \wedge B$), tích Boole ($A \odot B$) và lũy thừa Boole $A^{[r]}$ phục vụ mô hình hóa đường liên lạc trong mạng máy tính và lý thuyết đồ thị.
- Lý thuyết thuật toán và độ phức tạp: Trình bày 5 đặc trưng của thuật toán (Đầu vào, Đầu ra, Tính dừng, Tính xác định, Tính hiệu quả, Tính phổ dụng); biểu diễn thuật toán bằng mã giả phỏng Pascal; định nghĩa hình thức về độ phức tạp thời gian/không gian qua các ký hiệu tiệm cận $O(g(n))$, $\Omega(g(n))$, $\Theta(g(n))$; phân tích trường hợp tốt nhất, tồi nhất, trung bình và bảng đánh giá độ phức tạp chuẩn từ $O(1)$ đến $O(n!)$.
+-------------------------------------------------------------------------------+
| BẢNG ĐÁNH GIÁ CÁC CẤP ĐỘ PHỨC TẠP THUẬT TOÁN (CHƯƠNG 2) |
+-------------------+----------------------+------------------------------------+
| Dạng đánh giá | Tên gọi | Ví dụ minh họa trong giáo trình |
+-------------------+----------------------+------------------------------------+
| $\Theta(1)$ | Hằng số | Phép gán, thao tác so sánh cơ bản |
| $\Theta(\log_2 n)$| Logarithm | Thuật toán tìm kiếm nhị phân |
| $\Theta(n)$ | Tuyến tính | Tìm phần tử lớn nhất dãy n số |
| $\Theta(n\log_2 n)$| n log n | Thuật toán sắp xếp tối ưu |
| $\Theta(n^2)$ | Bậc hai | Sắp xếp chọn/đổi chỗ, duyệt ma trận|
| $\Theta(n^3)$ | Bậc ba | Phép nhân 2 ma trận thông thường |
| $\Theta(n^m)$ | Đa thức | Các thuật toán duyệt đa biến |
| $\Theta(2^n)$ | Hàm mũ | Bài toán Tháp Hà Nội ($2^n - 1$) |
| $\Theta(n!)$ | Giai thừa | Duyệt hoán vị toàn bộ |
+-------------------+----------------------+------------------------------------+
Chương 3: Tính toán và xác suất (Mã chương: MH1103 – 18 giờ: 13 LT, 4 TH/BT, 1 KT)
Chương 3 kết hợp hai nội dung toán rời rạc và giải tích ngẫu nhiên:
- Phương pháp đếm và tổ hợp: Trình bày nguyên lý cộng, nguyên lý nhân, chỉnh hợp lặp ($\bar{A}_n^k = n^k$), chỉnh hợp không lặp ($A_n^k$), hoán vị ($P_n = n!$), tổ hợp ($C_n^k$), hiện tượng bùng nổ tổ hợp (qua ví dụ đặt tên biến trong Pascal), nguyên lý bù trừ cho tập hợp hữu hạn và nguyên lý Dirichlet (cơ bản và tổng quát).
- Lý thuyết xác suất: Khái niệm phép thử, không gian mẫu $\Omega$ (rời rạc và liên tục), đại số sự kiện (biến cố xung khắc, đối lập, nhóm đầy đủ); định nghĩa xác suất cổ điển $P(A) = m/n$, định nghĩa thống kê dựa trên tần suất $W(A)$ và luật số lớn Bernoulli; định lý cộng và nhân xác suất; xác suất có điều kiện $P(A/B)$, tính độc lập của biến cố; công thức xác suất toàn phần và định lý Bayes ứng dụng trong chẩn đoán kỹ thuật.
Chương 4: Phương pháp tính (Mã chương: MH1104 – 24 giờ: 18 LT, 5 TH/BT, 1 KT)
Chương có thời lượng lớn nhất, tập trung vào tính toán số xấp xỉ và giải phương trình:
- Lý thuyết sai số: Khái niệm số xấp xỉ thừa/thiếu, sai số tuyệt đối $\Delta_a = |A - a|$, sai số tuyệt đối giới hạn $\Delta_a$, sai số tương đối $\delta_a = \frac{\Delta_a}{|a|}$ và sai số tương đối giới hạn $\delta_a$.
- Giải gần đúng phương trình phi tuyến $f(x) = 0$: Định lý tồn tại nghiệm thực trên đoạn $[a, b]$ khi $f(a)f(b) < 0$; xác định khoảng phân ly nghiệm dựa vào dấu của đạo hàm bậc một $f'(x)$; khảo sát chi tiết 4 phương pháp tính:
- Phương pháp dây cung: Thay đường cong bằng cát tuyến, công thức lặp $x_{k+1} = x_k - \frac{d - x_k}{f(d) - f(x_k)} f(x_k)$ với điều kiện chọn điểm gốc $f''(x) \cdot f(x_0) < 0$.
- Phương pháp tiếp tuyến (Newton-Raphson): Thay đường cong bằng tiếp tuyến tại điểm biên, công thức $x_{k+1} = x_k - \frac{f(x_k)}{f'(x_k)}$ với điều kiện Fourier $f''(x) \cdot f(x_0) > 0$.
- Phương pháp phối hợp: Kết hợp đồng thời phương pháp dây cung và tiếp tuyến để kẹp nghiệm từ hai phía, thu hẹp khoảng phân ly với tốc độ hội tụ nhanh.
- Phương pháp chia đôi: Thu hẹp đoạn chứa nghiệm qua điểm chia trung điểm $c = \frac{a+b}{2}$.
Kiến thức nền tảng được xây dựng
- Cơ sở lý thuyết rời rạc và logic: Xây dựng tư duy logic hình thức, cấu trúc đại số Boole trên ma trận $0-1$, nguyên lý quy nạp toán học phục vụ kiểm chứng thuật toán.
- Lý thuyết xác suất ứng dụng: Cung cấp mô hình tính toán độ tin cậy của hệ thống, chẩn đoán xác suất lỗi phần cứng/phần mềm.
- Cơ sở giải tích số: Cung cấp nguyên lý xấp xỉ sai số và các mô hình lặp số học giải phương trình phi tuyến.
Kỹ năng phát triển
- Kỹ năng kỹ thuật (Technical skills): Viết và chuyển hóa thuật toán toán học sang mã giả phỏng ngôn ngữ lập trình Pascal; thực hiện các phép toán trên ma trận Boole và ma trận số thực.
- Kỹ năng phân tích (Analytical skills): Đánh giá và ước lượng độ phức tạp thời gian/không gian của giải thuật thông qua ký hiệu $O, \Omega, \Theta$; phân tích sai số tính toán trong các phương pháp xấp xỉ.
- Kỹ năng thực hành nghề nghiệp (Practical competencies): Ứng dụng công thức Bayes để xác định xác suất hỏng hóc của linh kiện thiết bị trong hệ thống mạng; áp dụng thuật toán giải gần đúng trong xử lý tín hiệu và tính toán kỹ thuật.
Phương pháp giảng dạy và học tập
+-------------------------------------------------------------------------------+
| PHÂN BỔ THỜI LƯỢNG GIẢNG DẠY THEO CHƯƠNG MÔN MH 11 |
+----+------------------------------------+----------+----------+---------------+
| STT| Tên chương | Tổng số | Lý thuyết| Bài tập/TH/KT |
+----+------------------------------------+----------+----------+---------------+
| I | Quan hệ và suy luận toán học | 06 giờ | 05 giờ | 01 giờ (KT) |
| II | Ma trận và thuật toán | 12 giờ | 09 giờ | 03 giờ (TH/KT)|
| III| Tính toán và xác suất | 18 giờ | 13 giờ | 05 giờ (TH/KT)|
| IV | Phương pháp tính | 24 giờ | 18 giờ | 06 giờ (TH/KT)|
+----+------------------------------------+----------+----------+---------------+
| | TỔNG CỘNG | 60 GIỜ | 45 GIỜ | 15 GIỜ |
+----+------------------------------------+----------+----------+---------------+
Phương pháp tiếp cận sư phạm
Giáo trình triển khai theo mô hình giảng dạy tích hợp: lý thuyết toán học luôn đi kèm với thuật toán hóa và cài đặt mã giả. Kiến thức không dừng lại ở việc chứng minh định lý mà chuyển hóa trực tiếp thành các quy trình từng bước (step-by-step algorithms).
Bài tập và ví dụ tình huống điển hình
Tài liệu cung cấp hệ thống ví dụ tính toán thực tế gắn liền với tin học:
- Ví dụ bùng nổ tổ hợp: Tính toán số lượng tên biến tối đa có độ dài $\le 8$ ký tự trong chuẩn Pascal ($26 \times \sum_{i=0}^7 36^i \approx 5,82 \times 10^{10}$ biến) để chứng minh hiện tượng bùng nổ không gian trạng thái.
- Ví dụ độ phức tạp thuật toán: So sánh thuật toán tìm Max (độ phức tạp $\Theta(n)$) với bài toán Tháp Hà Nội 64 đĩa (độ phức tạp $\Theta(2^n)$, yêu cầu $2^{64}-1$ bước chuyển, tương đương xấp xỉ 585 tỷ năm nếu mỗi bước mất 1 giây) nhằm làm rõ khái niệm thuật toán hữu hiệu và không hữu hiệu.
- Case study chẩn đoán lỗi bằng định lý Bayes: Phân tích hệ thống thiết bị gồm 3 loại linh kiện với tỷ lệ cấu thành và xác suất hỏng hóc cho trước ($A_1: 35%, p_1=15%; A_2: 25%, p_2=25%; A_3: 40%, p_3=5%$), từ đó tính toán xác suất có điều kiện $P(A_i|B)$ để chỉ ra linh kiện loại 2 có nguy cơ hỏng cao nhất cần ưu tiên kiểm tra.
Phương pháp đánh giá kết quả
Đánh giá học phần bao gồm:
- 3 bài kiểm tra định kỳ (1 bài lý thuyết sau Chương 1, 2 bài kiểm tra thực hành/lý thuyết sau Chương 2, 3 và 4);
- Đánh giá thông qua bảng câu hỏi trắc nghiệm kiểm tra độ hiểu khái niệm (quan hệ, ma trận Boole, tính toán xác suất, sai số);
- Đánh giá năng lực giải bài tập tính toán số và khả năng phân tích độ phức tạp của đoạn mã giả cho trước.
Hướng dẫn tự học
Cuối mỗi chương, giáo trình thiết kế riêng mục Hướng dẫn thực hiện bài tập chỉ rõ phương pháp giải, định lý cần áp dụng và thuật toán mẫu (ví dụ: hướng dẫn giải bài toán tìm phần tử giảm đầu tiên trong dãy số bằng mã giả Procedure find_decrease với độ phức tạp $O(n^2)$). Người học cần tự giải bài tập, sau đó đối chiếu với quy trình hướng dẫn để củng cố kỹ năng lập luận.
Điểm nổi bật và cập nhật
- Cấu trúc theo phân tích nghề nghiệp: Giáo trình được xây dựng dựa trên kết quả phân tích nghề Quản trị mạng máy tính của Tổng cục Dạy nghề, bảo đảm mọi chủ đề toán học đưa vào đều có địa chỉ ứng dụng rõ ràng trong chuyên môn mạng và tin học.
- Tích hợp đại số Boole trên ma trận: Việc đưa ma trận $0-1$, các phép toán hợp/giao Boole và lũy thừa ma trận Boole $A^{[r]}$ vào chương trình tạo cơ sở toán học trực tiếp cho việc biểu diễn đồ thị, phân tích bảng định tuyến và mô hình hóa các đường liên lạc vật lý/logic trong mạng máy tính.
- Phương pháp luận kiểm chứng chương trình: Đưa khái niệm bộ ba Hoare ($p{S}q$) và bất biến vòng lặp vào chương trình đào tạo nghề giúp sinh viên tiếp cận sớm với tư duy kiểm thử và xác minh tính đúng đắn của phần mềm một cách khoa học.
- Kết hợp cân đối giữa toán rời rạc và giải tích số: Thay vì tách rời thành các học phần riêng biệt, giáo trình tích hợp gọn gàng trong 60 giờ: nửa đầu tập trung vào cấu trúc rời rạc/thuật toán (Chương 1, 2, 3) và nửa sau tập trung vào giải thuật tính toán số/xấp xỉ sai số (Chương 4).
Đối tượng sử dụng giáo trình
+-------------------------------------------------------------------------------+
| MA TRẬN ĐỐI TƯỢNG VÀ MỤC ĐÍCH SỬ DỤNG GIÁO TRÌNH |
+--------------------------+----------------------------------------------------+
| Nhóm đối tượng | Mục đích & Phương thức sử dụng |
+--------------------------+----------------------------------------------------+
| Sinh viên Cao đẳng nghề | Học phần cơ sở nghề bắt buộc (MH 11); làm nền tảng |
| Quản trị mạng máy tính | cho môn Cấu trúc dữ liệu & Thuật toán |
| Giảng viên chuyên ngành | Làm giáo án giảng dạy chuẩn hóa 60 giờ; sử dụng hệ |
| Công nghệ thông tin | thống bài tập và mã giả mẫu làm đề kiểm tra |
| Kỹ thuật viên / Tự học | Tài liệu tham khảo tra cứu về ma trận Boole, giải |
| | thuật số xấp xỉ và phân tích độ phức tạp |
+--------------------------+----------------------------------------------------+
- Sinh viên: Sinh viên năm thứ nhất hoặc năm thứ hai hệ Cao đẳng nghề ngành Quản trị mạng máy tính; sinh viên các chuyên ngành kỹ thuật tin học cần bổ trợ toán học ứng dụng.
- Điều kiện tiên quyết (Prerequisites): Người học cần hoàn thành các môn học chung trong chương trình đào tạo cao đẳng (kiến thức toán trung học phổ thông về hàm số, đạo hàm, giải tích cơ bản và tin học đại cương).
- Giảng viên: Sử dụng làm tài liệu giảng dạy chính khóa theo phân phối 60 giờ chuẩn của Tổng cục Dạy nghề; khai thác ngân hàng bài tập kèm hướng dẫn giải chi tiết để thiết kế bài kiểm tra thường xuyên và định kỳ.
- Nghiên cứu & Tự học: Tài liệu phù hợp cho kỹ thuật viên mạng muốn nắm vững bản chất toán học của các thuật toán định tuyến, mã hóa số liệu và các phương pháp ước lượng sai số trong tính toán thực tế.
Câu hỏi thường gặp
1. Giáo trình này phù hợp với ai?
Giáo trình được biên soạn chuyên biệt cho sinh viên theo học trình độ Cao đẳng nghề ngành Quản trị mạng máy tính, đồng thời là tài liệu tham khảo phù hợp cho sinh viên các ngành Công nghệ thông tin hệ thực hành.
2. Cần kiến thức nền nào để học môn này?
Sinh viên cần nắm vững kiến thức toán học phổ thông (đại số, giải tích hàm một biến, lượng giác cơ bản) và các môn học chung ở giai đoạn đầu khóa học.
3. Điểm khác biệt của giáo trình này so với các giáo trình Toán cao cấp thuần túy?
Giáo trình không đi sâu vào chứng minh định lý thuần túy lý thuyết mà tập trung vào Toán học thuật toán: biểu diễn định lý dưới dạng thuật toán mã giả (phỏng Pascal), phân tích độ phức tạp tính toán ($O, \Omega, \Theta$) và ứng dụng trực tiếp ma trận Boole, định lý Bayes vào các bài toán kỹ thuật mạng.
4. Làm sao để tự học hiệu quả với giáo trình?
Người học nên đọc kỹ định nghĩa và các bước giải mẫu trong từng ví dụ, sau đó tự viết lại thuật toán dưới dạng mã giả trên giấy hoặc cài đặt thử nghiệm trên máy tính, cuối cùng làm bài tập tự giải và đối chiếu với phần Hướng dẫn thực hiện bài tập ở cuối mỗi chương.
5. Giáo trình có tài liệu bổ trợ nào kèm theo không?
Tài liệu đã tích hợp hoàn chỉnh hệ thống lý thuyết, mã thuật toán mẫu, các bảng tra cứu độ phức tạp, hệ thống câu hỏi bài tập và phần văn bản hướng dẫn giải chi tiết cho từng bài tập cuối chương.
Kết luận
Giáo trình Toán ứng dụng (Mã môn: MH 11) do ThS. Nguyễn Như Thành chủ biên là học liệu cơ sở nghề chuẩn hóa, thiết lập cầu nối kiến thức giữa toán học giải tích/rời rạc và kỹ thuật lập trình máy tính cho nghề Quản trị mạng.
Lộ trình học tập đề xuất:
$$\text{Chương 1 (Logic & Đệ quy)} \longrightarrow \text{Chương 2 (Ma trận & Thuật toán)} \longrightarrow \text{Chương 3 (Tổ hợp & Xác suất)} \longrightarrow \text{Chương 4 (Phương pháp tính)} \longrightarrow \text{Môn Cấu trúc dữ liệu và giải thuật}$$
Tài liệu cung cấp nền tảng tư duy toán học thực nghiệm vững chắc, phục vụ trực tiếp cho quá trình học tập các môđun chuyên môn nghề tiếp theo trong chương trình đào tạo Cao đẳng Quản trị mạng máy tính.
