Đề cương chi tiết học phần Toán rời rạc (Trường đại học Phương Đông)

BỘ GIÁO DỤC ĐÀO TẠO CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐH PHƯƠNG ĐÔNG Độc lập – Tự – Hạnh phúc ======================= -o0o CHƯƠNG TRÌNH ĐÀO TẠO ĐẠI HỌC NGÀNH ĐÀO TẠO: CÔNG NGHỆ THÔNG TIN -ĐỀ CƯƠNG CHI TIẾT HỌC PHẦN Tên học phần: Toán rời rạc Mã số: 0000308 Số tín chỉ: 3 Trình độ: Cho sinh viên năm thứ Phân bố thời gian theo tín chỉ: Lên lớp Lý thuyết Bài tập Thảo luận 30 10 Thực hành, thí nghiệm, Tự học, tự thực tế, stdio nghiên cứu 90 Các điều kiện tiên quyết: - Học phần tiên quyết: - Học phần học trước: - Học phần song hành: Mục tiêu học phần: - Kiến thức: Cung cấp cho sinh viên số kiến thức bản, toán phổ biến, thuật toán hiệu giải tích tổ hợp, lý thuyết đồ thị, logic mệnh đề, đại số Boole, hàm Boole ứng dụng - Kỹ năng: Dạy cho sinh viên phương pháp tư logic, cách xây dựng vấn đề, toán phương pháp, thuật toán giải vấn đề máy tính điện tử, lĩnh vực công nghệ thông tin - Thái độ: Rèn cho sinh viên tính cẩn thận, xác giải toán Cách tiếp cận vấn đề phức tạp cách có hệ thống, tích lũy kiến thức sở cho ngành học Mô tả vắn tắt nội dung: Học phần gồm kiến thức về: Lôgic mệnh đề, luật suy diễn, lập luận toán học, phương pháp chứng minh Các khái niệm thuật toán, đánh giá độ phức tạp thuật toán, thuật giải đệ quy, phân lớp toán Các nguyên lý đếm bản, lý thuyết tổ hợp, thuật toán sinh, hệ thức truy hồi giải hệ thức truy hồi Cơ lý thuyết đồ thị, thuật toán đồ thị Kiến thức tổng quan đại số Boole hàm Boole, dạng tắc, thuật toán tối thiểu hóa mạch logic hàm Boole Nhiệm vụ sinh viên: - Nộp dủ học phí - Dự lớp đầy đủ, làm hết tập, tham gia thảo luận theo nhóm lớp theo yêu cầu giáo viên - Thi đạt Tài liệu học tập: - Học liệu bắt buộc: [1] Trần Văn Lộc Bài giảng toán rời rạc, Khoa CNTT Đại học Phương Đông, 2008 - Học liệu tham khảo: [2] Nguyễn Đức Nghĩa, Nguyễn Tô Thành Toán rời rạc, NXB Đại học Quốc gia Hà nội, 2001 [3] K H Rosen Toán học rời rạc ứng dụng tin học (sách dịch), NXB KH&KT, 1998 10.Tiêu chuẩn đánh giá sinh viên: - Dự lớp đầy đủ - Bài tập, thảo luận - Điểm kiểm tra kỳ: - Điểm thi kết thúc học phần: 11.Thang điểm: 10 10% 10% 10% 70% 12 Nội dung chi tiết học phần 12 Nội dung Chương Logic lập luận toán học 1.1 Mệnh đề phép toán logic 1.2 Vị từ, lượng từ, mệnh đề có lượng từ 1.3 Các qui tắc phương pháp chứng minh, suy luận toán học 1.4 Phương pháp qui nạp toán học Chương Thuật toán 2.1 Thuật toán biểu diễn thuật toán 2.2 Độ phức tạp thuật toán 2.3 Thuật toán đệ qui 2.4 Sự phân lớp toán 2.5 Thuật giải heuristic Chương Phương pháp đếm 3.1 Tập hợp 3.2 Ánh xạ 3.3 Các nguyên lý đếm : nguyên lý cộng, nguyên lý nhân 3.4 Nguyên lý chuồng bồ câu (Nguyên lý Dirichlet) 3.5 Nguyên lý bao hàm – loại trừ (Inclusion – Exclusion) 3.6 Các phương pháp tính hoán vị, chỉnh hợp tổ hợp 3.7 Hệ thức truy hồi Chương Lý thuyết đồ thị 4.1 Giới thiệu đồ thị, thuật ngữ 4.2 Các dạng đồ thị phổ biến đặc biệt 4.3 Đồ thị Euler 4.4 Đồ thị Hamilton 4.5 Các toán đồ thị Chương Đại số Boole hàm Boole 5.1 Các phép toán 5.2 Đại số Boole 5.3 Hàm Boole 5.4 Các cổng logic mạch logic 5.5 Phương pháp Karnaugh tìm dạng tối thiểu hàm Boole 5.6 Phương pháp Quine-McCluskey tìm dạng tối thiểu hàm Boole 12 Hình thức tổ chức dạy học (phụ lục kèm theo) 13 Ngày phê duyệt: 14 Cấp phê duyệt: Trường Đại học Phương Đông CHỦ NHIỆM KHOA CNTT HIỆU TRƯỞNG PGS.TS Phan Hữu Huân PGS.TS Bùi Thiện Dụ ... Khoa CNTT Đại học Phương Đông, 2008 - Học liệu tham khảo: [2] Nguyễn Đức Nghĩa, Nguyễn Tô Thành Toán rời rạc, NXB Đại học Quốc gia Hà nội, 2001 [3] K H Rosen Toán học rời rạc ứng dụng tin học (sách... thi kết thúc học phần: 11.Thang điểm: 10 10% 10% 10% 70% 12 Nội dung chi tiết học phần 12 Nội dung Chương Logic lập luận toán học 1.1 Mệnh đề phép toán logic 1.2 Vị từ, lượng từ, mệnh đề có lượng... Các qui tắc phương pháp chứng minh, suy luận toán học 1.4 Phương pháp qui nạp toán học Chương Thuật toán 2.1 Thuật toán biểu diễn thuật toán 2.2 Độ phức tạp thuật toán 2.3 Thuật toán đệ qui 2.4