BIỂU MẪU ĐĂNG KÝ SEMINAR TRƯỜNG ĐHSP HÀ NỘI 2 VIỆN CÔNG NGHỆ THÔNG TIN CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập – Tự do – Hạnh phúc Hà Nội, ngày 3 tháng 6 năm 2020 KẾ HOẠCH SEMINAR THÁNG 6/2020 TỔ C[.]
TRƯỜNG ĐHSP HÀ NỘI VIỆN CÔNG NGHỆ THÔNG TIN CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập – Tự – Hạnh phúc Hà Nội, ngày tháng năm 2020 KẾ HOẠCH SEMINAR THÁNG 6/2020 TỔ: Cơng nghệ phần mềm STT Tên báo cáo Tóm tắt báo cáo Người báo cáo Thời gian Địa điểm Tính phần tử Trong trình lập mã giải mã thông Nguyễn Thị Quyên 8h30 ngày PM tầng nghịch đảo tin số hệ mã hóa như: hệ mã hóa 09/06/2020 (nhà học Thí số lớn, theo Affine, Hill, RSA, Elgamal trình nghiệm) Modulo ký số kiểm tra chữ ký: chữ ký số RSA, Elgamal, DSS bắt gặp việc tính phần tử nghịch đảo số lớn theo module, vấn đề khó khăn phải thực tính tốn tay Bài báo này, đưa số phương pháp tính chương trình tính phần tử nghịch đảo số lớn, theo modulo Cloud Trình bày điện tốn đám mây, giải Nguyễn Xuân 8h30 ngày PM tầng Computing pháp cho phép cung cấp tài nguyên Trường 16/06/2020 (nhà học Thí cơng nghệ thơng tin dịch vụ có nghiệm) khả thay đổi linh hoạt theo nhu cầu người sử dụng Thuật ngữ “Đám mây” lỗi nói ẩn dụ, hiểu tài nguyên tồn Internet, người dùng có Ghi Kiểm thử IoT Tổ: Khoa học máy tính Vấn đề khai phá liệu định ứng dụng thể truy cập tới tài nguyên mà không cần hiểu rõ công nghệ, kỹ thuật hạ tầng bên đám mây IoT (Internet of Things): Kiểm thử IoT loại kiểm thử để kiểm tra thiết bị IoT Ngày nhu cầu cung cấp dịch vụ tốt nhanh ngày tăng Người dùng có nhu cầu lớn để truy cập, tạo, sử dụng chia sẻ liệu từ thiết bị Kiểm thử cho thiết bị IoT xoay quanh vấn đề Security, Analytics, Device, Networks, Processors, Operating Systems, Platforms Standards Nguyễn Thị Loan Kỹ thuật khai phá liệu luật Đỗ Thị Lan Anh định số kỹ thuật khai phá liệu hiệu giúp đưa tri thức có ý nghĩa q trình định… Nhận dạng mẫu Trong sống, khoa học Nguyễn Minh Hiền ứng dụng kỹ thuật, thuật ngữ “phát hiện”, “phân loại”, “phân nhóm”,…được sử dụng phổ biến mà hạt nhân khái niệm khái niệm nhận dạng mẫu (pattern recognition) Con người sở hữu kỹ phức tạp, tinh vi phát triển 8h30 ngày 23/06/2020 PM tầng (nhà học Thí nghiệm) 8h30 ngày PM tầng 8/6/2020 (nhà học Thí nghiệm) 8h30 ngày PM tầng 15/6/2020 (nhà học Thí nghiệm) Thiết kế kế hoạch dạy học cho học minh họa theo chủ đề môn Tin học cấp THPT Ánh xạ đóng mơ hình liệu dạng khối trình độ cao, muốn máy móc có khả tương tự để trợ giúp người nhiều công việc khác Báo cáo trình bày tổng quan nhận dạng mẫu đưa ứng dụng điển hình Trong q trình nghiên cứu để thực Lưu Thị Bích chương trình bồi dưỡng giáo viên, cần Hương thiết phải có ví dụ minh họa việc thiết kế kế hoạch dạy học dựa học thuộc chủ đề cụ thể môn Tin học nhằm giúp giáo viên có khả thiết kế kế hoạch dạy học sau Báo cáo trình bày việc thiết kế kế hoạch dạy học cho học minh họa theo chủ đề môn Tin học cấp THPT Báo cáo đề xuất khái niệm Trịnh Đình Thắng ánh xạ đóng ttrong mơ hình liệu dạng khối Từ phát biểu chứng minh số tính chất ánh xạ đóng lược đồ khối, đặc biệt chứng minh định lý điều kiện cần đủ ánh xạ đóng lược đồ khối với tập phụ thuộc hàm Fh cho trước Hơn nữa, số tính chất mối quan hệ ánh xạ đóng lược đồ khối lược đồ lát cắt đề xuất chứng minh 8h30, ngày PM tầng 22/6/2020 (nhà học Thí nghiệm) 8g30 ngày PM tầng 29/6/2020 (nhà học Thí nghiệm) Tổ: PP & Cơng nghệ dạy học Xây dựng thang Việc đánh giá lực HS nói chung đo lực đánh giá NL Tin học HS nói riêng cịn thành phần NLc lạ lẫm hầu hết GV Phần lớn CTGDPT GV bậc phổ thông chưa biết phải đánh 2018 - môn Tin giá NL Tin học HS nào, học cơng cụ vào đâu? Chương trình giáo dục phổ thơng mơn Tin học (năm 2018) có yêu cầu cần đạt dạy học môn Tin học HS cấp Đó sở để xây dựng TĐNL, để GV đánh giá NL Tin học HS Có thể coi khung đánh giá lực mức thô mà dựa vào GV chưa thể đánh giá NL Tin học NL thành tố Báo cáo trình bày tầm quan trọng việc xây dựng TĐNL kết đạt việc xây dựng thang đo lực thành phần NLc (GQVĐ với hỗ trợ CNTT-TT) góp phần giúp GV dễ dàng đánh giá NL HS Computational Tư máy tính (CTE) q trình nhận thinking: What is thức thực thao tác trí tuệ it? Why is it liên quan đến lập luận logic để giải important? vấn đề đặt Khi nhắc đến tư máy tính người ta thường nhắc đến khả Trần Thị Thanh 14h00 ngày 4/6/2020 Online Nguyễn Ngọc Tú 14h00 ngày 11/06/2020 Online Phát triển lực thành phần NLc với Microsoft MakeCode cho BBC micro:bit suy nghĩ làm việc logic, có tính (tối ưu) thuật tốn, lặp lại trừu tượng hóa Tư máy tính ngày xem kĩ quan trọng người Có người nhắc đến Tư máy tính thành phần thứ kĩ kỷ 21 (21st cen skills) Báo cáo trình bày hiểu biết ban đầu tư máy tính, làm tảng cho báo cáo vai trị, vị trí tư máy tính giáo dục tư máy tính (CTE) BBC micro:bit thiết bị tương tác lập trình thơng qua phần mềm, kết hợp với thiết bị khác để tạo sản phẩm thú vị, có ứng dụng thực tế Điều cho phép HS đạt mức độ học tập sâu sắc thang đo nhận thức Bloom góp phần hình thành, phát triển lực giải vấn đề sáng tạo nói chung lực giải vấn đề với hỗ trợ công nghệ thông tin truyền thơng nói riêng Báo cáo trình bày tiềm phát triển thành phần lực NLc (giải vấn đề với hỗ trợ công nghệ thông tin truyền thông) với Microsoft MakeCode Cao Hồng Huệ 14h00 ngày 18/06/2020 Online cho BBC micro:bit Computational Tư máy tính thành phần quan thinking: A trọng kĩ kỉ 21, kỹ closer look on its để hiểu, components biết cách có lý, logic giới xung quanh dựa sức mạnh máy tính Tư Máy tính tạo nên từ 04 thành tố (components): Phân rã (Decomposition), Nhận dạng mẫu (Pattern-Recognition), Trừu tượng hoá (Abstraction) Tư thuật toán (Algorithmic Thinking) Báo cáo nhằm trình bày sâu thành tố đặc điểm chúng Chu Vĩnh Quyên 14h00 ngày 25/06/2020 Online