Giáo trình Lập trình hàm và lập trình lôgic: Phần 1 - PGS.TS Phan Huy Khánh

Giáo trình lập trình hàm và lập trình lôgic được PGS.TS Phan Huy Khánh với kết cấu nội dung gồm 3 chương. Phần 1 giáo trình gồm 2 nội dung đầu trình bày về: Các ngôn ngữ lập trình, ngôn ngữ scheme. Mời các bạn cùng tham khảo giáo trình để nắm rõ hơn về chi tiết nội dung.
Nội dung trích xuất từ tài liệu:
Giáo trình Lập trình hàm và lập trình lôgic: Phần 1 - PGS.TS Phan Huy KhánhĐẠI HỌC ĐÀ NẴNGTRƯỜNG ĐẠI HỌC BÁCH KHOAKHOA CÔNG NGHỆ THÔNG TINGIÁO TRÌNHLẬP TRÌNH HÀMVÀ LẬP TRÌNH LÔGICPGS.TS. PHAN HUY KHÁNH biên soạnĐÀ NẴNG 3/2009LẬP TRÌNH HÀM VÀ LẬP TRÌNH LÔGIC2Mục lụcCHƯƠNG 1I.II.III.IV.CHƯƠNG 2I.II.III.CÁC NGÔN NGỮ LẬP TRÌNH..................................................................5MỞ ĐẦU VỀ NGÔN NGỮ LẬP TRÌNH ............................................................ 5I.1.Vài nét về lịch sử.......................................................................................................5I.2.Định nghĩa một ngôn ngữ lập trình ......................................................................6I.3.Khái niệm về chương trình dịch ...........................................................................8PHÂN LOẠI CÁC NGÔN NGỮ LẬP TRÌNH.................................................... 9NGÔN NGỮ LẬP TRÌNH MỆNH LỆNH ......................................................... 11CƠ SỞ CỦA CÁC NGÔN NGỮ HÀM.............................................................. 12NGÔN NGỮ SCHEME ..............................................................................17GIỚI THIỆU SCHEME ..................................................................................... 17CÁC KIỂU DỮ LIỆU CỦA SCHEME .............................................................. 18II.1. Các kiểu dữ liệu đơn giản .....................................................................................18II.1.1.Kiểu số ................................................................................. 18II.1.2.Kiểu lôgích và vị từ.............................................................. 20II.1.3.Ký hiệu................................................................................. 21II.2. Khái niệm về các biểu thức tiền tố .....................................................................23II.3. S-biểu thức ................................................................................................................24CÁC ĐỊNH NGHĨA TRONG SCHEME ........................................................... 25III.1. Định nghĩa biến .......................................................................................................25III.2. Định nghĩa hàm .......................................................................................................26III.2.1.Khái niệm hàm trong Scheme.............................................. 26III.2.2.Gọi hàm sau khi định nghĩa ................................................. 26III.2.3.Sử dụng các hàm bổ trợ ....................................................... 27III.2.4.Tính không định kiểu của Scheme....................................... 28III.3. Cấu trúc điều khiển.................................................................................................29III.3.1.Dạng điều kiện if.................................................................. 29III.3.2.Biến cục bộ .......................................................................... 30III.3.3.Định nghĩa các vị từ............................................................. 32III.4. Sơ đồ đệ quy và sơ đồ lặp .....................................................................................33III.4.1.Sơ đồ đệ quy ........................................................................ 33III.4.2.Ví dụ..................................................................................... 34III.4.3.Tính dừng của lời gọi đệ quy ............................................... 36III.4.4.Chứng minh tính dừng ......................................................... 37III.4.5.Sơ đồ lặp .............................................................................. 37III.5. Vào/ra dữ liệu...........................................................................................................39III.6. Kiểu dữ liệu phức hợp ...........................................................................................40III.6.1.Kiểu chuỗi............................................................................ 40III.6.2.Kiểu dữ liệu vectơ................................................................ 43III.6.3.Khái niệm trừu tượng hoá dữ liệu........................................ 43III.6.4.Định nghĩa bộ đôi................................................................. 45III.6.5.Đột biến trên các bộ đôi ....................................................... 47III.6.6.Ứng dụng bộ đôi .................................................................. 47III.7. Kiểu dữ liệu danh sách ..........................................................................................52III.7.2.Dạng case xử lý danh sách................................................... 62LẬP TRÌNH HÀM VÀ LẬP TRÌNH LÔGICIII.8.III.9.III.10.III.11.III.12.III.13.CHƯƠNG 3I.II.III.3III.7.3.Kỹ thuật đệ quy xử lý danh sách phẳng............................... 64III.7.4.Kỹ thuật đệ quy xử lý danh sách bất kỳ............................... 67Biểu diễn danh sách................................................................................................70III.8.1.Biểu diễn danh sách bởi kiểu bộ đôi .................................... 70III.8.2.Danh sách kết hợp................................................................ 73III.8.3.Dạng quasiquote................................................................... 76Một số ví dụ ứng dụng danh sách.......................................................................77Sử dụng hàm .............................................................................................................80III.10.1. Dùng tên hàm làm tham đối................................................. 81III.10.2. Áp dụng hàm cho các phần tử của danh sách ...................... 83III.10.3. Kết quả trả về là hàm .......................... ...