ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC SƢ PHẠM NGUYỄN THỊ CHUNG DẠY HỌC LOGIC TỐN THEO HƢỚNG GĨP PHẦN PHÁT TRIỂN NĂNG LỰC SỬ DỤNG NGƠN NGỮ TỐN HỌC CHO SINH VIÊN SƢ PHẠM TOÁN LUẬN ÁN TIẾN SĨ KHOA HỌC GIÁO DỤC THÁI NGUYÊN - 2020 ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC SƢ PHẠM NGUYỄN THỊ CHUNG DẠY HỌC LOGIC TỐN THEO HƢỚNG GĨP PHẦN PHÁT TRIỂN NĂNG LỰC SỬ DỤNG NGƠN NGỮ TỐN HỌC CHO SINH VIÊN SƢ PHẠM TOÁN NGÀNH: LÝ LUẬN VÀ PHƢƠNG PHÁP DẠY HỌC BỘ MƠN TỐN HỌC Mà SỐ: 14 01 11 LUẬN ÁN TIẾN SĨ KHOA HỌC GIÁO DỤC Ngƣời hƣớng dẫn khoa học: PGS.TS Vũ Quốc Chung TS Bùi Thị Hạnh Lâm THÁI NGUYÊN - 2020 i LỜI CAM ĐOAN Tác giả xin cam đoan luận án“Dạy học Logic tốn theo hướng góp phần phát triển lực sử dụng ngơn ngữ tốn học cho sinh viên sư phạm Tốn” cơng trình nghiên cứu riêng tác giả Các kết nghiên cứu số liệu nêu luận án hoàn toàn trung thực chưa công bố cơng trình khác trước Thái Ngun, ngày 28 tháng năm 2020 Tác giả luận án Nguyễn Thị Chung ii LỜI CẢM ƠN Tác giả luận án xin bày tỏ tình cảm lịng biết ơn sâu sắc tới PGS.TS Vũ Quốc Chung, TS Bùi Thị Hạnh Lâm - Thầy Cô hướng dẫn giúp đỡ suốt q trình học tập, nghiên cứu để hồn thành luận án Tác giả trân trọng cảm ơn Ban Giám hiệu Trường Đại học Sư phạm - ĐHTN, Ban chủ nhiệm Khoa Tốn, Phịng ban chức tạo điều kiện thuận lợi cho suốt trình học tập, nghiên cứu để hồn thành luận án Tác giả trân trọng cảm ơn Ban Giám hiệu, Ban chủ nhiệm Khoa Tốn, phịng ban chức đồng nghiệp trường Đại học Hải Phòng cho phép, tạo điều kiện động viên suốt thời gian học tập nghiên cứu Tác giả xin trân trọng cảm ơn nhà khoa học, bạn đồng nghiệp, em sinh viên số trường Đại học Thầy cô giáo số trường phổ thông giúp đỡ cộng tác với tơi q trình điều tra, đánh giá thực nghiệm khoa học vấn đề liên quan đến luận án Tác giả Nguyễn Thị Chung iii MỤC LỤC Lời cam đoan i Lời cảm ơn ii Mục lục iii Những từ viết tắt sử dụng luận án vii Danh mục bảng viii Danh mục hình, biểu đồ sơ đồ ix MỞ ĐẦU 1 Lý chọn đề tài Mục đích nghiên cứu Đối tượng khách thể nghiên cứu 4 Những câu hỏi nghiên cứu Giả thuyết khoa học Nhiệm vụ nghiên cứu Phạm vi nghiên cứu đề tài Phương pháp nghiên cứu Những luận điểm cần đưa bảo vệ 10 Những đóng góp luận án 11 Cấu trúc luận án Chƣơng 1: CƠ SỞ LÝ LUẬN VÀ THỰC TIỄN 1.1 Tổng quan nghiên cứu ngơn ngữ tốn học lực sử dụng ngơn ngữ tốn học 1.1.1 Tổng quan nghiên cứu ngơn ngữ tốn học 1.1.2 Tổng quan nghiên cứu lực sử dụng ngơn ngữ tốn học 1.2 Năng lực lực nghề nghiệp giáo viên 14 1.2.1 Quan niệm lực 14 1.2.2 NL nghề nghiệp giáo viên 15 1.2.3 Chuẩn nghề nghiệp giáo viên Tốn khu vực Đơng Nam Á (SEARS - MT) 16 1.2.4 Chuẩn đầu cử nhân sư phạm Toán 17 1.3 Ngơn ngữ tốn học 23 iv 1.3.1 Quan niệm ngơn ngữ tốn học 23 1.3.2 Chức ngơn ngữ tốn học 25 1.3.3 Đặc điểm ngơn ngữ tốn học 29 1.4 Năng lực sử dụng ngôn ngữ toán học sinh viên sư phạm Toán 31 1.4.1 Năng lực sử dụng ngơn ngữ tốn học 31 1.4.2 Năng lực sử dụng ngơn ngữ tốn học sinh viên sư phạm Toán 33 1.5 Tiềm phát triển lực sử dụng ngơn ngữ tốn học cho sinh viên sư phạm Tốn thơng qua dạy học Logic toán 48 1.5.1 Một số nội dung Logic tốn phát triển lực sử dụng ngơn ngữ tốn học cho sinh viên sưu phạm Toán 48 1.5.2 Cơ hội phát triển lực sử dụng ngơn ngữ tốn học cho sinh viên sư phạm Toán qua dạy học Logic toán 51 1.6 Thực trạng dạy học Logic toán trường Đại học với việc phát triển lực sử dụng ngôn ngữ toán học cho sinh viên sư phạm Toán 58 1.6.1 Mục đích khảo sát 58 1.6.2 Đối tượng khảo sát 58 1.6.3 Thời gian, địa điểm khảo sát 60 1.6.4 Nội dung khảo sát 60 1.6.5 Phương pháp khảo sát 60 1.6.6 Kết khảo sát phân tích 61 1.7 Kết luận chương 69 Chƣơng 2: CÁC BIỆN PHÁP SƢ PHẠM GÓP PHẦN PHÁT TRIỂN NĂNG LỰC SỬ DỤNG NGƠN NGỮ TỐN HỌC CHO SINH VIÊN SƢ PHẠM TỐN THƠNG QUA DẠY HỌC LOGIC TỐN 71 2.1 Định hướng xây dựng biện pháp phát triển lực sử dụng ngôn ngữ tốn học cho sinh viên sư phạm Tốn thơng qua dạy học Logic toán 71 2.1.1 Định hướng 71 2.1.2 Định hướng 71 2.1.3 Định hướng 71 2.1.4 Định hướng 71 2.1.5 Định hướng 72 v 2.2 Các biện pháp góp phần phát triển lực sử dụng ngơn ngữ tốn học cho sinh viên sư phạmToán 72 2.2.1 Biện pháp 1: Thiết kế tình để tạo hội cho snh viên sư phạm Tốn tích cực nhận thức thơng qua tự phát vấn đề, tự giải vấn đề, lĩnh hội sử dụng phù hợp ngơn ngữ tốn học dạy học Logic toán 72 2.2.2 Biện pháp 2: Rèn luyện cho sinh viên sư phạm Toán sử dụng biểu diễn toán học phương diện ngữ nghĩa cú pháp chuyển đổi từ ngơn ngữ tự nhiên sang ngơn ngữ tốn học ngược lại dạy học Logic toán 87 2.2.3 Biện pháp 3: Rèn luyện cho sinh viên sư phạm Tốn hoạt động sử dụng ngơn ngữ tốn học suy luận học Toán, dạy Toán, nghiên cứu Tốn thơng qua dạy học Logic tốn…………………………………………………… ………… 96 2.2.4 Biện pháp 4: Khai thác bổ sung hệ thống tập giáo trình Logic tốn để tổ chức học tập cho sinh viên sư phạm Toán 109 2.2.5 Biện pháp 5: Tập luyện cho sinh viên sư phạm Toán cách đánh giá lực sử dụng ngơn ngữ tốn học thân học sinh 118 2.3 Kết luận chương 129 Chƣơng 3: THỰC NGHIỆM SƢ PHẠM 131 3.1 Mục đích, yêu cầu, nội dung thực nghiệm 131 3.1.1 Mục đích thực nghiệm 131 3.1.2 Yêu cầu thực nghiệm 131 3.1.3 Nhiệm vụ thực nghiệm 131 3.1.4 Nội dung thực nghiệm 131 3.2 Thời gian, đối tượng, quy trình, phương pháp đánh giá kết thực nghiệm 132 3.2.1 Thời gian, đối tượng thực nghiệm: Căn vào yêu cầu luận án, tiến hành thực nghiệm gồm đợt sau: 132 3.2.2 Qui trình, cách thức triển khai nội dung thực nghiệm 132 3.2.3 Những lưu ý thực nghiệm 133 3.2.4 Phương pháp đánh giá kết đợt thực nghiệm 133 3.3 Tiến trình thực nghiệm sư phạm 136 3.3.1 Thực nghiệm nội dung 136 vi 3.3.2 Nội dung 2: Tổ chức seminar, thảo luận nhóm chủ đề khai thác nội dung học phần Logic tốn nhằm góp phần phát triển lực sử dụng ngơn ngữ tốn học cho sinh viên sư phạmToán Thời gian cuối học kỳ I, năm học 2017 - 2018 142 3.3.3 Nội dung 3: Hướng dẫn đề tài nghiên cứu khoa học cho số sinh viên lớp dạy thực nghiệm theo hướng góp phần phát triển lực sử dụng ngơn ngữ toán học cho sinh viên sư phạm Toán 144 3.4 Kết luận thực nghiệm 146 KẾT LUẬN VÀ KHUYẾN NGHỊ 147 CÁC CÔNG TRÌNH NGHIÊN CỨU CỦA TÁC GIẢ LIÊN QUAN ĐẾN LUẬN ÁN Đà CÔNG BỐ 149 TÀI LIỆU THAM KHẢO 150 PHỤ LỤC vii DANH MỤC CÁC CHỮ VIẾT TẮT VIẾT TẮT BDTH BPT CĐR CNTT DH ĐC ĐH ĐT ĐHSP GTTH GV GD HĐ HS HT MĐ MP ND NCKH NL NN NNTH NNTN NXB PP PPDH PT SGK SV SP TBN THPT TN TT TS TH VIẾT ĐẦY ĐỦ Biểu diễn tốn học Bất phương trình Chuẩn đầu Công nghệ thông tin Dạy học Đối chứng Đại học Đào tạo Đại học Sư phạm Giao tiếp toán học Giảng viên Giáo dục Hoạt động Học sinh Học tập Mức độ Mặt phẳng Nội dung Nghiên cứu khoa học Năng lực Ngơn ngữ Ngơn ngữ tốn học Ngơn ngữ tự nhiên Nhà xuất Phương pháp Phương pháp DH Phương trình Sách giáo khoa Sinh viên Sư phạm Trung bình nhân Trung học phổ thơng Thực nghiệm Thành tố Tiến sĩ Trường hợp viii DANH MỤC CÁC BẢNG Bảng 1.1: Các tiêu chí báo NL sử dụng NNTH SVSP Toán 43 Bảng 1.2: Đối tượng GV dạy Toán trường Đại học tham gia khảo sát 59 Bảng 1.3: Đối tượng giáo viên toán THPT tham gia khảo sát 59 Bảng 1.4: Đối tượng SVSP Toán năm thứ trường ĐH khảo sát mức độ sử dụng NNTH 59 Bảng 1.5: Kết khảo sát ý kiến giảng viên Toán hội phát triển NNTH cho SVSP Toán tài liệu liên quan đến Logic toán 61 Bảng 1.6: Kết khảo sát ý kiến giảng viên dạy Toán trường Đại học mức độ sử dụng NNTH SVSP Toán năm thứ 63 Bảng 1.7: Kết khảo sát ý kiến giảng viên trường ĐH, giáo viên Toán THPT thành tố lực sử dụng NNTH SVSP Toán 64 Bảng 1.8: Kết khảo sát GV giáo viên Toán THPT dự kiến số biện pháp cần thực DH Logic toán trường ĐH theo hướng phát triển NL sử dụng NNTH cho SVSP Toán 65 Bảng 1.9: Kết khảo sát tự đánh giá SVSP Toán số kĩ sử dụng NNTH DH logic Toán 66 Bảng 3.1: Bảng phân bố tần số điểm kiểm tra lớp TN lớp ĐC 138 Bảng 3.2: Bảng phân bố tần suất điểm kiểm tra lớp TN ĐC 138 Bảng 3.3: Bảng phân bố tần số điểm kiểm tra lớp TN lớp ĐC 141 Bảng 3.4: Bảng phân bố tần suất điểm kiểm tra lớp TN ĐC 141 Bảng 3.5: Bảng phân bố tần số điểm kiểm tra trước sau TN 143 PL.79 4) Hoạt động nhóm Sau SVSP Toán tự học chuyên đề Trong buổi thảo luận, seminar, GV chia lớp thành nhóm, nhóm có 11 SV thực nhiệm vụ sau: Nhiệm vụ 1: Phát biểu NN thân khái niệm mệnh đề, mệnh đề chứa biến Nhiệm vụ 2: Trình bày hướng phát triển tư logic cho HS Nhiệm vụ 3: Trình bày lời giải ví dụ đọc GV u cầu nhóm lên trình bày nội dung Các SV nhóm khác góp ý mặt sử dụng NNTH: Thuật ngữ, kí hiệu, cách diễn đạt GV nhận xét chung ưu điểm nhược điểm nhóm SV, đánh giá mức độ sử dụng NNTH nhóm: Sau đậy kết thực báo cáo SVSP Tốn ĐH Hải phịng K16, buổi tự học GV theo dõi đánh giá kết SV - Khi nhóm trình bày, nhóm khác nghe góp ý đánh giá kết quả: Ưu điểm: Viết kí hiệu đúng, diễn đạt rõ ràng khái niệm mệnh đè, hàm mệnh đề, biết kết hợp nhuần nhuyễn NNTN NNTH Nhược điểm: Nhóm cần ý lấy thêm ví dụ minh họa GV đánh giá mức độ đạt sử dung NNTH nhóm 1: Đạt mức độ - Khi nhóm trình bày, nhóm khác nghe góp ý đánh giá: Ưu điểm: Nhóm trình bày hướng để phát triển tư logic cho HS Khi trình bày SV biết kết hợp NNTN, NNTH cách nhuần nhuyễn hinh xác Nhược điểm: Nên bổ sung thêm ví dụ minh họa GV đánh giá mức độ đạt sử dụng NNTH nhóm 2: Đạt mức độ - Khi nhóm trình bày giải thích, nhóm khác nghe góp ý đánh giá: Ưu điểm: SV thục giải tốn đắn, trình bày ngằn gọn lơgic, lập luận chặt chẽ, sử dụng kí hiệu tương đối xác phù hợp SV đưa phương án giải tối ưu cho tập GV đánh giá mức độ đạt sử dụng NNTH nhóm 2: Đạt mức độ PL.80 PHỤ LỤC 17 SVSP Tốn khảo sát kĩ sử dụng xác ngơn ngữ tốn học HS lớp 10 A Phần trắc nghiệm (6.0 điểm) Câu Phương trình m2 x2  2(m  1) x   có nghiệm kép khi: A m  ; B m = C m  ; m  0 D m  x2  x  m   Tìm m để phương trình có hai nghiệm Câu 2: Cho phương trình x2 phân biệt: m  m  A  B m  x  C  m2 D m  Câu 3: Điều kiện xác định phương trình x2  x   3x   x  là: A x2 B x2 C x2 D x2 Câu Cho phương trình 2x - (2m - 1)x + 2m - = 0, (*) (với m tham số) Phương trình (*) có hai nghiệm phân biệt Khi tất giá trị tham số m tìm là: A m ¹ B m = C m > D m < Câu Cho phương trình x4  x2  m   Tìm m để phương trình có bốn nghiệm phân biệt: A 1 m  B  m C m5 D m5 Câu Cho phương trình x2  13x   có hai nghiệm x1, x2 Giá trị x12  x2 bằng: A 182 B 184 C 183 B Phần tự luận (4.0 điểm) Bài (2,0 điểm) Tìm điều kiện m để phương trình sau có nghiệm: x  mx  x   Bài (2,0 điểm) Giải biện luận phương trình với m2 x   x   m  1 m tham số D 185 PL.81 SVSP Tốn phân tích đồng thời đánh giá sơ chất lượng làm HS sau: Trước hết, tất câu đề kiểm không phức tạp mặt tính tốn Nói cách khác, HS xác định hướng giải chắn đến kết cách dễ dàng Điều cho thấy đề kiểm tra thiên việc “khảo sát” tư sử dung NNTH kỹ thuật tính tốn Mặt khác, nhiều câu chứa đựng tình dễ mắc sai lầm mặt lập luận logic mặt NN Bài 1: Tìm m để PT: x2  mx  x  có nghiệm Dụng ý tập kiểm tra khả biến đổi tương đương Mặc dù PT không tương đương với x2  mx   Nếu HS quan niệm rằng: x2  mx  x   x2  mx   đáp số “ngẫu nhiên” Đa số HS lớp ĐC tìm đáp án theo cách “ngẫu nhiên” Sự “ngẫu nhiên” chỗ: Đáng phải nói PT ban đầu có nghiệm PT x2  mx   có nghiệm x thỏa mãn điều kiện x  , HS nói PT x2  mx   có nghiệm Khi PT x2  mx   có nghiệm, nghiệm thỏa mãn điều kiện x  (HS dễ thấy điều qua định lý Viet) Nhiều HS lớp TN giải câu với lập luận chặt chẽ, suy luận hợp logic Bài 2: Với dụng ý kiểm tra khả lập luận logic HS cần biện luận đủ ba trường hợp PT bậc có chứa tham số Nhiều HS quan tâm đến việc xét dấu biệt thức  , mà quên đặt điều kiện để PT PT bậc Qua phân tích sơ thấy rằng, đề kiểm tra đợt TN thể dụng ý: khảo sát khả lập luận suy luận logic, khả sử dụng xác kí hiệu cú pháp, ngữ nghĩa giải phương trình HS lớp 10 THPT PL.82 PHỤ LỤC 18 (Giảng viên hƣớng dẫn SVSP khai thác sử dụng phần mềm iMindMap thiết kế đồ tƣ Ôn tập mạch kiến thức chƣơng logic mệnh đề) Các bước sau: Bƣớc 1: Xác định kiến thức trọng tâm chương: Bƣớc 2: Cài đặt sử dụng phần mềm iMindMap vẽ sơ đồ tư duy: + Tải cài đặt phần mềm iMindMap (hình 2.5) Hình 2.5 Hƣớng dẫn tải phần mềm iMindMap + Xem hướng dẫn sử dụng phần mềm iMindMap (hình 2.6) PL.83 Hình 2.6 Hƣớng dẫn sử dụng phần mềm + Thiết kế đồ tư duy: Một sơ đồ tư dạng đơn giản tạo theo nguyên tắc phát triển ý (dạng cây): từ chủ đề tạo nhiều nhánh lớn, từ nhánh lớn lại tỏa nhiều nhánh nhỏ mở rộng vơ tận (hình 2.7) PL.84 Hình 2.7 Thiết kế đồ tƣ Bƣớc 3: Xuất file iMindMap Power Point (Sử dụng hiệu ứng trình chiếu) Khi hồn thiện đồ tư cần liên kết với Power Point để thực trình chiếu ta cần làm qua thao tác sau (hình 2.8): PL.85 Hình 2.8 Minh họa thao tác thực trình chiếu đồ tƣ + Kích chuột vào file  Export  Interactive Presentation  Export + Đặt tên file lưu vào thư mục định trước (hình 2.9) Hình 2.9 Đặt tên file lƣu vào thƣ mục định trƣớc PL.86 PHỤ LỤC 19 Nội dung seminar:“Vận dụng kiển thức Logic tốn, sinh viên phân tích sai lầm HS tình sau mặt lập luận toán học suy luận logic, nêu biện pháp khắc phục trình bày lời giải đúng” Tình 1: Xét xem suy luận lời giải sau hợp logic không? Hãy đưa lời giải cho tốn Chứng minh x  1 xe x   e  x  1  xe x  e1  xe x   e e  e Lời giải HS sau: Ta có:  x 1 SVSP nhận xét nguyên nhân dẫn đến lời giải sai: Do nhân vế tương ứng hai bất đẳng thức chiều (nhưng không tương đương) Cách khắc phục: Yêu cầu HS xem lại sở dẫn đến phép suy luận:  x  1  xe x  e1  x 1 e  e Lời giải đúng: HS cần thực HĐ sau Xét hàm số f ( x)  xe x với x  - Cho f , (x)  xe x  e x  f , (x)   x  1 HS cần lập bảng biểu diễn biến thiên hàm số: Quan sát bảng biến thiên, HS rút nhận xét: với x  1 f ( x)  f (1) hay xe x   e Tình 2: Tìm chỗ sai nguyên nhân trình suy luận sau đây: Xuất phát từ đẳng thức đúng: sin 300  sin 300 (1) Lấy lôgarit số 10 hai vế: lg(sin 300 )  lg(sin 300 ) (2) PL.87 Do đó: 2lg(sin 300 )  lg(sin 300 ) (3) Hay: lg(sin 300 )2  lg(sin 300 ) (4) 1 1 Nên: lg    lg ,suy  (!) 2 (5) + SVSP Tốn trình bày trước tập thể lớp nguyên nhân dẫn đến sai lầm trình suy luận trên: Nguyên nhân dẫn đến kết sai mà HS đễ dàng nhận thấy 1  HS sử dụng phép suy luận logic từ (2) suy (3) chưa đúng, lý HS chưa quan tâm đến điều kiện phép suy luận này: Nếu a, b hai số thực cho: a  b  c.a  b (c  1) Tình 3: Chứng minh với x > 0, ta có sinx  x Lời giải HS sau: Xét hàm số f ( x)  x  sinx , với x  Ta có: f , ( x)   cos x  sin x  x với x  Suy hàm số f(x) đồng biến khoảng  0;  Vậy x   f ( x)  f (0)  x  sinx  + Nguyên nhân sai lầm: HS sử dụng phép suy luận không hợp logic: Từ f ( x) đồng biến khoảng  0;  không suy f ( x)  f (0) với x  , phép suy luận khơng hợp logic   0;  + Cách khắc phục: Hướng dẫn HS xét chiều biến thiên hàm số đoạn [0;  ) + Lời giải đúng: Dễ thấy hàm số f ( x)  x  sinx xác định x  f (0)    Xét hàm số f ( x)  x  sinx , với x  0;  ta có f , ( x)   cos x   2 Cho f , ( x)   cos x   x  Bảng biến thiên: PL.88   Từ bảng biến thiên, ta thấy x   ;  f ( x)  f(0)  x  sin x  hay  sin x  x   + Với x   ;   , dễ thấy: sin x  x 2  Vậy x  suy sin x  x  PL.89 PHỤ LỤC 20 Thiết lập ma trận đề kiểm tra (Bảng mơ tả tiêu chí đề kiểm tra) Cấp độ Chủ đề Số câu Số điểm Tỉ lệ % Số câu Số điểm Tỉ lệ % Số câu Số điểm Tỉ lệ % Số câu Số điểm Tỉ lệ % Số câu Số điểm Tỉ lệ % Tổng số câu Tổng số điểm Tỉ lệ % Nhận biết Thông hiểu Vận dụng Cấp độ Cấp độ thấp cao Cộng Số câu Số câu Số câu Số câu Số câu Số điểm Số điểm Số điểm Số điểm điểm= % Số câu Số câu Số câu Số câu Số câu Số điểm Số điểm Số điểm Số điểm điểm= % Số câu Số câu Số câu Số câu Số câu Số điểm Số điểm Số điểm Số điểm điểm= % Số câu Số câu Số câu Số câu Số câu Số điểm Số điểm Số điểm Số điểm điểm= % Số câu Số câu Số câu Số câu Số câu Số điểm Số điểm Số điểm Số điểm điểm= % Số câu Số câu Số câu Số điểm Số điểm Số điểm % % % Số câu Số điểm PL.90 PHỤ LỤC 20 Bài kiểm tra số (Thời gian 60 phút) Câu 1: (5,0 im) Chng minh rng hai hp Ô v ¢  ¥ có lực lượng Câu 2: (5,0 điểm) Trên hội thảo quốc tế có 30 đại biểu nói tiếng Trung, 40 đại biểu nói tiếng Pháp 45 đại biểu nói tiếng Anh Trong có 20 đại biểu nói tiếng Pháp tiếng Anh, 16 đại biểu nói tiếng Trung tiếng Pháp, 12 đại biểu nói tiếng Trung tiếng Anh đại biểu nói thứ tiếng Hỏi số đại biểu nói thứ tiếng Dụng ý kiểm tra: Câu 1: Nhằm kiểm tra việc sử dụng mặt ngữ nghĩa cú pháp kí hiệu khái niệm tập hợp, cách biểu diễn phần t ca Ô ,  Ơ Từ đó, SVSP Tốn thiết lập ánh xạ song ỏnh t Ô n  Ơ chng minh hai tập hợp có lực lượng Câu 2: Nhằm kiểm tra SVSP Toán khả chuyển đổi từ NNTN sang NNTH sử dụng kí hiệu, biểu diễn tập hợp giao, hiệu, phần bù mặt ngữ nghĩa, cú pháp để giải tốn có nội dung thực tiễn Mặt khác, giúp SVSP Toán sử dụng sơ đồ Ven để biểu diễn mói quan tập hợp tốn PL.91 PHỤ LỤC 21 Bài kiểm tra số (Thời gian 60 phút) Câu (5,0 điểm) Chứng minh quy quy tắc suy luận sau hai phương pháp Hãy phát biểu ý nghĩa quy tắc suy luận đó, cho ví dụ minh họa quy tắc suy luận p  q, r  t p.r  q.t Câu (5,0 điểm) Tìm phủ định mệnh đề sau phát biểu lời P( x, y) = " x  R,  y  R,(3x  y  10)" , x, y biến số thực Dụng ý kiểm tra: Câu 1: Nhằm kiểm tra phương pháp chứng minh quy tắc suy luận SV biết sử dụng kí hiệu công thức suy luận, biết lập bảng giá trị chân lý Rèn luyện cho SV sử dụng NNTH, NNTN để diễn đạt cơng thức Tốn học, thực chuyển đổi từ NNTH sang NNTN Câu 2: Nhằm kiểm tra khả sử dụng kí hiệu lượng từ tồn với để biểu diễn phủ định mệnh đề tốn học cơng thức Nắm cơng thức tìm phủ định cơng thức, SV phát biểu NN thân mệnh đề tìm PL.92 PHỤ LỤC 22 Bài kiểm tra số (Thời gian: 60 phút) (Thực trước tiến hành seminar) Câu 1: (5,0 điểm) Anh (Chị) đánh giá phép suy luận hoc sinh có chứng minh sau:“Cho hình chóp S ABC có SA  ( ABC ) , (SAB)  ( ABC ) Chứng minh AB  BC ” Một vài lời giải tóm tắt HS: Học sinh 1: Dựng AH  SB  AH  (SBC )  AH  CB Lại có SA  CB  (SAB)  CB  AB  CB Học sinh 2: Vì AB  (SAB) BC  (SBC ) nên từ (SAB)  (SBC ) ta có AB  BC Học sinh 3: Theo giả thiết SA  ( ABC ) mà AB  BC nên (SAB)  (SBC ) (rõ ràng đúng!) Từ suy điều phải chứng minh Câu 2: (5,0 điểm) Anh (Chị) hướng dẫn HS giải toán sau cách sử dụng sơ đồ Ven Chỉ sai lầm mà HS thường gặp nêu cách khắc phục “Trong số 220 HS khối năm thứ trường ĐHSP có 163 người biết chơi bóng chuyền, 175 người biết chơi bóng bàn, cịn lại 24 người khơng biết chơi mơn bóng Hỏi có người khơng đồng thời chơi hai mơn bóng‟‟ PL.93 PHỤ LỤC 23 Bài kiểm tra số (Thời gian: 60 phút) (Thực sau tiến hành seminar) Câu 1: (5,0 điểm) Anh (Chị) quy tắc suy luận dùng chứng minh định lý sau sử dụng sơ đồ để mắt xích suy luận “Chứng minh đường trịn hai dây khơng dây lớn có cung bị trương lớn hơn” Câu 2: (5,0 điểm) Anh (Chị) hướng dẫn HS giải toán sau Chỉ sai lầm mà HS thường gặp nêu cách khắc phục Trong điều tra có nhân chứng A, B C ngồi với nghe ý kiến Cuối ban điều tra hỏi lại người để tìm xem nói Kết là: A đối kháng nhau, B C đối lập C bảo A B nói sai Vậy ban điều tra tin ai? ... lực sử dụng ngơn ngữ tốn học sinh viên sư phạm Tốn 31 1.4.1 Năng lực sử dụng ngôn ngữ toán học 31 1.4.2 Năng lực sử dụng ngơn ngữ tốn học sinh viên sư phạm Toán 33 1.5 Tiềm phát triển. .. triển lực sử dụng ngôn ngữ tốn học cho sinh viên sư phạm Tốn thơng qua dạy học Logic toán 48 1.5.1 Một số nội dung Logic tốn phát triển lực sử dụng ngơn ngữ toán học cho sinh viên sưu phạm. .. SƢ PHẠM GÓP PHẦN PHÁT TRIỂN NĂNG LỰC SỬ DỤNG NGƠN NGỮ TỐN HỌC CHO SINH VIÊN SƢ PHẠM TỐN THƠNG QUA DẠY HỌC LOGIC TOÁN 71 2.1 Định hướng xây dựng biện pháp phát triển lực sử dụng ngơn ngữ