Bài giảng cung cấp cho người học các kiến thức: Lập trình logic, biểu thức logic, cấu trúc chương trình, tổ chức dữ liệu, miền con của số nguyên,... Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu. Mời các bạn cùng tham khảo chi tiết nội dung bài giảng.
NGƠN NGỮ LẬP TRÌNH ✿ 45 tiết = đơn vị học trình ✿ Giảng viên: Nguyễn Văn Linh ✿ E-mail: nvlinh@ctu.edu.vn ✿ Tel: (84) (71) 831301 Nguyễn Văn Linh - Programing Language - Chapter 1 CHƯƠNG 7: LẬP TRÌNH LOGIC ✔ GIỚI THIỆU • Bài tốn mơ tả dạng biểu thức logic vị từ • Để giải tốn, cần có sở tri thức • Khi có u cầu, hệ thống dựa vào sở tri thúc để suy diễn ✔ NGÔN NGỮ PROLOG Nguyễn Văn Linh - Programing Language - Chapter 2 NGÔN NGỮ PROLOG ✔ Giới thiệu • Được Philippe Roussel, Alian Calmerour phát triển vào đầu thập niên 70 ✔ Cấu trúc chương trình Nguyễn Văn Linh - Programing Language - Chapter SỰ CÀI ĐẶT ✔ Tổ chức liệu nhớ: Biểu diễn phần cứng ✔ Cài đặt phép toán: Sử dụng phép toán phần cứng; Tạo thủ tục hàm; Chuỗi dòng mã lệnh Nguyễn Văn Linh - Programing Language - Chapter KIỂU DỮ LIỆU SỐ ✔ Số nguyên ✔ Miền số nguyên (Subranges) ✔ Số thực dấu chấm động (Floating-point real numers) Nguyễn Văn Linh - Programing Language - Chapter SỐ NGUYÊN ✔ Sự đặc tả thuộc tính: Kiểu liệu ngun ✔ Ðặc tả phép tốn: • Các phép tốn số học • Các phép tốn quan hệ • Phép gán trị ✔ Cài đặt: Sử dụng phần cứng Nguyễn Văn Linh - Programing Language - Chapter MIỀN CON CỦA SỐ NGUYÊN ✔ Sự đặc tả: • Một dãy số nguyên khoảng định • Các phép tốn tương tự kiểu số ngun ✔ Cài đặt: • Tốn nhớ • Kiểm tra kiểu tốt Nguyễn Văn Linh - Programing Language - Chapter SỐ THỰC DẤU CHẤM ĐỘNG ✔ Đặc tả: • Một dãy có thứ tự từ số âm nhỏ đến số dương lớn lưu trữ phần cứng • Các phép tốn: Tương tự số ngun + Các hàm ✔ Cài đặt: • Sử dụng biểu diễn phần cứng: Phần định trị phần mũ Nguyễn Văn Linh - Programing Language - Chapter KIỂU LIỆT KÊ ✔ Đặc tả: • Liệt kê danh sách trực kiện có thứ tự • Các phép toán: quan hệ, gán, xác định phần tử đứng trước/sau phần tử ✔ Cài đặt: • Mỗi trực kiện biểu diễn số nguyên không âm, cần số bit để biểu diễn cho giá trị • Cài đặt phép tốn dựa vào phép toán số nguyên Nguyễn Văn Linh - Programing Language - Chapter KIỂU LOGIC ✔ Đặc tả: • Có thể xem kiểu liệt kê: (FALSE, TRUE) • Các phép tốn: NOT, AND, OR ✔ Cài đặt: • Sử dụng đơn vị nhớ (bite/word) để lưu trữ giá trị logic • Sử dụng bit đơn vị nhớ để lưu • Sử dụng đơn vị nhớ để lưu khác Nguyễn Văn Linh - Programing Language - Chapter 10 KIỂU KÝ TỰ ✔ Sự cần thiết phải có kiểu ký tự: • Tất liệu từ thiết bị nhập, xuất ký tự, chuỗi ký tự • Có chuyển đổi tự động từ ký tự (chuỗi ký tự) thành số nhập hay xuất • Ngơn ngữ cần xử lý ký tự cách trực tiếp (văn bản) • Dựa vào kiểu ký tự để xây dựng kiểu chuỗi ký tự Nguyễn Văn Linh - Programing Language - Chapter 11 KIỂU KÝ TỰ ✔Đặc tả: • Một liệt kê ký tự định nghĩa ngôn ngữ, tương ứng với ký tự chuẩn phần cứng hệ điều hành • Các phép tốn: Quan hệ, phép gán ✔Cài đặt: • Sử dụng phần cứng hệ điều hành Nguyễn Văn Linh - Programing Language - Chapter 12 ...CHƯƠNG 7: LẬP TRÌNH LOGIC ✔ GIỚI THIỆU • Bài tốn mơ tả dạng biểu thức logic vị từ • Để giải tốn, cần có sở tri thức • Khi có u cầu, hệ thống dựa vào sở tri thúc để suy diễn ✔ NGÔN NGỮ PROLOG... Văn Linh - Programing Language - Chapter 2 NGÔN NGỮ PROLOG ✔ Giới thiệu • Được Philippe Roussel, Alian Calmerour phát triển vào đầu thập niên 70 ✔ Cấu trúc chương trình Nguyễn Văn Linh - Programing... Linh - Programing Language - Chapter KIỂU LOGIC ✔ Đặc tả: • Có thể xem kiểu liệt kê: (FALSE, TRUE) • Các phép tốn: NOT, AND, OR ✔ Cài đặt: • Sử dụng đơn vị nhớ (bite/word) để lưu trữ giá trị logic