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[.]
Biểu mẫu ĐỀ CƯƠNG MÔN HỌC (Chuyên ngành Khoa học Máy tính) Tên mơn học: NGUN LÝ NGƠN NGỮ LẬP TRÌNH Số tín chỉ: (45 tiết LT;15 tiết BT) Giảng viên: TS NGUYỄN HỨA PHÙNG; PGS.TS PHAN THỊ TƯƠI BM quản lý môn học: Phần mềm Ứng dụng, Khoa Công nghệ Thông tin Môn học trước: Môn học song hành: Mục tiêu môn học: Giới thiệu phương pháp mô tả ngữ nghĩa chương trình họ ngơn ngữ lập trình 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 kiện Nội dung: 9.1 PHẦN GIẢNG DẠY TRÊN LỚP: 45 tiết Chương Nội dung Số tiết TLTK 15 [1], [2] [2], [3] [2], [3] [2], [3] [2], [3] [2], [3] 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 đề Chương 2: Lập trình logic 2.1 Giới thiệu lập trình logic 2.2 Lập trình logic ràng buộc hệ phương trình Chương 2: Ngơn ngữ lập trình hàm 3.1 Lập trình hàm 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ì hỗn lượng giá 3.4 Cơ sở tốn học lập trình hàm Chương 4: Lập trình hướng đối tượng 4.1 Các khái niệm 4.2 Thiết kế thực Chương 5: Lập trình song song 5.1 Giới thiệu lập trình song song 5.2 Xử lý song song ngơn ngữ lập trình 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ố 9.2 PHẦN GIẢNG DẠY THỰC HÀNH, THÍ NGHIỆM TẠI PTN, PMT: TT Bài TH, TN Số tiết PTN, PMT TLTK 37 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 NGỒI TRƯỜNG: 15 tiết TT Nội dung Số tiết Địa điểm TLTK Xây dựng chương trình kiểm tra ngữ nghĩa tác vụ [1], [2] Xây dựng chương trình kiểm tra ngữ nghĩa biểu thị [1], [2] 10 Tài liệu tham khảo: (tối thiểu sách tham khảo) [1] Cao Hồng Trụ, Ngun lý ngơn ngữ lập trình, Nhà xuất Đạ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 11 Phương pháp đánh giá môn học: TT Phương pháp đánh giá Số lần đánh giá Trọng số (%) Kiểm tra học kỳ Thực hành, thí nghiệm Bài tập, tiểu luận, thuyết trình 40 Thi cuối học kỳ (bắt buộc) 60 Chủ nhiệm BM quản lý môn học Giảng viên lập đề cương (Họ tên chữ ký) (Họ tên chữ ký) TS Nguyễn Hứa Phùng TS Nguyễn Hứa Phùng 38 ... Programming Languages: Principles and Paradigms, First edition, Allen Tucker and Robert Noonan, McGraw-Hill, 2002 11 Phương pháp đánh giá môn học: TT Phương pháp đánh giá Số lần đánh giá Trọng số (%)