Nguyên lý ngôn ngữ lập trình

Concepts of Programming Languages.. Khoa Công ngh ệ Thông[r]

(1)

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC ĐÀ LẠT

CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập – Tự – Hạnh phúc

CHƯƠNG TRÌNH TRÌNH ĐỘ ĐẠI HỌC

NGÀNH: TIN HỌC

Đ

Ề

C

ƯƠ

NG CHI TI

Ế

T H

Ọ

C PH

Ầ

N

Ữ LẬP TRÌNH

2 Mã số học phần:

3 Tên học phần tiếng Anh:

4 Số tín chỉ: Học phần bắt buộc hay tự chọn: Bắt buộc Trình độ: sinh viên năm

6 Phân bổ thời gian:

- Lên lớp: Lý thuyết 70%: 32 tiết

- Bài tập thảo luận lớp: 30%: 13 tiết - Khác:

7 Điều kiện tiên quyết: Mơn học trước: Nhập mơn lập trình, LT hướng đối tượng Mục tiêu học phần:

Môn học nhằm cung cấp cho sinh viên khái niệm tảng lý thuyết ngơn ngữ lập trình Những khái niệm tảng giúp sinh viên tăng cường khả chọn lựa ngơn ngữ lập trình thích hợp, đánh giá ngơn ngữ lập trình, học ngơn ngữ lập trình cải tiến khả lập trình thơng qua việc hiểu khía cạnh liên quan đến việc mơ tả thực ngơn ngữ lập trình Ngồi hai họ lập trình hàm lập trình logic giới thiệu cách khái quát môn học

9 Mô tả vắn tắt học phần:

•Những khái niệm tảng lý thuyết ngơn ngữ lập trình •Lập trình hàm

•Lập trình logic

10 Nhiệm vụ sinh viên: - Dự lớp theo quy chế

(2)

- Khác

11 Tài liệu tham khảo:

• Robert W Sebesta (2004) Concepts of Programming Languages

Sixth Edition Addison-Wesley

• Phan Huy Khánh (2005) Lập trình hàm Nhà xuất Khoa học

Kỹ thuật

• Phan Huy Khánh (2004) Lập trình logic Prolog Nhà xuất Đại học Quốc gia Hà Nội

• Nguyễn Thiên Bằng chủ biên (2005) Giáo trình nhập mơn XML

Nhà xuất Lao động Xã hội

• Cao Hồng Trụ (2000) Ngơn ngữ lập trình Khoa Cơng nghệ Thông

tin Trường Đại học Kỹ thuật Tp Hồ Chí Minh 12 Tiêu chuẩn đánh giá:

- Dự lớp - Thuyết trình

- Báo cáo tập nhóm - Khác

- Thi cuối kỳ (chiếm 2/3 tổng sốđiểm) 13 Thang điểm: 10

14 Nội dung chi tiết:

Phần – Nguyên lý ngôn ngữ lập trình

• Dẫn nhập • Mơ tả cú pháp

• Phân tích từ vựng cú pháp

• Tên, kết buộc, kiểm tra loại phạm vi • Loại liệu

• Biểu thức mệnh đề gán

(3)

• Thực chương trình

• Loại liệu trừu tượng sựđóng gói • Sựđồng hành

• Giải biệt lệ xử lý biến cố Phần – Ngơn ngữ lập trình hàm

• Giới thiệu ngơn ngữ lập trình hàm • Ngơn ngữ lập trình hàm Scheme

Phần – Ngơn ngữ lập trình logic

• Giới thiệu ngơn ngữ lập trình logic • Ngơn ngữ lập trình Prolog

15 Các thơng tin hình thức học liên lạc với giáo viên

- Hình thức học: Theo học lớp, làm tập thảo luận nhóm - Địa Email giáo viên: haidv@dlu.edu.vn

- Điện thoại: 0977749751