đề cương chi tiết

THÔNG TIN VỀ CÁC GIẢNG VI ÊN CÓ THỂ THAM GIA GIẢNG DẠY MÔN HỌC 1... THÔNG TIN VỀ MÔN HỌC 1.[r]

(1)

BỘ GIÁO DỤC VÀ ĐÀO TẠO

TRƯỜNG ĐẠI HỌC DÂN LẬP HẢI PHÒNG

ĐỀ CƯƠNG CHI TIẾT

Mơn học

LOGIC TỐN

Mã mơn: MLO32021

Dùng cho ngành CƠNG NGHỆ THƠNG TIN

Bộ môn phụ trách

MẠNG VÀ HỆ THỐNG THÔNG TIN

(2)

THÔNG TIN VỀ CÁC GIẢNG VIÊN CĨ THỂ THAM GIA GIẢNG DẠY MƠN HỌC 1. Đỗ Văn Chiểu– Giảng viên hữu

- Chức danh, học hàm, học vị: Thạc sỹ

- Thuộc môn: Mạng Hệ thống Thông tin - Địa liên hệ: Mạng Hệ thống Thông tin - Điện thoại: 3739878 Email: chieudv@hpu.edu.vn

- Các hướng nghiên cứu chính: Tốn Rời rạc, Trí tuệ nhân tạo, Máy học, Xử lý ngôn ngữ

tự nhiên, Công nghệ phần mềm

2. Ngô Trường Giang – Giảng viên hữu - Chức danh, học hàm, học vị: Thạc sỹ

- Thuộc môn: Mạng Hệ thống Thông tin - Địa liên hệ: Mạng Hệ thống Thông tin

- Điện thoại: 0904051206 Email: giangnt@hpu.edu.vn

- Các hướng nghiên cứu chính: Xử lýảnh, Đồ họa máy tinh, Khai phá liệu, Máy học 3 Nguyễn Trịnh Đông – Giảng viên hữu

- Chức danh, học hàm, học vị: Cử nhân - Thuộc môn: Mạng Hệ thống Thông tin - Địa liên hệ: Mạng Hệ thống Thông tin - Điện thoại: 3739878 Email: dongnt@hpu.edu.vn

(3)

THƠNG TIN VỀ MƠN HỌC 1 Thơng tin chung:

- Số đơn vị học trình/ tín chỉ:

- Các mơn học tiên quyết: Tốn A3, Tin học đại cương, lập trình C

- Các mơn học kế tiếp: Trí tuệ nhân tạo, Hệ hỗ trợ định, Máy học, Xử lý ngôn ngữ

tự nhiên

- Các yêu cầu môn học (nếu có): Kiến thức tin học đại cương, biết ngơn ngữ

lập trình Pascal C

- Thời gian phân bổ hoạt động: + Nghe giảng lý thuyết: 24 tiết + Làm tập lớp: tiết + Thảo luận:

+ Thực hành: 14 tiết + Hoạt động theo nhóm: + Tự học: 90

+ Kiểm tra: tiết 2 Mục tiêu môn học:

- Kiến thức: Hình thành tư cách tiếp cận vấn đề toán lĩnh vực tin học, nắm khả lập luận,

- Kỹ năng: Có kỹ lập trình lập trình logic

- Thái độ: Tạo cho sinh viên tinh thần phấn khởi, tin tưởng u thích mơn học, ngành học

3 Tóm tắt nội dung mơn học:

- Logic tốn ngành khoa học lý thuyết gắn với tư suy diễn người,

được phát triển dựa việc tuân thủ nghiêm ngặt quy luật lập luận tư

logic hình thức Logic tốn nghiên cứu phương pháp suy luận toán học, phương

pháp chứng minh khả suy diễn đến định lý lý thuyết

- Các quy luật logic hình thức phát triển từ thời Aristote (384-322 BC) Sự phát triển ngành khoa học lý thuyết từ thời văn minh cổ Hy lạp thời đại ngày trải qua bước thăng trầm Tuy vậy, giai đoạn để

lại giấu ấn quý giá, cơng trình nghiên cứu nhà bác học Newton,

Leibntiz, vào kỷ 16-17, lý thuyết tổ hợp Cantor vào cuối kỷ 19 đầu kỷ

(4)

[1].Đỗ Đức Giáo, Toán Rời rạc, Nhà xuất ĐHQG Hà Nội

[2] Trần Thọ Châu,Logic Toán, Nhà xuất ĐHQG Hà Nội

[3].Đặng Huy Ruận,Bảy phương pháp giải toán logic, Nhà xuất ĐHQG

Hà Nội

Học liệu phụ:

[4] http://vi.wikipedia.org/wiki/Logic

[5] Trần Hoàng Thọ,Phần logic, giáo trình Kỹ thuật lập trình nâng cao, Đại học Đà Lạt, 2002

5 Nội dung hình thức dạy– học:

Hình thức dạy – học Nội dung

(Ghi cụ thể theo chương, mục, tiểu mục)

Lý thuyết

Bài tập

Thảo luận

TH, TN, điền dã

Tự học, tự NC

Kiểm tra

Tổng

(tiết)

CHƯƠNG I: TẬP HỢP – QUAN HỆ

-ÁNH XẠ

1.1 Khái niệm tập hợp 1.1.1 Tập

1.1.2 Sự hai tập hợp 1.1.3 Quan hệ bao hàm tập hợp 1.1.4 Các phép toán tập hợp

1.1.5 Tích đề tập hợp

3 0

1.2 Quan hệ

1.2.1 Khái niệmquan hệ 1.2.2 Lớp tương đương 1.2.3 Quan hệ có thứ tự

1.2.4 Một số tính chất quan hệ

1.3 Ánh xạ

1.3.1 Khái niệm ánh xạ 1.3.2 Phân loại ánh xạ 1.3.3 Ảnh tạo ảnh 1.3.4 Ánh xạ ngược

(5)

Lý thuyết

Bài tập

Kiểm tra

Tổng

(tiết)

CHƯƠNG II: LÔGIC M ỆNH ĐỀ

2.1 Khái niệm mệnh đề

2.1.1 Định nghĩa phép toán

logic mệnh đề

2.1.2 Định nghĩa công thức đại số

mệnh đề

2.1.3 Minh họa lơgíc mệnh đề 2.1.4 Cơng thức đồng

công thức đồng

3 0 12

2.2 Điều kiện Đồng – Điều

kiện Đồng sai

2.2.1 Tuyển sơ cấp hội sơ cấp 2.2.2 Dạng chuẩn tắc tuyển dạng

chuẩn tắc hội

2.2.3 Thuật toán nhận biết đúng,

hằng sai thực

3 0 15

2.3 Các quy tắc suy diễn lơgíc

mệnh đề

2.3.1 Các quy tắc suy diễn 2.3.2 Các ví dụ minh họa

3 0 12

CHƯƠNG III: LÔGIC V Ị TỪ CẤP I

3.1 Khái niệm lôgic vị từ 3.2 Định nghĩa Vị từ

3.3 Khái niệm công thức đồng

bằng nhau, Đồng đúng, Đồng

nhất sai

3 0 12

3.4 Dạng chuẩn tắc hội Chuẩn tắc

tuyển công thức

3.4.1 Các định nghĩa định lý

3.4.2 Bảng cơng thức đồng

bằng lơgíc vị từ cấp

3.4.3 Thuật tốn tìm dạng CTH dạng

CTT công thức A

(6)

Lý thuyết

Bài tập

Kiểm tra

Tổng

(tiết) 3.5 Quy tắc suy diễn lơgíc vị từ

cấp

3.5.1 Các lượng từ và mệnh đề có lượng từ

3.5.2 Một số quy tắc lơgíc vị từ

1 2 0 0 9 0 12

CHƯƠNG IV: GIỚI THIỆU

VỀNGƠN NGỮ LẬP TRÌNH

PROLOG

4.1 Giới thiệu PROLOG

4.2 Các thao tác với PROLOG

2 0 0

Buổi 1: Theo tài liệu thực hành Prolog 0 2.5 5.5

Buổi 4: Theo tài liệuthực hành Prolog 0 2.5 5.5

Buổi6: Theo tài liệu thực hành Prolog 0 1.5 5.5

Tổng(tiết) 24 4 0 14 90 3 135

6 Lịch trình tổ chức dạy– học cụ thể:

Tuần Nội dung

Chi tiết hình thức tổ chức dạy –

học

Nội dung yêu cầu sv phải chuẩn bị trước

Ghi chú

1

CHƯƠNG I: TẬP HỢP –

QUAN HỆ- ÁNH XẠ

1.1 Khái niệm tập hợp 1.1.1 Tập

1.1.2 Sự hai tập

hợp

1.1.3 Quan hệ bao hàm

tập hợp

1.1.4 Các phép tốn tập hợp 1.1.5 Tích đề tập hợp

Lý thuyết

trên lớp, làm tập

(7)

học

Ghi chú

2

1.2 Quan hệ

1.2.1 Khái niệm quan hệ 1.2.2 Lớp tương đương 1.2.3 Quan hệ có thứ tự

1.2.4 Một số tính chất quan hệ

1.3 Ánh xạ

1.3.1 Khái niệm ánh xạ 1.3.2 Phân loại ánh xạ 1.3.3 Ảnh tạo ảnh 1.3.4 Ánh xạ ngược

Lý thuyết

Các khái niêm toán học học, kỹ làm tập

3

CHƯƠNG II: LÔGIC M ỆNH ĐỀ

2.1 Khái niệm mệnh đề 2.1.1 Định nghĩa phép toán

trong logic mệnh đề 2.1.2 Định nghĩa công thức

đại số mệnh đề

2.1.3 Minh họa lơgíc mệnh đề

2.1.4 Cơng thức đồng

nhau công thức đồng

Lý thuyết

trên lớp

Đại số Bool, Tin học đại cương

4

2.2 Điều kiện Đồng – Điều kiện Đồng sai 2.2.1 Tuyển sơ cấp hội sơ cấp 2.2.2 Dạng chuẩn tắc tuyển

dạng chuẩn tắc hội 2.2.3 Thuật toán nhận biết

đúng, sai thực

Lý thuyết

Học thuộc công thức

hằng đúng, thuộc thuật toán học, kỹ làm tập

Kiể

m tra

45’

5

2.3 Các quy tắc suy diễn

lơgíc mệnh đề 2.3.1 Các quy tắc quy diễn 2.3.2 Các ví dụ minh họa

Lý thuyết

Học thuộc công thức

hằng đúng, thuộc hai thuật toán học, kỹ làm tập

6 CHƯƠNG III: LÔGIC V Ị TỪ

CẤP I

Lý thuyết

trên lớp, làm

Nắm vững kiến thức phần

(8)

học

Ghi chú

3.1 Khái niệm lôgic vị từ 3.2 Định nghĩa Vị từ

3.3 Khái niệm công thức đồng

nhất nhau, Đồng đúng, Đồng sai

tập công thức

7

3.4 Dạng Chuẩn tắc hội

Chuẩn tắc tuyển công

thức

3.4.1 Các định nghĩa định lý

3.4.2 Bảng công thức đồng

nhất lơgíc

vị từ cấp

3.4.3 Thuật tốn tìm dạng CTH dạng CTT cơng thức A

Lý thuyết

Thuộc định nghĩa,

bảng công thức

trước

8

3.5 Quy tắc suy diễn lơgíc

vị từ cấp

3.5.1 Các lượng từ và mệnh đề có lượng từ

3.5.2 Một số quy tắc lơgíc

vị từ

Lý thuyết

Thuộc định nghĩa,

bảng công thức

trước

9

CHƯƠNG IV: NGƠN NG Ữ

LẬP TRÌNH PROLOG

4.3 Giới thiệu PROLOG

4.4 Các thao tác với PROLOG

Lý thuyết

trên lớp

Kt

45’

10 Buổi 1: Theo tài liệu thực hành Prolog

Thực hành

phịng máy tính

Kỹ sử dụng máy tính,

Biết ngơn ngữ

lập trình Pascal C

Thực hành

phịng máy tính

Các quy tắc cú pháp, kiểu

dữ liệu,…

Thực hành

phịng máy tính

Nhập xuất liệu, in

liệu,…

Thực hành

phòng máy tính Kiến thức Prolog học 14 Buổi 5: Theo tài liệu thực hành

Prolog

Thực hành

(9)

học

Ghi chú

Prolog kết chương trình 45’

7. Tiêu chí đánh giá nhiệm vụ giảng viên giao cho sinh viên: - Hoàn thành nhiệm vụ giảng viên giao cho

8 Hình thức kiểm tra, đánh giá mơn h ọc: - Làm tập,

- Kiểm tra định kỳ,

- Thi hết môn– Thi tự luận

9 Các loại điểm kiểm tra trọng số loại điểm: - Điểm trình: 3/10 đó:

+ Chuyên cần: 40%

+ Kiểm tra thường xuyên: 30% + Thực hành 30%

- Thi hết môn: 7/10

10 Yêu cầu giảng viên môn học:

- Yêu cầu điều kiện để tổ chức giảng dạy môn học: Giảng đường, phòng máy - Yêu cầu sinh viên: Đi học đầy đủ, giờ, học trước đến lớp

Chủ nhiệm Bộ môn

Ths Ngô Trường Giang

Hải Phòng, ngày 22 tháng năm 2011 Người viết đề cương chi tiết

Định dạng
Số trang	9
Dung lượng	50,67 KB