Phép toán trên dãy bit T ươ ng đươ ng Logic và các Lu ậ t Logic.[r]
(1)CẤU TRÚC RỜI RẠC
(Discrete Structures)
1 Mã môn học: 3101011003
2 Sốđơn vị học trình:
3 Trình độ thuộc khối kiến thức: Kiến thức sở ngành
4 Phân bố thời gian: 5 Điều kiện tiên quyết: 6 Mô tả vắn tắt môn học:
Số học số nguyên Phép chứng minh phản chứng quy nạp Lý thuyết tập hợp: quan hệ, hàm, lượng số, quan hệ thứ tự, dàn Tổ hợp: phép đếm, nguyên lý cộng, nhân, chia, bao gồm loại trừ Đếm hàm sinh Nhóm phép hốn vị Logic mệnh đề: ngôn ngữ, công thức, biễu diễn công thức, tiên đề, quy tắc ngữ nghĩa, dạng chuẩn tắc logic mệnh đề Logic vị từ: ký hiệu, công thức, ngữ nghĩa, dạng chuẩn tắc công thức logic vị từ
7 Nhiệm vụ sinh viên:
- Dự lớp - Bài tập:
- Dụng cụ học tập:
8 Tài liệu học tập:
[1] Kenneth H.Rosen, Toán rời rạc - Ứng dụng tin học, NXB Khoa học kỹ thuật Hà nội-1997 (Phạm Văn Thiều Đặng Hữu Thịnh
dịch)
2 Tóan Rời rạc - Nguyễn Hữu Anh - ĐHKHTN
9 Tài liệu tham khảo:
[2] Cơ sở tốn cho máy tính - NXB đại học quốc gia Hồ Chí Minh – 2003 ( Trần Đức Quang biên dịch) [3] Toán rời rạc – NXB đại học quốc gia Hà nội – 2002 - ĐỗĐức Giáo
[4] Tuyển chọn 1800 tập toán rời rạc – NXB Thống kê – Biên dịch từ sách Seymour Lupschutz, Mare Lars Lipson
10 Tiêu chuẩn đánh giá sinh viên:
Dự lớp: Có mặt lớp nghe giảng từ 80% tổng số thời gian trở lên
Thảo luận
Bản thu hoạch
Thuyết trình
Báo cáo
Kiểm tra thường xuyên
Thi môn học
Thi kết thúc môn học
11 Thang điểm: Theo học chế niên chế
12 Mục tiêu:
Trang bị kiến thức toán phục vụ chuyên ngành Tin học
13 Nội dung chi tiết môn học :
CHƯƠNG TÊN CHƯƠNG LÝ THUYẾT THỰC HÀNH
Page of (Trung Tâm CNTT - HUI)
(2)CHƯƠNG 1: CƠ SỞ LOGIC
Các Phép nối Bảng Chân trị Phép toán dãy bit Tương đương Logic Luật Logic
Vị từ Lượng từ Chứng minh đệ quy
Tập hợp Các Phép Toán tập hợp
CHƯƠNG 2: PHÉP ĐẾM
Nguyên lý Cộng Nguyên lý Nhân Nguyên lý Chuồng Bồ Câu
Chỉnh hợp tổ hợp Công thức Nhị thức Tổ hợp có lặp
Hệ thức đệ qui
CHƯƠNG 3: QUAN HỆ Quan hệ tính chất Biểu diễn Quan hệ
Quan hệ tương đương Đồng dư Phép toán số học Zn Thứ tự Biểu đồ Hasse
Tự học
Thứ tự tựđiển Sắp xếp topo
CHƯƠNG 4: LÝ THUYẾT ĐỒ THỊ
Các khái niệm Các thuật ngữ vềđồ thị Biểu diễn Ma trận đồ thị Đồ thịđẳng cấu Tình liên thơng đồ thị
Đường Chu trình Euler Đường Hamilton
Giải toán đường ngắn sử dụng thuật tóan Dijkstra
Ứng dụng đồ thị thực tế Tự học (hoặc tập lớn)
Định nghĩa Tính chất Cây Ứng dụng Cây
Phương pháp duyệt
Tìm khung có trọng lượng nhỏ với thuật tóan Kruskal Prim
CHƯƠNG 5: ĐẠI SỐ BOOLE
Hàm Boole Dạng nối rời tắc Cơng thức đa thức tối tiểu
Phương pháp Karnaugh Mạng cổng
1 CƠ SỞ LOGIC
2 PHÉP ĐẾM
3 QUAN HỆ
4 LÝ THUYẾT ĐỒ THỊ 18
5 ĐẠI SỐ BOOLE
Tổng cộng: 45