Microsoft Word - c12-NguyenLyNgonNguLapTrinh-vn

Microsoft Word c12 NguyenLyNgonNguLapTrinh vn 37 ĐỀ CƯƠNG MÔN HỌC (Chuyên ngành Khoa học Máy tính) 1 Tên môn học NGUYÊN LÝ NGÔN NGỮ LẬP TRÌNH 2 Số tín chỉ 3 (45 tiết LT;15 tiết BT) 3 Giảng viên TS NGU[.]

ĐỀ CƯƠNG MÔN HỌC

(Chuyên ngành Khoa học Máy tính)

1 Tên môn học: NGUYÊN LÝ NGÔN NGỮ LẬP TRÌNH

2 Số tín chỉ: 3 (45 tiết LT;15 tiết BT)

3 Giảng viên: TS NGUYỄN HỨA PHÙNG; PGS.TS PHAN THỊ TƯƠI

4 BM quản lý môn học: Phần mềm Ứng dụng, Khoa Công nghệ Thông tin

5 Môn học trước:

6 Môn học song hành:

7 Mục tiêu môn học: Giới thiệu phương pháp mô tả ngữ nghĩa của chương trình và các họ ngôn ngữ lập trình

8 Mô tả tóm tắt môn học: Đặc tả ngữ nghĩa: ngữ nghĩa tác vụ, ngữ nghĩa biểu thị, ngữ nghĩa tiên đề Lập trình hàm, lập trình logic, lập trình song song, lập trình theo sự kiện

9 Nội dung:

9.1 PHẦN GIẢNG DẠY TRÊN LỚP: 45 tiết

1 Chương 1: Ngữ nghĩa hình thức

1.1 Ngữ nghĩa tác vụ 1.2 Ngữ nghĩa biểu thị 1.3 Ngữ nghĩa tiên đề

15 [1], [2]

2 Chương 2: Lập trình logic

2.1 Giới thiệu về lập trình logic 2.2 Lập trình logic ràng buộc và hệ phương trình

6 [2], [3]

3 Chương 2: Ngôn ngữ lập trình hàm

3.1 Lập trình hàm trên các ngôn ngữ lập trình thủ tục 3.2 Một số ngôn ngữ lập trình hàm

3.3 Trì hoãn lượng giá 3.4 Cơ sở toán học của lập trình hàm

6 [2], [3]

4 Chương 4: Lập trình hướng đối tượng 4.1 Các khái niệm cơ bản

4.2 Thiết kế và hiện thực

6 [2], [3]

5 Chương 5: Lập trình song song 5.1 Giới thiệu về lập trình song song

5.2 Xử lý song song và ngôn ngữ lập trình

6 [2], [3]

6 Chương 6: Lập trình theo biến cố 6.1 Mô hình biến cố

6.2 Xử lý biến cố

6 [2], [3]

9.2 PHẦN GIẢNG DẠY THỰC HÀNH, THÍ NGHIỆM TẠI PTN, PMT:

Biểu mẫu 2

9.3 PHẦN BÀI TẬP, TIỂU LUẬN NGOẠI KHÓA,HV ĐI NGHIÊN CỨU THỰC

TIỄN NGOÀI TRƯỜNG: 15 tiết

1 Xây dựng chương trình kiểm tra ngữ nghĩa tác vụ 7 [1], [2]

2 Xây dựng chương trình kiểm tra ngữ nghĩa biểu

thị

10 Tài liệu tham khảo: (tối thiểu 3 sách tham khảo)

11 Phương pháp đánh giá môn học:

1 Kiểm tra giữa học kỳ

2 Thực hành, thí nghiệm

3 Bài tập, tiểu luận, thuyết trình 2 40

Chủ nhiệm BM quản lý môn học Giảng viên lập đề cương

(Họ tên và chữ ký) (Họ tên và chữ ký)

[1] Cao Hoàng Trụ, Nguyên lý ngôn ngữ lập trình, Nhà xuất bản Đại học Quốc gia TP

Hồ Chí Minh, 2005

[2] Kenneth C Louden, Programming Languages: Principles and Practice, Second

edition, Kenneth C Louden, Thomson Brooks/Cole, 2003

[3] Allen Tucker and Robert Noonan, Programming Languages: Principles and Paradigms,

First edition, Allen Tucker and Robert Noonan, McGraw-Hill, 2002