Luận văn Phần mềm hỗ trợ dạy toán bất đẳng thức

umber 2 MaBT AutoNumber Mã bài tập Bài tập Bài giải Đáp án Sách bài tập Bài học KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 48 3 ThoiGian Number Thời gian tối đã cho phép để giải 4 DoKho Text Mức độ khó 5 DeBai Text Đề bài 6 TenBT Text Tên bài tập 7 GhiChu Memo BAIGIAI STT Thuộc tính Kiểu dữ liệu Diễn giải 1 MaBT Number 2 MaBG Text Mã bài giải do người dùng đặt 3 NoiDung Memo Nội dung bài giải 4 ThoiDiem DateTime Thời điểm bắt đầu giải 5 ThoiGian Number Thời gian để giải xong tính theo phút 6 HoanTat Yes/No Thụôc tính cho biết bài giải đã hoàn tất chưa 7 NhanXet Text Các đánh giá về bài giải (nếu có) 8 Diem Number Điểm số của bài giải (nếu có) 9 LoaiGiai Text Loại bài giải ( giải tự do hay theo đáp án) KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 49 DAPAN STT Thuộc tính Kiểu dữ liệu Diễn giải 1 MaBT Number 2 MaDA AutoNumber Mã số đáp án 3 NoiDung Memo Nội dung đáp án BAIHOC STT Thuộc tính Kiểu dữ liệu Diễn giải 1 MaBH AutoNumber Mã số của bài học 2 ChuDe Text Chủ đề bài học 3 NoiDung Memo Nội dung bài học Ngoài ra còn có thêm hai bảng phụ để chứa các tham số dùng trong chương trình và bảng chứa các biểu thức dương dùng để phát sinh bài tập. Bảng tham số STT Thuộc tính Kiểu dữ liệu Giá trị mặc định Diễn giải 1 TS1 Number 10 Thang điểm tối đa cho bài giải 2 TS2 Number 1 Số điểm cộng cho mỗi bất đẳng thức trung gian chứng minh xong 3 TS3 Number 0 Số điểm bị trừ cho một lần bị nhắc nhở 4 TS4 Number 0 Số điểm trừ cho một lần xem bước giải tiếp (đối với bài giải đáp án) KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 50 Bảng từ khoá STT Thuộc tính Kiểu dữ liệu Diễn giải 1 Loai Number Loại từ khoá 2 TuKhoa1 Text 3 TuKhoa2 Text Bảng BIEUTHUCDUONG STT Thuộc tính Kiểu dữ liệu Diễn giải 1 MaBT AutoNumber Mã số của biểu thức dương 2 BieuThucDuong Text Nội dung của biểu thức dương KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 51 II THIẾT KẾ CHI TIẾT Nội dung được trình bày ở phần này bao gồm: ™ Diễn giải chi tiết theo từng màn hình: mô tả chi tiết nội dung màn hình và các biến cố của màn hình ™ Hệ thống hàm của các lớp đối tượng: mô tả các hàm xử lí của tất cả các lớp đối tượng khác ™ Sơ đồ hoạt động chi tiết một số xử lý. 1 Diễn giải chi tiết theo từng màn hình Mỗi màn hình sẽ được mô tả chi tiết theo các nội dung sau - Nội dung màn hình ( các thuộc tính của màn hình) - Danh sách các biến cố xảy ra trên màn hình đó và thuật toán xử lý các biến cố đó. 1.1 MH_HeHocSinh 1.1.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 tabControlLopDoiTuong TabControl TabControl chứa các đối tượng chính 2 Panel Panel Khung để đặt các màn hình con lên, ví dụ như MH_GiaiBT… 3 tabPageSachBaiTap TabPage Tabpage chứa tất cả các bài tập của một sách bài tập KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 52 4 tabPageSachBaiHoc TabPage Tabpage chứa các bài học lý thuyết trong sách bài học 5 tabControlSachBaiTap TabPage Tabpage chứa tất cả các bài tập của một quyển sách bài tập 6 mainMenu MainMenu Thực đơn chính của màn hình phân hệ học sinh 7 mniChucNangPhu MenuItem Chứa các chức năng phụ của chương trình 8 mniGiupDo MenuItem Chức các chức năng hỗ trợ khác 9 mniCNP_Email MenuItem Chức năng Soạn quy định chấm điểm 10 mniThoat MenuItem Chức năng thoát chương trình 11 mniGD_HuongDan MenuItem Chức năng Hướng dẫn sử dụng chương trình 12 mniGD_GioiThieu MenuItem Chức năng giới thiệu về chương trình KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 53 Hình 20: Màn hình chính hệ học sinh 5 - tabControlSachBaiTap 2- panel : khung để đặt các màn hình con 3 - tabPageSachBaiTap 4 -tabPageSachBaiHoc 6 -mainMenu 1 -tabControlLopDoiTuong KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 54 1.1.2 Danh sách các biến cố STT Biến cố Diễn giải Hàm xử lý 1 Click chọn vào tab đối tượng Người dùng chọn loại đối tượng (bài tập hay lý thuyết) bằng cách click vào tab tương ứng tabControlDo iTuong_Selec tionChanged 2 Chọn sách bài tập khác Người dùng click chọn sách bài tập khác trong các tab Sách bài tập tabctrlSachB aiTap_Select ionChanged 3 Chọn chức năng giải bài tập Người dùng nhấp phải vào bài tập để chọn Giải bài tập ChonMucGiaiB aiTap 4 Chọn mục xem bài giải Người dùng nhấp phải vào bài tập để chọn Xem bài giải. Biến cố này do lớp CBaiTap xử lý. ChonMucXemBa iGiai 5 Chọn mục xem đáp án Người dùng nhấp chuột phải vào bài tập để chọn mục Xem đáp án.trọng thực đơn ChonMucXemDa pAn 6 Chọn mục thêm sách bài tập Người dùng nhấp phải trên danh sách các sách bài tập để chọn mục Thêm sách mới trong thực đơn KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 55 1.2 MH_GiaiBT 1.2.1 Nội dung màn hình ST T Thuộc tính Loại Diễn giải 1 rtbDeBai RichTextBox Dùng để hiển thị để bài tập đang giải 2 ckKiemTraTungBuoc Đánh dấu vào ô này để chọn chế độ giải kiểm tra từng bước. 3 ckDanhSoTuDong CheckBox Đánh dấu vào ô này để chọn chế độ đánh số bước giải tự động. 4 ckHoTroGiaiNhanh CheckBox Đánh dấu vào ô này để chọn chế độ hỗ trợ giải nhanh bằng cách phát sinh một phần bước giải 5 tabPageBaiGiaiTuDo TabPage TabPage chứa bài giải tự do 6 tabPageBaiGiaiDapAn TabPage TabPage chứa bài giải theo đáp án 7 rtbBaiGiaiTuDo HopVanBan HopVanBan là lớp kế thừa từ RichTextBox. Có hai hộp văn bản dùng để giải bài tương ứng với hai loại giải tự do và theo đáp án. 8 rtbBaiGiaiDapAn HopVanBan nt 9 lbDongHo Label Hiển thị đồng hồ canh giờ cho KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 56 học sinh giải bài tập 10 ckTrangThai CheckBox Nhấn vào nút này để bắt đầu giải hay tạm dừng. 11 ckXemGoiY CheckBox Người dùng check vào ô này nếu muốn hiển thị gợi ý cho bước giải tiếp theo trong đáp án 12 tbGoiY TextBox TextBox để hiển thị gợi ý cho bước giải tiếp theo trong đáp án 13 btnBuocGiaiTiep Button Nhấp vào nút này để hiển thị bước giải tiếp theo trong đáp án cho học sinh trong lúc giải bài. 14 btnQuayLui Button Nhấp vào nút này để quay lui một bước giải trước đó 15 btnKiemTraBaiBai Button Nhấp vào nút này để kiểm tra bài giải trong trường hợp người dùng không chọn kiểm tra từng bước . 16 btnKhung Button Các nút để tạo khung bước giải tương ứng KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 57 Hình 21: Màn hình giải bài tập 9 10 11 12 13 16 1 32 45 6 Editor để giải bài tập 14 15 7 8 KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 58 1.2.2 Danh sách các biến cố STT Biến cố Diễn giải Hàm xử lý 1 Click chuột vào điều khiển số 8 Người dùng nhấn vào đây để bắt đầu hay tạm ngưng việc giải. ckTrangThai_Ch eckedChanged 2 Chọn loại bài giải khác Người dùng nhấn chọn tab loại giải là giải tự do hay giải theo đáp án tabBaiGiai_Sel ectedIndexChan ged 4 Click vào điều khiển số 2 (ckKiemTraTungBu oc) Người dùng bật / tắt chế độ giải Kiểm tra từng bước ckKiemTraTungB uoc_CheckedCha nged 5 Click vào điều khiển số 10 (btnKiemTraBaiGiai ) Người dùng nhấn nút kiểm tra bài giải btnKiemTraBaiG iai_Click 6 Click vào điều khiển số 9 (btnQuayLui) Người dùng nhấn nút quay lui để quay lui về một bước giải trước btnQuayLui_Cli ck KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 59 7 Nhấn phím enter trong editor giải bài tập Người dùng nhấn Enter để sang bước giải mới sau khi kết thúc một bước giải. Biến cố này sẽ được xử lý trong trường hợp chế độ giải là Kiểm tra từng bước. rtbBaiGiai_Key Down Click vào điều khiển btnQuayLui Click chuột vào nút này hiển thị bước giải tiếp theo trong đáp btnBuocGiaiTie p_Click 8 Click chuột vào mục Lưu bài giải Người dùng nhấn phím phải chọn mục Lưu bài giải trong khi đang giải hoặc sau khi giải xong. mucLuuBaiGiai. Click 9 Click chọn mục Import bài giải Người dùng nhấn phải vào edior bài giải và chọn mục Import bài giải để import một bài giải từ file vào edior mucImportBaiGi ai.Click KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 60 10 Click chọn mục Import bài giải Người dùng nhấn phải vào edior bài giải và chọn mục Export bài giải để export một bài giải ra file mucExportBaiGi ai.Click 1.3 MH_XemBaiGiai 1.3.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 lvDSBaiGiai ListView ListView chứa danh sách các bài giải của bài tập được chọn. 2 rtbNoiDung RichTextBox Chứa nội dung của bài giải được chọn 3 rtbNhanXet RichTextBox Chứa nhận xét về bài giải 4 btnPrint Button Chức năng in bài giải ra giấy KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 61 Hình 22: Màn hình xem bài giải 1.3.2 Danh sách các biến cố STT Biến cố Diễn giải Hàm xử lý 1 Click chọn bài giải Người dùng click chọn bài giải cần xem trong lvDSBaiGiai lvDSBaiGiai_SelectedInd exChanged 2 Click chọn nút In Người dùng muốn in bài giải ra giấy btnPrint_Click 1-lvDSBaiGiai 2-rtbNoiDung 3-rtbNhanXet 4-btnPrint KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 62 1.4 MH_XemDapAn 1.4.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 lvDSDapAn ListView Listview chứa danh sách các đáp án của bài tập được chọn. 2 rtbNoiDung RichTextBox Chứa nội dung đáp án được chọn 3 btnPrint Button Chức năng in đáp án ra giấy Hình 23: Màn hình xem đáp án 1-lvDSDapAn 2-rtbNoiDung 3-btnPrint KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 63 1.4.2 Danh sách các biến cố STT Biến cố Diễn giải Hàm xử lý 1 Click chọn đáp án cần xem Người dùng click chọn đáp án cần xem trong lvDSDapAn lvDSDapAn_SelectedIn dexChanged 2 Click chọn nút In Người dùng muốn in đáp án ra giấy btnPrint_Click 1.5 MH_XemLyThuyet 1.5.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 rtbNoiDung RichTextBox Hiển thị nội dung bài học lý thuyết được chọn. 2 toolBarBaiHoc ToolBar Chứa các chức năng in ấn và import bài học lý thuyết. KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 64 Hình 24: Màn hình xem lý thuyết 1.5.2 Danh sách các biến cố STT Biến cố Diễn giải Xử lý 1 Nhấn nút In Người dùng muốn in bài học ra giấy toolBar1_ButtonClick 2- toolBarBaiHoc 1- rtbNoiDung KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 65 1.6 MH_HeGiaoVien 1.6.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 tabControlLopDoiTuong TabControl TabControl chứa các đối tượng chính 2 panel Panel Khung để đặt các màn hình con lên, ví dụ như MH_SoanBaiTap … 3 tabPageSachBaiTap TabPage Tabpage chứa tất cả các bài tập của một quyển sách bài tập 4 tabPageSachBaiHoc TabPage Tabpage chứa các bài học lý thuyết trong sách bài học 5 cmBaiHoc ContextMenu Thực đơn chứa các chức năng của đối tượng bài học 6 cmiBaiHoc_ChuongMoi MenuItem Mục thêm một chương bài học mới 7 cmiBaiHoc_SoanMoi MenuItem Mục thêm một bài học mới 8 cmBaiTap ContextMenu Thực đơn chứa các chức năng của bài tập, bao gồm: - Soạn đáp án - Thêm bài tập mới - Xóa bài tập. KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 66 9 mainMenu MainMenu Thực đơn chính của chương trình 10 mnChucNangPhu MenuItem Chứa các chức năng phụ của chương trình 11 mnCNP_Email MenuItem Chức năng liên lạc qua email 12 mnCNP_SoanQDCD MenuItem Chức năng Soạn quy định chấm điểm 13 mnThoat MenuItem Chức năng thoát chương trình 14 mnGiupDo MenuItem Chức các chức năng hỗ trợ khác 15 mnGD_HuongDan MenuItem Chức năng Hướng dẫn 16 mnGD_GioiThieu MenuItem Chức năng Giới thiêu về chương trình. KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 67 Hình 25: Màn hình chính hệ giáo viên 1.6.2 Danh sách các biến cố STT Biến cố Diễn giải Hàm xử lý 1 Clich chọn tab đối tượng Người dùng chọn loại đối tượng (bài học hoặc lý thuyết) bằng cách click vào tab tương ứng tabControlLopD oiTuong_Select edIndexChanged 2 Click chọn tab Sách bài tập Người dùng click chọn bài tập trong tab Sách bài tập tabctrlSachBai Tap_SelectedIn dexChanged 2- panel: khung đặt màn hình con 1-tabControlLopDoiTuong 3- tabPageSacBaiTap 4- tabPageSacBaiHoc 9- mainMenu KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 68 3 Click vào mục Soạn mới bài học. Người dùng click phải vào phần màn hình thể hiện sách bài học và chọn mục Soạn mới bài học trong thực đơn mniBaiHoc_Soan Moi_Click 4 Click vào mục Soạn đáp án Người dùng click phải vào một bài tập và chọn mục Soạn đáp án trong thực đơn mniBaiTap_Soan DapAn_Click 5 Click vào mục Thêm bài tập mới. Người dùng click phải vào phần màn hình thể hiện sách bài tập và chọn mục Thêm mới bài tập trong thực đơn mniBaiTap_Them _Click 6 Click vào mục Thêm sách mới Người dùng nhấp phải trên danh sách các sách bài tập và chọn mục Thêm sách mới mniThemSachBT_ Click 1.7 MH_SoanLyThuyet 1.7.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 toolBarDinhDang ToolBar Thanh công cụ để định dạng văn bản lý thuyết 2 rtbLyThuyet RichTextBox Đây là một hộp văn bản để giáo viên soạn lý thuyết vào. 3 cmSoanLyThuyet ContextMenu Chứa các chức năng in ấn, export bài học KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 69 Hình 26: Màn hình soạn lý thuyết 1.7.2 Danh sách các biến cố STT Biến cố Diễn giải Xử lý 1 Chọn mục lưu bài soan Chọn mục Lưu bài học vừa soạn cmiLuuBaiSoan_Click 2 Chọn mục export bài soạn Chọn mục Export bài học cmiExport_Click 3 Chọn mục in bài soạn In bài soạn ra giấy cmiIn_Click 1-toolBarDinhDang 2- rtbLyThuyet 3- cmSoanLyThuyet KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 70 4 Chọn mục đọc từ file Đọc file bài học có sẵn từ file cmiDocFile_Click 1.8 MH_SoanBaiTap 1.8.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 cbDoKho ComboBox Mức độ khó của một bài tập 2 txtThoiGianLamBai TextBox Thời gian được tính bằng phút 3 txtDeBai TextBox Nội dung của đề bài 4 btnDocFile Button Đọc đề bài từ file 5 btnLuuBT Button Lưu bài tập lên CSDL 6 btnExport Button Export bài tập ra file 7 btnPhatSinh Button Phát sinh đề bài 8 cmBaiTap ContextMenu Thực đơn chứa các mục : - Đọc từ file - Lưu bài soạn - Export KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 71 Hình 27: Màn hình soạn bài tập 1.8.2 Danh sách các biến cố STT Biến cố Diễn giải Xử lý 1 Chọn mục Export bài tập 2 Click button Export cmiExport_Click 3 Chọn mục Lưu bài tập Chọn mục Lưu bài tập mới soạn 4 Click button Luu cmiLuuBT_Click 2-txtThoiGianLamBai 3- txtDeBai 4- btnDocFile 5- btnExport 6- btnLuu 1- cbDoKho 8- cmBaiTap 7- btnPhatSinh KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 72 5 Chọn độ khó của bài tập soạn Chọn độ khó của bài tập cbDoKho_SelectionC hangeCommitted 6 Gõ vào nội dung đề bài Nội dung đề bài thay đổi txtDeBai_KeyPress 7 Gõ vào ô thời gian làm bài Thời gian làm bài đã thay đổi txtThoiGianLamBai_ KeyDown 8 Chọn mục Đọc file đề bài Thay vì phải gõ ta chọn đọc từ một file đề bài tập có sẵn 9 Click button Đọc file Đọc bài tập từ file cmiExport_Click 10 Click button Phát sinh đề Phát sinh đề bài tập btnPhatSinhDe_Clic k 1.9 MH_SoanDapAn 1.9.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 txtDeBai TextBox Đề bài tập 2 txtDapAn TextBox Bài giải đáp án 3 lvDapAn ListView Danh sách các đáp án của bài tập 4 Các btnKhungBuocGiai Button Chứa khung của các loại bước giải KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 73 5 cmDapAn ContextMe nu Thực đơn chứa các mục: - Nhập đáp án từ file - Thêm đáp án mới - Lưu đáp án - In - Export 6 btnQuayLui Button Chức năng quay lui một bước giải Hình 28: Màn hình soạn đáp án KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 74 1.9.2 Danh sách các biến cố STT Biến cố Diễn giải Xử lý 1 Chọn mục Export đáp án Người dùng muốn export đáp án ra file cmiExport_Click 2 Chọn mục In Người dùng muốn in đáp án ra giấy cmiIn_Click 3 Chọn mục Lưu bài soạn Người dùng nhấp phải chọn Lưu bài soạn cmiLuuBaiSoan_Click 4 Chọn mục Thêm đáp án mới Người dùng muốn thêm một đáp án mới của bài tập cmiThemMoi_Click 5 Chọn mục Nhập từ file Người dùng muốn nhập đáp án từ file cmiNhapTuFile_Click 6 Click chọn nút Quay lui Người dùng muốn quay lại bước giải trước đó btnQuayLui_Click 7 Nhấn phím trong txtDapAn Người dùng gõ vào txtDapAn txtDapAn_KeyPress KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 75 1.10 MH_SoanQDCD 1.10.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 Các label Label 2 txtDiemToiDa TextBox Điểm tối đa của một bài giải 3 txtDiemCongBDTTG TextBox Điểm cộng cho việc chứng minh một bất đẳng thức trung gian 4 txtDiemTruBDSai TextBox Điểm trừ cho một biến đổi sai 5 txtDiemTruXemBG TextBox Điểm trừ một lần xem bước giải tiếp 6 btnExport Button Export quy định ra file để gửi cho phân hệ học sinh 7 btnKetThuc Button Nhấn nút này để kết thúc soạn 8 Các groupbox để gom nhóm KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 76 Hình 29: Màn hình soạn quy định chấm điểm 1.10.2 Danh sách các biến cố STT Biến cố Diễn giải Xử lý 1 Click vào nút Kết thúc Chọn chức năng thoát btnKetThuc_Click 2 Click vào nút Export Chọn chức năng export quy định ra file btnExport_Click 3 Gõ vào txtDiemToiDa Gõ vào điểm tối đa txtDiemToiDa_KeyPres s 4 Gõ vào txtĐiemCongB DTTG Gõ vào điểm cộng cho một bất đẳng thức trung gian txtDiemCongBDTTG_Key Press 5 Gõ vào txtDiemTruBD Sai Gõ vào điểm trừ cho một biến đổi sai txtDiemTruBDSai_KeyP ress KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 77 6 Gõ vào txtDiemTruXe mBG Gõ vào điểm trừ cho một lần xem bước giải tiếp txtDiemTruXemBG_KeyP ress 7 Di chuột trên btnExport btnExport_MouseHover 1.11 MH_ThemSachBT 1.11.1 Nội dung màn hình STT Thuộc tính Loại Diễn giải 1 lbTenSachDeBai Label 2 txtTenSach TextBox Ô để gõ vào tên sách mới 3 btnThem Button Nhấn nút này để cập nhật sách mới 4 btnKetThuc Button Nhấn nút này để kết thúc thêm sách. Hình 30: Màn hình thêm sách bài tập KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 78 1.11.2 Danh sách các biến cố STT Biến cố Diễn giải Xử lý 1 Click vào nút Kết thúc Click vào button Kết thúc btnKetThuc_Click 2 Click vào nút Thêm Click vào button Thêm btnThem_Click 2 Hệ thống hàm của các lớp đối tượng Các lớp đối tượng của chương trình được chia làm ba loại: - Loại 1:dùng chung cho cả hai phân hệ người dùng. - Loại 2: bao gồm những hàm dành riêng cho phân hệ học sinh - Loại 3: .bao gồm những hàm dành riêng cho phân hệ giáo viên 2.1 Các lớp dùng chung 2.1.1 Đối tượng xử lý chính 2.1.1.1 CBaiGiai STT Hàm xử lý Ý nghĩa 1 KhaiBaoBienCo() Khai báo các biến cố cho Edior đề giải bài tập 2 KhaiBaoBienCoThucDon() Khai báo các biến cố của thực đơn các chức năng cảu bài giải 3 KiemTraBuocGiaiMoi() Kiểm tra một bước giải mới được KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 79 nhập vào 4 LayBuocGiaiTruoc() Lấy bước giải trước bước giải hiện hành 5 LayThuTuBuocGiaiDanhSo () Lấy thứ tự của một bước giải được đánh số nào đó trong bài giải 6 LayBuocGiaiDanhSo() Lấy bước giải được đánh số 7 XuLiBuocGiai() Xử lí một bước giải mới đựơc nhập vào 8 XuLiBuocGiaiDung() Các xử lí tương ứng nếu bước giải là đúng 9 LaySoBuocGiai() Lấy số bước giải hiện thời của bài giải 10 ChamDiem() Chấm điểm tự động cho bài giải 11 KetThucBaiGiai() Các xử lý tương ứng khi có biến cố kết thúc bài giải 12 ThemBuocGiai Thêm bước giải mới vào bài giải 13 XoaBuocGiai() Xóa bước giải ở một vị trí nào đó trong bài giải 14 DanhSoBuocGiai Đánh số cho một bứơc giải nào đó. Qui ước đánh số theo thứ tự tăng dần 15 QuayLui(int) Quay lui một số bước nào đó trong bài giải 16 LuuBaiGiai() Lưu bài giải vào cơ sở dữ liệu 17 ChonMucLuuBaiGiai Hàm xử lí cho biến cố chọn chức năng lưu bài giải KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 80 18 ChonMucImportBaiGiai() Hàm xử lí cho biến cố chọn chức năng import bài giải 19 ChonMucExportBaiGiai() Hàm xử lí cho biến cố chọn chức năng export bài giải 2.1.1.2 Lớp CBieuThuc STT Hàm xử lý Ý nghĩa 1 PhanTich(string) Phân tích một chuỗi truyền vào theo dạng biểu thức 2 BangNhau(CBieuThuc) So sánh biểu thức với một biểu thức khác 3 DoiNhau(CBieuThuc) Kiểm tra 2 biểu thức có đối nhau 4 ChuyenThanhTongToiGia n() Chuyển một biểu thức bất kỳ thành dạng tổng tối giản (1) 5 ChuyenThanhPhanThuc() Chuyển biểu thức đang xét thành phân thức 6 ChuyenThanhBieuThucTi ch() Chuyển biểu thức đang xét thành biểu thức tích 7 LuyThua(int) Lũy thừa biểu thức theo một số mũ nào đó 8 DoiDauBieuThuc() Đổi dấu của biểu thức 9 NghichDao() Lấy nghịch đảo của biểu thức 10 Cong(CBieuThuc) Cộng biểu thức với một biểu thức khác 11 Tru(CBieuThuc) Trừ biểu thức cho một biểu thức khác KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 81 12 Nhan(CBieuThuc) Nhân biểu thức với một biểu thức 13 Chia(CBieuThuc) Chia biểu thức cho một biểu thức 14 XetDau() Xét dấu của biểu thức 15 NhanDonGian() 16 NhanKhaiTrien(CbieuTh uc) Nhân và khai triển biểu thức đang xét với một biểu thức khác 17 RutGonBieuThuc() Rút gọn biểu thức 18 SapXepBieuThuc() Sắp xếp biểu thức theo thứ tự quy ước 19 BoPhanTuThua() Bỏ các phần tử thừa trong biểu thức Vd : a+b+0 Æ a+b 20 LayChuoi() Lấy biểu thức dưới dạng chuỗi 21 SoSanhThuTu(CBieuThuc ) So sánh thứ tự của hai biểu thức theo chuẩn đã qui ước 22 ThuTuSap() Trả về một thứ tự cuả biểu thức trong bảng thứ tự qui ước 23 ChiaBT(CBieuThuc) Thực hiện phép chia theo nguyên tắc chia đa thức đối với một biểu thức đã được chuyển thành tổng tối giản Ghi chú: (1) : một biểu thức dạng tổng tối giản khi nó đã được khai triển đến mức tối đa KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 82 2.1.1.3 Lớp CBatDangThuc STT Hàm xử lý Ý nghĩa 1 KhoiTao(string) Khởi tao bất đẳng thức từ một chuỗi truyền vào 2 TuongDuong(CBatDangThuc) Kiểm tra bất đẳng thức đang xét có tương đương với một bất đẳng thức khác không 3 LaBatDangThucDung() Kiểm tra bất đẳng thức đang xét có phải là một bất đẳng thức đúng 4 CongVeTheoVe(CBatDangThuc) Cộng vế theo vế bất đẳng thức đang xét với một bất đẳng thức khác 5 NhanVeTheoVe(CBatDangThuc) Nhân vế theo vế bất đẳng thức đang xét với một bất đẳng thức khác 6 DoiChieu() Đổi chiều bất đẳng thức 7 DoiDauVaChieu() Đổi dấu và chiều của bất đẳng thức 8 SuyRaDuocTu(CBatDangThuc) Kiểm tra bất đẳng thức đang xét có thể suy ra được từ một bất đẳng thức khác KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 83 hay không 9 BacCau(CBatDangThuc) Tạo một bất đẳng thức mới ( nếu có thể) từ 2 bất đẳng thức bằng cách dựa vào tính chất bắc cầu Vd : a>b & b>c Æ a>c 10 ThoaTinhBacCau(CBatDangThuc ) Kiểm tra xem có thể áp dụng tính bắc cầu cho 2 bất đẳng thức không 11 TuongUng(CBatDangThuc) Kiểm tra bất đẳng thức đang xét có giống với một bất đẳng thức khác 12 ThayTheBieuThuc(CBieuThuc,C BieuThuc) Thay thế một biểu thức con xuất hiện trong bất đẳng thức bởi một biểu thức khác 2.1.1.4 Lớp CBuocGiai STT Hàm xử lý Ý nghĩa Ghi chú 1 KhoiTao(string) Khởi tao bước giải từ một chuỗi truyền vào 2 LayBatDangThuc() Lấy bất đẳng thức trong bước giải KH OA C NT T – Đ H KH TN Phần mềm hỗ trợ giải toán bất đẳng thức 84 3 KiemTraBuocGiai() Kiểm tra bước giải đang xét có phải là bước giải đúng Đây là hàm ảo, sẽ được cài trễ ở các lớp tương ứng của mỗi loại bước giải 2.1.2 Các lớp phụ (hỗ trợ xử lý) 2.1.2.1